Frattini Argument

Frattini Argument: Let $G$ be a finite group , let $N\trianglelefteq G$ be a normal subgroup , and let $P$ be a Sylow p-subgroup of $N$ (so $p$ divides $|N|$). Let $N_G(P)$ denote the normalizer of $P$ in $G$. Then $G = N\,N_G(P).$

Equivalently, every $g\in G$ can be written as $g=nn'$ with $n\in N$ and $n'\in N_G(P)$.