Grochow, J. A.,Qiao, Y. M.
The isomorphism problem for finite groups of order n (GPI) has long been known to be solvable in n(log n vertical bar O(1)) time, but only recently were polynomial-time algorithms designed for several interesting group classes. Inspired by recent progress, we revisit the strategy for GPI via the extension theory of groups. The extension theory describes how a normal subgroup N is related to GIN via G, and this naturally leads to a divide-and-conquer strategy that "splits" GPI into two subproblems: one regarding group actions on other groups, and one regarding group cohomology. When the normal subgroup N is abelian, this strategy is well known. Our first contribution is to extend this strategy to handle the case when N is not necessarily abelian. This allows us to provide a unified explanation of all recent polynomial-time algorithms for special group classes. Guided by this strategy, to make further progress on GPI, we consider central-radical groups, proposed in Babai et al. [Code equivalence and group isomorphism, in Proceedings of the 22nd Annual ACM SIAM Symposium on Discrete Algorithms (SODA'11), SIAM, Philadelphia, 2011, ACM, New York, pp. 1395-1408]: the class of groups such that G modulo its center has no abelian normal subgroups. This class is a natural extension of the group class considered by Babai et al. [Polynomial-time isomorphism test for groups with no abelian normal subgroups (extended abstract), in International Colloquium on Automata, Languages, and Programming (ICALP), 2012, pp. 51-62], namely those groups with no abelian normal subgroups. Following the above strategy, we solve GPI in n(O(log log n)) 'gic'g time for central-radical groups, and in polynomial time for several prominent subclasses of central radical groups. We also solve CPI in n(O(log log n)) time for groups whose solvable normal subgroups are elementary abelian but not necessarily central. As far as we are aware, this is the first time there have been worst-case guarantees on an n(O(log log n))-time algorithm that tackles both aspects of GPI-actions and cohomology-simultaneously. Prior to this work, the best proven upper bounds on algorithms for groups with central radicals were n(O(log log n)), even for groups with a central radical of constant size, such as Rad(G) - Z(G) - Z(2). To develop our new algorithms we utilize several mathematical results on the detailed structure of cohomology classes, as well as algorithmic results for code equivalence, coset intersection, and cyclicity testing of modules over finite-dimensional associative algebras. We also suggest several promising directions for future work.