On the existence of Hall subgroups (Q1073178): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q801033
RedirectionBot (talk | contribs)
Changed an Item
Property / reviewed by
 
Property / reviewed by: Norman Blackburn / rank
 
Normal rank

Revision as of 09:49, 21 February 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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references