Intereting Posts

Solving simple congruences by hand
Useful reformulation of Goldbach's conjecture?
How do I solve a PDE with a Dirac Delta function?
How many of the 9000 four digit integers have four digits that are increasing?
Let $ A $, $ B $ and $ C $ be sets. If $ A \cup B = A \cup C $ and $ A \cap B = A \cap C $, then show that $ B = C $.
Every ideal of $K$ has $\leq n$ generators?
What is this probability of a random power of 2 beginning with 1?
finding the limit $\lim\limits_{x \to \infty }(\frac{1}{e}(1+\frac{1}{x})^x)^x$
Simplification of sums
Show that when $BA = I$, the solution of $Ax=b$ is unique
Is the solution of $e^x \log(x)=1$ transcendental?
volume of a truncated cone that is not a frustum
Evaluating $\int_0^{\frac\pi2}\frac{\ln{(\sin x)}\ \ln{(\cos x})}{\tan x}\ dx$
What is the group structure of 3-adic group of the cubes of units?
How do I prove $x \vee \neg x$ in Hilbert system?

I have been looking for information about 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 ?

- Is there a characterization of groups with the property $\forall N\unlhd G,\:\exists H\leq G\text{ s.t. }H\cong G/N$?
- On the number of Sylow subgroups in Symmetric Group
- Possible Class equation for a group
- Every finite group of square-free order is soluble
- Hint on an exercise of Mathieu groups
- Unique subgroup of index 2 in a finite abelian group.

Why is the order of the Frattini factor divisible by each prime divisor of o(G)?

- Tarski Monster group with prime $3$ or $5$
- Direct products of infinite groups
- why the column sums of character table are integers?
- Could this identity have an application?
- Determining whether two groups are isomorphic
- Groups of order $pqr$ and their normal subgroups
- Group where you can see all the finite subgroups.
- Can every group be represented by a group of matrices?
- A subgroup with an index of 2 is normal to the group.
- Cyclic group of prime order

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 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. ðŸ™‚

- Upper bound of $a_{n+1}=a_n + \frac{1}{a_n}$
- How many roots have modulus less than $1$?
- Show that rays of the form $(-\infty, a)$ and $(b, \infty)$ ; $a,b \in \mathbb R$, are a sub-basis for the standard topology on $\mathbb R$?
- Chess Master Problem
- Show that the curve $x^2+y^2-3=0$ has no rational points
- Asymmetric Hessian matrix
- Help with calculating infinite sum $\sum_{n=0}^{\infty}\frac1{1+n^2}$
- Integrate square of the log-sine integral: $\int_0^{\frac{\pi}{2}}\ln^{2}(\sin(x))dx$
- Motivation for Napier's Logarithms
- Why is a set of orthonormal vectors linearly independent?
- Is there an absolute notion of the infinite?
- Minimize $\|AXBd -c \|^2$, enforcing $X$ to be a diagonal block matrix
- Show that $S$ is compact.
- Time-and-Work and Motorcycle Tyres
- Is there an analogue of the jordan normal form of an nilpotent linear transform of a polynomial ring?