Frattini argument

If H is a finite normal subgroupMathworldPlanetmath of a group G, and S is a Sylow subgroup of H, then G=HNG(S), where NG(S) is the normalizerMathworldPlanetmath of S in G.

Title Frattini argument
Canonical name FrattiniArgument
Date of creation 2013-03-22 13:16:02
Last modified on 2013-03-22 13:16:02
Owner bwebste (988)
Last modified by bwebste (988)
Numerical id 5
Author bwebste (988)
Entry type Theorem
Classification msc 20D20