Groups of order 24.

It's a bit harder to rule out $|K|=2$ (where $K$ is the kernel). In that case $G/K$ would have order $12$ and would also have $4$ Sylow $3$-subgroups, and so $G/K \cong A_4$. But $A_4$ has a normal Sylow $2$-subgroup, and hence so does $G$, so $n_2=1$ in this case. (Note that the group ${\rm SL}(2,3)$ has $n_3=4$, $n_2=1$. It is often hard to rule out cases for which there is a group with similar parameters.)


if stabilizer are same then you have an normal subgroup $N$ of order $6$. Let $H$ be subgroup of $N$ of order $3$. Notice that $H$ is uniqe in $N$ so $H$ must be normal in $G$ contradiction.

For other case, you have an normal subgroup of order $2$. Notice that any normal subgroup of order $2$ must be contained $Z(G)$ as $Z(G)$ is trivial contradiction.


This is how I see it. $G$ has 3 2-Sylow subgroups, and 4 3-Sylow subgroups. So $G$ acts on the 3-Sylow subgroups by conjugation, resulting in a map $\phi:G → S_4$. Let $K$ be the kernel of this map. Let $P$ be a 3-Sylow subgroup, and restrict $\phi$ to P; call the map $\phi_P$. Then the Sylow Permutation Theorem* states that the only fixed point of $\phi_P$ on the 4 conjugates is $P$ itself. This means that $\phi_P$ acts nontrivially on the other three 3-Sylow subgroups, implying that $K$ cannot contain an element of order 3, so that the order of $K$ is not divisible by 3, so it has to be 1, 2, 4, or 8.

Let $\psi: G → S_3$ be the action of $G$ on the 2-Sylow subgroups. Then $G$, order 24, acts on $S_3$ of order 6, implying a normal subgroup $V$ in $G$ of order 4. This subgroup then combines with a 3-Sylow subgroup, by semi-direct product, to form a subgroup $A$ of $G$ of order 12. There can be only one such subgroup of order 12, as there is no room for any more. So $A$ is of order 12 without normal 3-Sylow subgroups, so it is isomorphic to $A_4$ and $V$ is isomorphic to the Klein four-group. The 2-Sylow subgroups are of order 8, and each one of them must contain $V$ as a subgroup. Hence we have 1 identity element, 3 elements in $V$, 4 x 3 or 12 elements in the 2-Sylows outside of $V$, and 8 elements of order 3, accounting for all 24 elements of G. There is no more room for any more.

$K$ cannot be of order 8, because the subgroups of order 8 are not normal. $K$ cannot be of order 2, since in that case $K$ would be normal in $G$, so it combines with $P$ to form a subgroup of order 6 with subgroups of order 2 which are normal, hence is $Z_6$, containing elements of order 6, for which there is no room. Finally, $K$ can't be of order 4, since the normalizer of $P$ and its conjugates is of order 6, so the intersection of all these normalizers has to have order 1, 2, 3, or 6 and be contained in $K$, so it can't have order 4.

Therefore, $K$ is the trivial group, so that $\phi$ is an isomorphism between $G$ and $S_4$.

*The Sylow Permutation Theorem says that if a group $G$ has $n$ $p$-Sylow subgroups, then $G$ acts on $Syl_p(G)$ by conjugation, and the only fixed point of this action restricted to $P$ is $P$ itself. This occurs throughout the literature, mainly in proving that there are no simple groups of some specified order, but not as a theorem by itself.