# A Generating Set and Its Image in the Frattini Quotient

This is a homework question I am having some trouble with.

The claim I'm trying to prove is this: Let $\Phi$ be the Frattini subgroup of a finite group $G$. If $S$ is a subset of $G$, and $\bar{S}$ is the image of $S$ under $G\rightarrow G/\Phi$, then $S$ generates $G$ if and only if $\bar{S}$ generates $G/\Phi$.

I have already shown that $\Phi$ is the set of non-generators of $G$. My inclination is to proceed by cases involving whether or not $S$ is itself contained in a maximal subgroup. Any help would be appreciated.

-

Obviously if $S$ generates $G$ then $\overline{S}$ generates $G/\Phi$. On the other hand, if $\overline{S}$ generates $G/\Phi$, then $S$ and $\Phi$ together generate $G$. But $\Phi$ is the set of nongenerators, so ...
The forward direction (by which I assume you mean "$S$ generates $G$ implies $\overline{S}$ generates $G/\Phi$") is a very general result and has nothing to do with Frattini subgroups. The forward direction is true for any group $G$ and any normal subgroup $\Phi$; in other words, any generating set of any group maps to a generating set of any quotient. – Ted Sep 24 '12 at 5:57