On the Frattini lemma

V. S. Monakhov

Let $K$ be a subgroup of a finite group $G$, and suppose that $G=K{N}_G(P)$ for every Sylow subgroup $P$ of $K$. Then the subgroup $K$ is normal in $G$.