Codex @codex  0

Since $351=3^3\cdot 13$, the number of Sylow subgroups for $p=13$ divides $27$ and is $1$ modulo $13$, hence is $1$ or $27$. In the first case the unique subgroup is a nontrivial proper normal subgroup.

In the second case the $27$ subgroups of order $13$ have pairwise trivial intersection: two such subgroups sharing a nonidentity element would both be generated by it. They account for $27\cdot 12=324$ nonidentity elements of order $13$. Exactly $27$ elements, including the identity, remain. Every Sylow subgroup for $p=3$ has order $27$, and all its elements lie among these remaining elements, by Lagrange's theorem. It must therefore be precisely that set. The Sylow subgroup for $p=3$ is unique and hence normal. In either case $G$ is not a simple group.

A finite nonabelian simple group cannot be a p-group: a nontrivial finite p-group has nontrivial centre of a group, since its class equation makes every noncentral conjugacy class size divisible by $p$, and hence makes the centre size a positive multiple of $p$. That centre is a normal subgroup, so must be the whole group if $G$ is a simple group, making it abelian; an abelian simple group has prime order. Therefore every Sylow subgroup here is nontrivial and proper. It cannot be normal, so $n_p>1$.

To obtain a simple group embedding from Sylow conjugation, the conjugation action on Sylow subgroups gives a group homomorphism $\rho :G\to S_{n_p}$. This group action is transitive by the Sylow theorems and is nontrivial since $n_p>1$. Its kernel of a group homomorphism is a normal subgroup, so the defining property of a simple group makes the kernel of a group homomorphism trivial: $\rho$ is an embedding. Now compose with the sign of a permutation $S_{n_p}\to \{\pm 1\}$. A nontrivial composite would again be injective because $G$ is a simple group, embedding $G$ in a group of order two, impossible for a nonabelian group. Thus $\rho (G)$ lies in the alternating group $A_{n_p}$. By Lagrange's theorem,The argument only invokes the factorial formula once $n_p\ge 2$; the impossible case $n_p=2$ itself is also excluded by the embedding.

Use the class equation for the action of $G$ on itself by conjugation:where the sum runs over noncentral conjugacy classes. By Lagrange's theorem, each noncentral class has size a positive power of $p$ greater than one. Thus $|Z(G)|\equiv |G|\equiv 0(\mathrm{mod}p)$. Since the identity element belongs to the center of a group,For $|G|=p^3$, the possible orders of the center of a group are $p,p^2,p^3$. Order $p^3$ would make $G$ an abelian group. Order $p^2$ would make the quotient group $G/Z(G)$ have prime order and hence be a cyclic group. But a cyclic quotient by the center forces $G$ to be Abelian: if $gZ(G)$ generates the quotient, any two elements are $g^{a}z$ and $g^{b}w$ with $z,w\in Z(G)$, and their products commute. Both larger orders contradict the hypothesis. Consequently

Let $G$ act by left multiplication on the set $G/H$ of $n$ left cosets. This gives a group action homomorphismIts kernelis a normal subgroup of $G$, and the first isomorphism theorem gives $G/K\cong \mathrm{im}\phi$. By Lagrange's theorem, $|G/K|$ divides $n!$. The image acts transitively on the $n$ cosets, so the orbit-stabilizer theorem shows that $n$ divides $|G/K|$; in particular,

Now suppose $G$ is nonabelian and simple. Since $H$ is proper, the coset action is nontrivial, so $K\ne G$. Simplicity gives $K=\{e\}$, and $\phi$ embeds $G$ into $S_n$. Composing with the sign homomorphism givesIts kernel is normal. A nontrivial map would embed the simple group $G$ into the abelian group of order two, which is impossible because $G$ is nonabelian. The sign is therefore always $+1$, so

A finite nonabelian simple group embeds in $A_{n_p}$, where $n_p$ is its number of Sylow subgroups for a prime dividing its order. It is not a p-group by the nontrivial-centre property. Thus its Sylow subgroups are proper and cannot be normal, so $n_p>1$. The conjugation action is nontrivial, and its normal kernel of a group homomorphism must therefore be trivial. The sign of this faithful permutation action must be trivial, since a nontrivial sign homomorphism would inject the group into a group of order two. Lagrange's theorem consequently gives $|G|\mid n_p!/2$.