On the existence of Hall subgroups (Q1073178): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: On normal subgroups which are direct products / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theorems Like Sylow's / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Zum Satz von Sylow / rank | |||
Normal rank |
Latest revision as of 12:24, 17 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the existence of Hall subgroups |
scientific article |
Statements
On the existence of Hall subgroups (English)
0 references
1986
0 references
This paper is a happy reminder of how beautiful finite group theory can still be. It is concerned with theorems like Sylow's and the conditions \(E_{\pi}\), \(C_{\pi}\), \(D_{\pi}\) introduced by Hall; the group G satisfies \(E_{\pi}\) if G possesses Hall \(\pi\)-subgroups, \(C_{\pi}\) if G has a unique class of them and \(D_{\pi}\) if there is a Hall \(\pi\)- subgroup of G which contains a conjugate of any \(\pi\)-subgroup of G. Assuming the Schreier hypothesis, (as is done throughout the paper), Chunikhin showed that if N is normal in G and N, G/N both satisfy \(C_{\pi}\), then G satisfies \(C_{\pi}.\) But the corresponding statement for \(E_{\pi}\) is false. It is proved (Theorem 3.4) that if N and G/N both satisfy \(E_{\pi}\) but G does not, then G has a non-Abelian composition factor H/K such that H/K does satisfy \(E_{\pi}\) but \(Aut_ G(H/K)\) does not. Here \(Aut_ G(H/K)\) means the group of automorphisms of H/K induced by \(N_ G(H)\cap N_ G(K)\), so it is dependent on H and K, not merely on the composition factor H/K. In fact an example is given of a group G with two composition series, where all the factors X of one fulfil the condition that \(Aut_ GX\) satisfies \(E_{\pi}\) but some of those of the other do not. Let us start, then, with the condition (d) that \(Aut_ G(H/K)\) satisfies \(E_{\pi}\) for all composition factors H/K of all composition series of G. Let \(1=G_ 0<G_ 1<...<G_ n=G\) be a composition series which is a refinement of a chief series of G. Trivially, (d) implies the condition (c) that \(Aut_ G(G_ i/G_{i-1})\) satisfies \(E_{\pi}\) for all i. But also such a series has the property that if A is an atom of \(G_ i\) with maximal normal subgroup \(A^*\), then \(A/A^*\cong G_ i/G_{i- 1}\) and \(Aut_ G(A/A^*)\cong Aut_ G(G_ i/G_{i-1})\) (Lemma 2.5). (An atom of G, as defined by Wielandt, is a perfect subnormal subgroup with a unique maximal normal subgroup.) So (c) implies the condition (b) that \(Aut_ G(A/A^*)\) satisfies \(E_{\pi}\) for every atom A of G. In fact (b) implies (d), as is shown using a theorem of Wielandt. The main theorem (Theorem 3.5) asserts that these three conditions (b), (c), (d) are equivalent to the condition (a) that H satisfies \(E_{\pi}\) whenever H is a subgroup of G for which the terminal member of the derived series is subnormal in G. The fact that (a) implies (b) is fairly straightforward, but the converse uses Theorem 3.4 stated above. The final section of the paper does the same sort of thing for \(D_{\pi}\). Theorem 4.5 states that if M is a minimal normal subgroup of G satisfying \(C_{\pi}\) and G/M satisfies \(D_{\pi}\) but G does not, then M contains a normal simple non-Abelian subgroup S such that S satisfies \(C_{\pi}\) but \(Aut_ G(S)\) does not satisfy \(D_{\pi}\). And Theorem 4.6 shows among other things that H satisfies \(D_{\pi}\) for any subgroup H of G for which the terminal member of the derived series is subnormal in G if and only if \(Aut_ G(H/K)\) satisfies \(D_{\pi}\) and H/K satisfies \(C_{\pi}\) for all composition factors H/K of G.
0 references
Hall \(\pi \) -subgroups
0 references
Schreier hypothesis
0 references
non-Abelian composition factor
0 references
group of automorphisms
0 references
composition series
0 references
composition factors
0 references
chief series
0 references
maximal normal subgroup
0 references
atom
0 references
perfect subnormal subgroup
0 references