English

Polynomial-time isomorphism test for $k$-generated extensions of abelian groups

Group Theory 2026-03-10 v2 Computational Complexity

Abstract

The group isomorphism problem asks whether two finite groups given by their Cayley tables are isomorphic or not. Although there are polynomial-time algorithms for some specific group classes, the best known algorithm for testing isomorphism of arbitrary groups of order n n has time complexity nO(logn) n^{O(\log n)} . We consider the group isomorphism problem for some extensions of abelian groups by k k -generated groups for bounded k k . In particular, we prove that one can test isomorphism of abelian-by-cyclic extensions in polynomial time, generalizing a 2009 result of Le Gall for coprime extensions. As another application, we give a polynomial-time isomorphism test for abelian-by-simple group extensions, generalizing a 2017 result of Grochow and Qiao for central extensions. The main novelty of the proof is a polynomial-time algorithm for computing the unit group of a finite ring, which might be of independent interest.

Keywords

Cite

@article{arxiv.2602.15497,
  title  = {Polynomial-time isomorphism test for $k$-generated extensions of abelian groups},
  author = {Saveliy V. Skresanov},
  journal= {arXiv preprint arXiv:2602.15497},
  year   = {2026}
}

Comments

18 pages. Fixed some typos, generalized Theorem 1.6

R2 v1 2026-07-01T10:39:48.248Z