Groupprops, The Group Properties Wiki (pre-alpha)

YOUR FEEDBACK IS IMPORTANT!

Please take a short user satisfaction survey about Groupprops.

Your survey responses will be helpful in improving the site experience!

Thanks in advance!

From Groupprops

This article gives the statement, and possibly proof, of the fact that for any finite group, the subgroup obtained by applying a given subgroup-defining function always satisfies a particular subgroup property
View all such group property satisfactions OR View more information on subgroup-defining functions in finite groups

This article describes a fact or result that is not basic but it still well-established and standard. The fact may involve terms that are themselves non-basic
View other semi-basic facts in group theory
VIEW FACTS USING THIS:

Contents 1 Statement 1.1 Verbal statement 1.2 Symbolic statement 2 Definitions used 2.1 Frattini subgroup 2.2 Finite nilpotent group 3 Generalizations 4 Proof 5 References 5.1 Textbook references

Statement

Verbal statement

The Frattini subgroup of any finite group is nilpotent.

Symbolic statement

Let G be a finite group and Φ(G) denote the intersection of all maximal subgroups of G (the so-called Frattini subgroup of G).

Definitions used

Frattini subgroup

Further information: Frattini subgroup

The Frattini subgroup of a (here, finite) group is the intersection of all its maximal subgroups.

Finite nilpotent group

Further information: Finite nilpotent group A finite group is nilpotent if every Sylow subgroup of it is normal.

Generalizations

The result generalizes in two important respects. First, we can prove considerably stronger results about Frattini subgroups for finite groups, and more generally, for groups in which every proper subgroup is contained in a maximal subgroup. Second, we can generalize to proving the results about any Frattini-embedded normal subgroup of an arbitrary group.

For instance:

• Frattini-embedded normal-realizable implies inner-in-automorphism-Frattini
• Frattini-embedded normal-realizable implies ACIC

Proof

Given: A finite group G, and Φ(G) is the Frattini subgroup

To prove: For any Sylow subgroup P of Φ(G), P is normal in Φ(G).

Proof: In fact, we shall show that P is normal in G.

Here's the idea. By applying Frattini's argument and the fact that , we have Φ(G)N_G(P) = G. Now if , it is contained in a maximal subgroup M of G. Since Φ(G) is contained in every maximal subgroup, , leading to a contradiction.

References

Textbook references

• Abstract Algebra by David S. Dummit and Richard M. Foote, 10-digit ISBN 0471433349, 13-digit ISBN 978-0471433347, ^{More info}, Exercise 25, Page 199 (Section 6.2)