Linear time algorithms for Abelian group isomorphism and related problems

We consider the problem of determining if two finite groups are isomorphic. The groups are assumed to be represented by their multiplication tables. We present an O(n) algorithm that determines if two Abelian groups with n elements each are isomorphic. This improves upon the previous upper bound of O(nlogn) [Narayan Vikas, An O(n) algorithm for Abelian p-group isomorphism and an O(nlogn) algorithm for Abelian group isomorphism, J. Comput. System Sci. 53 (1996) 1-9] known for this problem. We solve a more general problem of computing the orders of all the elements of any group (not necessarily Abelian) of size n in O(n) time. Our algorithm for isomorphism testing of Abelian groups follows from this result. We use the property that our order finding algorithm works for any group to design a simple O(n) algorithm for testing whether a group of size n, described by its multiplication table, is nilpotent. We also give an O(n) algorithm for determining if a group of size n, described by its multiplication table, is Abelian.

[1]  G. Cooperman,et al.  Random algorithms for permutation groups , 1992 .

[2]  Telikepalli Kavitha.  Efficient Algorithms for Abelian Group Isomorphism and Related Problems , 2003, FSTTCS.

[3]  Leonard J. Schulman,et al.  Verifying identities , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[4]  Gary L. Miller.  Graph Isomorphism, General Remarks , 1979, J. Comput. Syst. Sci..

[5]  E. Wright,et al.  An Introduction to the Theory of Numbers , 1939 .

[6]  J. Rotman.  An Introduction to the Theory of Groups , 1965 .

[7]  László Babai,et al.  Fast Monte Carlo algorithms for permutation groups , 1991, STOC '91.

[8]  W Narkiewicz.  Number Theory , 1984 .

[9]  T. Apostol.  Introduction to analytic number theory , 1976 .

[10]  Harry G. Mairson.  Some new upper bounds on the generation of prime numbers , 1977, CACM.

[11]  J. Torán,et al.  Solvable Group Isomorphism is (almost) in NP CoNP , 2004 .

[12]  Gary L. Miller,et al.  On the nlog n isomorphism technique (A Preliminary Report) , 1978, STOC.

[13]  Pierre McKenzie,et al.  On the Complexity of Some Problems on Groups Input as Multiplication Tables , 2001, J. Comput. Syst. Sci..

[14]  R. Lipton,et al.  The Complexity of Word and Isomorphism Problems for Finite Groups. , 1977 .

[15]  J. Köbler,et al.  The Graph Isomorphism Problem: Its Structural Complexity , 1993 .

[16]  Yechezkel Zalcstein,et al.  On Isomorphism Testing of a Class of 2-Nilpotent Groups , 1991, J. Comput. Syst. Sci..

[17]  Narayan Vikas.  An O(n) Algorithm for Abelian p-Group Isomorphism and an O(n log n) Algorithm for Abelian Group Isomorphism , 1996, J. Comput. Syst. Sci..

[18]  I. Herstein,et al.  Topics in algebra , 1964 .