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

From MaRDI portal
Revision as of 01:56, 20 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Finite \(p\)-groups all of whose non-Abelian proper subgroups are generated by two elements.
scientific article

    Statements

    Finite \(p\)-groups all of whose non-Abelian proper subgroups are generated by two elements. (English)
    0 references
    0 references
    0 references
    0 references
    21 July 2008
    0 references
    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.
    0 references
    finite \(p\)-groups
    0 references
    2-generator subgroups
    0 references
    generators and relations
    0 references
    metabelian groups
    0 references
    metacyclic groups
    0 references
    minimal non-Abelian groups
    0 references
    minimal non-metacyclic groups
    0 references
    \(\mathcal A_t\)-groups
    0 references
    \(p\)-groups of maximal class
    0 references

    Identifiers