Frattini argument

If $H$ is a finite normal subgroup of a group $G$, and $S$ is a Sylow subgroup of $H$, then $G=H{N}_G(S)$, where $N_G(S)$ is the normalizer 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