Finite \(p\)-groups all of whose non-Abelian proper subgroups are generated by two elements. (Q933365): Difference between revisions

By the classical result of Blackburn a finite group with 2-generated proper subgroups is essentially metacyclic or a 3-group of maximal class. Moreover, every subgroup of a finite \(p\)-group of maximal class with an Abelian maximal subgroup is either Abelian or 2-generated. On this basis, \textit{Y. Berkovich} [Groups of prime power order. Vol. I, Vol. II. de Gruyter Expositions in Mathematics 46, 47. Berlin: Walter de Gruyter (2008; Zbl 1168.20001, Zbl 1168.20002)] posed the problem of classification of finite \(p\)-groups with proper subgroups Abelian or 2-generated. Denote the class of such finite \(p\)-groups by \(\mathcal B_p\). The authors describe completely the class \(\mathcal B_p\). This is done through description of the following subclasses by means of providing generators and relations for the groups, and determining their isomorphism classes: \(\mathcal B_p'\), the subclass of \(\mathcal B_p\) of groups which are neither Abelian nor minimal Abelian; \(\mathcal D_p\), the subclass of \(\mathcal B_p'\) of groups with a maximal Abelian subgroup; \(\mathcal D_p'\) the subclass of \(\mathcal D_p\) of groups which are not of maximal class; \(\mathcal M_p\), the subclass of \(\mathcal B_p'\) of groups without maximal Abelian subgroups; \(\mathcal M_p'\), the subclass of \(\mathcal M_p\) of groups which are neither metacyclic nor 3-groups of maximal class. The most complicated case is the class \(\mathcal D_p(2)\) of 2-generated groups. A sample of the case \(\mathcal M_p'\) is as follows: If the group \(G\) has a minimal nonabelian maximal subgroup then it is in the class \(\mathcal M_p'\) if and only if \(G=\langle a_1,b\rangle\) with relations \(a_i=[a_{i-1},b]\) (\(i=2,\dots,n\)); \([a_1,a_2]=c\); \(c^3=1\); \([c,a_1]=[c,b]=1\), \([a_{n-2},b]=1\); \([a_1,a_i]=1\) (\(i=2,\dots,n-2\)); \([a_i,a_j]=1\) (\(i,j=2,\dots,n-2\)); \(b^3=ca_{n-2}^\delta\); \(a_1^3a_2^3a_3=a_{n-2}^\gamma\); \(a_i^3a_{i+1}^3a_{i+2}=1\) (\(i=2,\dots,n-2\)), where \(n\geq 6\), \(0\leq\delta,\gamma\leq 2\). The number of isomorphism classes of these groups is 6 if \(n\) is odd and 4 if \(n\) is even.