Finite soluble groups in which all subnormal subgroups have defect at most 2 (Q1064403): Difference between revisions
From MaRDI portal
Latest revision as of 18:02, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finite soluble groups in which all subnormal subgroups have defect at most 2 |
scientific article |
Statements
Finite soluble groups in which all subnormal subgroups have defect at most 2 (English)
0 references
1984
0 references
It is proved that if every subnormal subgroup of the finite soluble group G is of subnormal defect at most 2, then the Fitting length of G is at most 4 and the derived length at most 5. The holomorph of the elementary Abelian group of order 9 shows that these bounds are best possible. Among the results used are theorems of Heineken, who proved that the class of nilpotent groups of this type is at most 4, and McCaughan and Stonehewer, who had previously obtained the bound 9 for the Fitting length. Among the lemmas used is the assertion (Lemma 2) that if a non-Abelian group G operates faithfully on an elementary Abelian group \(V=V_ 1\times V_ 2\) and G is irreducible on each \(V_ i\) then the G-module V is generated by a single element. It is easy to reduce this to the case when G operates irreducibly on U and \(Aut_ GU\) is transitive on the non-zero elements of U; but then \(End_ GU\) is field over which the dimension of U is 1, so \(End_ GU\) is self-centralizing on U and the image of G is Abelian. The bound on the Fitting length follows from the more general assertion (Theorem 3) that \(G/F_ 2(G)\) is supersoluble and metabelian.
0 references
subnormal subgroup
0 references
finite soluble group
0 references
subnormal defect
0 references
Fitting length
0 references
derived length
0 references
holomorph
0 references
nilpotent groups
0 references