Frattini subgroup of a finite group I have been looking for information about the Frattini subgroup of a finite group. Almost all the books dealing with this topic discuss this subgroup for $p$-groups.
I am actually willing to discuss the following questions:
Let $G$ be a finite group. Is the Frattini subgroup of $G$ abelian?
Why is the order of the Frattini factor divisible by each prime divisor of $|G|$?
 A: To find a finite group with non-abelian Frattini subgroup, you'll need a group with a non-abelian maximal subgroup, but that does not suffice. The dihedral group of order 16 has a maximal subgroup isomorphic to the dihedral group of order 8, but the Frattini subgroup of a non-cyclic group of order 16 has order at most 4, so is abelian (it is Klein 4 in this case).
The smallest examples have order 64. One particular example is given by a matrix group:$$G=\left\langle \begin{bmatrix} 0 & 1 & 0 \\ 1 & 2 & 0 \\ 0 & 0 & 1 \end{bmatrix},
\begin{bmatrix} 1 & 0 & 1 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{bmatrix}  \mod 4\right\rangle \leq \operatorname{GL}(2,\mathbb{Z}/4\mathbb{Z})$$ which is a semi-direct product of $C_4$ acting on $C_4 \times C_4$. Its Frattini subgroup is isomorphic to $C_2 \times D_8$. The only other possibility for a non-abelian Frattini subgroup of a group of order 64 is $C_2 \times Q_8$.
One reason books emphasize Frattini subgroups of $p$-groups is that they have a very nice definition there: $\Phi(G) = G^p [G,G]$. Hence calculations and theorems are much easier. For solvable groups, there is still some research into embedding properties related to the Frattini subgroup, and for non-solvable groups, there are significant questions left open.
I gave an answer you might be interested in, describing the groups that can occur as Frattini subgroups. In particular, some non-abelian groups are on the list. :-)
A: Here is a proof that, for a finite group $G$, $|G/\Phi(G)|$ is divisible by all primes $p$ dividing $|G|$. It uses the Schur-Zassenhaus Theorem. I don't know whether that can be avoided.
First note that each Sylow $p$-subgroup $P$ of $\Phi(G)$ is normal in $G$. (So, in particular, $\Phi(G)$ is nilpotent.) To see that, we have $G = \Phi(G)N_G(P)$ by the Frattini Argument, and then by the fact that $\Phi(G)$ consists of the non-generators of $G$, we have $G = N_G(P)$.
Now if there is a prime $p$ dividing $|G|$ but not dividing $|G/\Phi(G)|$, then $\Phi(G)$ contains a Sylow $p$-subgroup $P$ of $G$ and $P \unlhd G$. So, by the Schur-Zassenhaus Theorem, $P$ has a complement $H$ in $G$. Let $M$ be a maximal subgroup of $G$ containing $H$. Then $p$ divides $|G:M|$ and hence $p$ divides $|G/\Phi(G)|$, contradiction.
