Xrfgtjtk

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|$?

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.

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=leftlangle 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 4rightrangle leq operatorname{GL}(2,mathbb{Z}/4mathbb{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. :-)