Finite \(p\)-groups with a minimal non-Abelian subgroup of index \(p\). V. (Q2874696)

The authors, in a series of five papers, a recent one is part I [J. Algebra 358, 178-188 (2012; Zbl 1262.20023)] have solved completely the problem of classification of finite \(p\)-groups \(G\) with a minimal non-Abelian subgroup \(M\) of index \(p\), proposed by Y. Berkovich. The problem in the previous four articles has been solved for odd primes \(p\) and for \(p=2\) when there are at least two minimal non-Abelian subgroups of index \(2\).NEWLINENEWLINE To complete the classification the authors classify finite 2-groups \(G\) with a unique minimal non-Abelian subgroup of index 2. This is well-known for \(|G|\leq 2^8\), an enormous task for \(|G|\geq 2^9\), which is shown by the fact that the authors establish that there are 90 pairwise non-isomorphic families of such groups. The attack on the problem is as follows: the factor-group \(\overline G=G/M'\) has a maximal Abelian subgroup \(\overline M\cong C_{2^m}\times C_{2^n}\), which class of groups \(\overline G\) are determined first. \(\overline G\) is the extension of \(\overline M\) by an involution in \(\Aut(C_{2^m}\times C_{2^n})\), hence the authors determine a transversal of all conjugacy classes of involutions in \(\Aut(C_{2^m}\times C_{2^n})\). Then, \(G\) is a central extension of \(\overline G\) by an involution.