The Frattini subgroup \(\Phi(G)\) is the common part of all maximal subgroups and can be interpreted as the set of elements that contribute nothing to generation. For a finite \(p\)-group, the quotient is a vector space controlling the minimum number of generators. [@isaacs2008]
Definition
An element \(x\) is a nongenerator if \(\langle X,x\rangle=G\) always implies \(\langle X\rangle=G\). In a finite group, the set of all nongenerators is exactly \(\Phi(G)\).
Core result
Every maximal subgroup has index \(p\) and contains \(P'\) and \(P^p\). After quotienting by \(P'P^p\), maximal subgroups correspond to hyperplanes in an elementary abelian group, whose intersection is zero. The generator statement follows from the nongenerator characterization.
Structural properties
- \(\Phi(G)\operatorname{char}G\) because automorphisms permute maximal subgroups.
- If \(N\leq\Phi(G)\) and \(HN=G\), then \(H=G\); this is the Frattini nongenerator argument.
- For a finite \(p\)-group, the Frattini subgroup contains the derived subgroup and all \(p\)th powers.
- The Frattini subgroup of a finite group is nilpotent; if \(N\triangleleft G\), \(N\leq\Phi(G)\), and \(G/N\) is nilpotent, then \(G\) is nilpotent.
- The Frattini quotient linearizes generation but does not retain the full multiplication or commutator structure.
The Burnside basis theorem lifts a vector-space basis of \(P/\Phi(P)\) to a minimum generating set of \(P\), and the image of every minimum generating set is a basis.
Example and boundary
Knowledge network
The finite p-group core article uses the Frattini quotient for generation, Fitting theory treats normal nilpotent structure modulo it, and the Burnside basis theorem gives the linear formulation.
Proof and sources
Definitions and nongenerators are in the source appendix. The finite p-group formula and applications occur throughout Chapters 1, 3, and 9 and follow the standard Burnside-basis proof. [@isaacs2008]
