Finite 2-groups with no normal elementary Abelian subgroups of order 8
P. Roquette (1958) classified the \(p\)-groups without normal elementary Abelian subgroups of order \(p^2\). Next, N. Blackburn (1961) classified the \(p\)-groups, \(p>2\), (i) without normal elementary Abelian subgroups of order \(p^3\) and (ii) without normal subgroups of order \(p^p\) and exponent \(p\). In this important paper the author obtains a reasonably complete description of the \(2\)-groups without normal elementary Abelian subgroups of order \(8\).NEWLINENEWLINENEWLINEMain Theorem 1.1. Let \(G\) be a finite \(2\)-group which has no normal elementary Abelian subgroup of order \(8\). Suppose that \(G\) is neither Abelian nor a group of maximal class. Then \(G\) possesses a normal metacyclic subgroup \(N\) such that \(C_G(O_2(N))\leq N\) and one of the following holds:NEWLINENEWLINENEWLINE(a) \(|G:N|\leq 4\) and either \(\Omega_2(N)\) is Abelian of type \((4,4)\) or \(N\) is Abelian of type \((2^j,2)\), \(j\geq 2\).NEWLINENEWLINENEWLINE(b) \(G/N\cong D_8\) andNEWLINENEWLINENEWLINE(b1) \(N\) is Abelian either of type \((2^k,2^{k+1})\), \(k\geq 1\), or of type \((2^t,2^t)\), \(t\geq 2\), orNEWLINENEWLINENEWLINE(b2) \(N\) is minimal non-Abelian, \(\Omega_2(N)\) is Abelian of type \((4,4)\), and more precisely, \(N=\langle a,b\mid a^{2^m}=b^{2^n}=1,\;a^b=a^{1+2^{m-1}}\rangle\), where \(m=n\geq 3\) or \(m=n+1\) with \(n\geq 2\).NEWLINENEWLINENEWLINEAs an easy corollary, one obtains that all subgroups of the groups of the title are generated by four elements (MacWilliams, 1970).NEWLINENEWLINENEWLINEIt is remarkable that the proof is entirely elementary and unexpectedly short. In the proof, some results presented in the reviewer's unpublished book `Groups of prime power order, Parts 1-3', are used. Moreover, in that book, in Sect. 50, a very detailed proof of Theorem 1.1 is presented. The main theorem of this paper has surprisingly many deep consequences (some of them are presented in three subsequent papers). Note that Blackburn's result (i) is not a correct analog of Janko's theorem in the case \(p>2\). The correct analog must be such: Description of the \(p\)-groups, \(p>2\), without normal subgroups of order \(p^{p+1}\) and exponent \(p\). I think that there is little hope to prove this analog in the nearest future. As the author remarks, there were three unsuccessful trials to prove Theorem 1.1.
- Finite 2-groups with a self-centralizing elementary Abelian subgroup of order 8.
- scientific article; zbMATH DE number 5044308
- Finite 2-groups with exactly four cyclic subgroups of order 2n
- Finite 2-groups whose nonnormal subgroups have orders at most \(2^3\).
- Structure of finite p-groups with given subgroups.
- 2-Groups of Normal Rank 2 for which the Frattini Subgroup has Rank
- Finite 2-groups with small centralizer of an involution
- Groups of prime power order. Vol. 1.
- scientific article; zbMATH DE number 3412877 (Why is no real title available?)
- On 2-Groups With No Normal Abelian Subgroups of Rank 3, and Their Occurrence as Sylow 2-Subgroups of Finite Simple Groups
- Finite 2-groups with a self-centralizing elementary Abelian subgroup of order 8.
- On quaternion-free 2-groups
- On maximal Abelian subgroups in finite 2-groups.
- Finite quaternion-free 2-groups.
- Finite 2-groups all of whose nonabelian subgroups are generated with involutions.
- A classification of finite 2-groups with exactly three involutions.
- Maximal elementary abelian subgroups of rank 2
- On the automorphism group of inversive planes of odd order
- scientific article; zbMATH DE number 2219733 (Why is no real title available?)
- Large Abelian subgroups of groups of prime exponent
- Nonnormal and minimal nonabelian subgroups of a finite group.
- On \(p\)-groups with a maximal elementary abelian normal subgroup of rank \(k\)
- Strong complete mappings for 2-groups
- On a bijection between a finite group to a non-cyclic group with divisibility of element orders
- On Cernikov p-groups.
- Finite 2-groups with exactly one nonmetacyclic maximal subgroup.
This page was built for publication: Finite 2-groups with no normal elementary Abelian subgroups of order 8
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5957543)
