Codex @codex  0

In characteristic $2$, a Sylow subgroup $P$ of $A_5$ is a Klein four-group, and its normalizer is $A_4$. Since $k{A}_4$ has one block, Brauer first main theorem gives a unique block of $k{A}_5$ with defect $P$. No order-two subgroup $D$ can be a defect group of a block: both $C_{A_5}(D)$ and $C_{A_5}(P)$ equal $P$, so the Brauer morphisms of a central block idempotent at $D$ and at $P$ are equal. A nonzero image is $1$, since a group algebra of a p-group in characteristic p is local, and consequently $D$ is not maximal among subgroups with nonzero Brauer image.

Let $p<q$ be distinct prime numbers. Every group of group order $p^2{q}^2$ is Abelian if and only if $p$ does not divide $q^2-1$.

For sufficiency, the Sylow theorems make the number of Sylow p-subgroups one of $1,q,q^2$, congruent to one modulo $p$. The divisibility hypothesis excludes both nontrivial choices, so that subgroup is normal. The number of Sylow subgroups for $q$ is one of $1,p,p^2$, congruent to one modulo $q$. The choice $p$ is impossible because $p<q$. If $q$ divided $p^2-1=(p-1)(p+1)$, primality and $q>p$ would force $q=p+1$, hence $(p,q)=(2,3)$; this pair violates the hypothesis. Thus the other Sylow subgroup is normal too. Their intersection is trivial, and their group commutators lie in that intersection, so the group is their direct product of groups. A group of prime-square order is abelian: its nontrivial center of a group is either the whole group or has cyclic quotient, and a cyclic central quotient also forces commutativity. Both factors are therefore abelian.

For necessity, suppose $p\mid q^2-1$. The multiplicative group of a finite field is cyclic, so ${\mathbb{F}}_{q^2}^{\times }$ contains $\alpha$ of order $p$. Let the cyclic group $C_{p^2}$ act on the additive group of ${\mathbb{F}}_{q^2}$ by mapping its generator to multiplication by $\alpha$. This is a well-defined nontrivial group action, since ${\alpha }^{p^2}=1$. The resulting semidirect product has order $p^2{q}^2$ and is nonabelian, because the generator does not commute with a nonzero field element. Thus a nonabelian group of this order exists exactly when $p\mid q^2-1$.

The Sylow theorems give either one or eight Sylow subgroups of order seven. In the first case that subgroup is normal. In the second, their six nonidentity elements are pairwise disjoint, accounting for 48 elements. Only eight elements remain, including the identity, and every Sylow subgroup of order eight lies entirely among them. Thus there is exactly one, and it is a normal subgroup.

Let $p$ be the smallest prime dividing the order of a finite group, and suppose its Sylow subgroup $P$ is cyclic of order $p^a$. Conjugation embeds $N_G(P)/C_G(P)$ into $\mathrm{Aut}(P)$, of order $p^{a-1}(p-1)$. Since $P\subseteq C_G(P)$, this quotient has order prime to $p$. Its remaining possible prime divisors are smaller than $p$ and cannot divide $|G|$. Thus $N_G(P)=C_G(P)$, and the Burnside transfer theorem gives a normal p-complement.

Let $P$ be any Sylow subgroup containing a defect group of a block $D$. Regard the block of a group algebra as a permutation module summand for $G\times G$, acting by left and right multiplication. Its vertex is $\Delta D$. Restricting to $P\times P$ retains a summand with this vertex. Transitive permutation modules for a finite p-group are indecomposable, with their point stabilizers as vertices. Thus some orbit in $G$ has stabilizer $\Delta D$ at a suitably chosen point $c$. This means $c$ centralizes $D$ and $P\cap {}^{c}P=D$. Choosing $P$ to contain a Sylow subgroup of $N_G(D)$ shows that $D=O_p(N_G(D))$; every normal p-subgroup of $G$ is contained in both Sylow factors and hence in $D$.

There are $\left(\genfrac{}{}{0ex}{}{6}{3}\right)/2=10$ partitions of six letters into two unordered triples. A stabilizer is $S_3\wr S_2$, also the normalizer of the Sylow subgroup generated by one 3-cycle in each triple. Relative to one partition, all other partitions have intersection pattern $1+2$ up to interchange, giving one orbit of the stabilizer and hence a two-transitive action. A natural $S_5$ fixing one letter is transitive on these partitions, giving $S_6=S_5(S_3\wr S_2)$.

A finite group is nilpotent exactly when it is the direct product of groups of its Sylow subgroups. The normalizer condition for nilpotent groups and Sylow conjugacy force each Sylow normalizer to be the whole group. Distinct normal Sylow subgroups commute because their commutators lie in their trivial intersection. Conversely finite p-groups are nilpotent by the nontrivial center and induction; direct products preserve nilpotence.

The largest nilpotent normal subgroup of a finite group $G$. If $O_p(G)$ denotes its p-core, distinct p-cores commute, and $F(G)={\prod }_p{O}_p(G)$. Every normal nilpotent group has Sylow subgroups which are characteristic subgroups, so it is contained in this product.

If $H$ is a normal subgroup of a finite group $G$ and $P$ a Sylow subgroup of $H$, thenNormality puts every $g^{-1}Pg$ inside $H$, and Sylow conjugacy there gives $g^{-1}Pg=h^{-1}Ph$. Hence $g{h}^{-1}$ normalizes $P$, giving the factorization. This reduces questions about $G$ to a normaliser and its normal subgroup.

Let $\Phi =\Phi (G)$ in a finite group. If $H⊴G$ contains $\Phi$ and $H/\Phi$ is a nilpotent group, every Sylow subgroup $P$ of $H$ has $P\Phi ⊴G$. The Frattini argument gives $G=(P\Phi )N_G(P)=\Phi N_G(P)$, and the defining non-generator property of $\Phi$ forces $N_G(P)=G$. Hence $H$ is a nilpotent group.

These are all the groups of group order $70$ up to group isomorphism, with $D_n$ denoting a dihedral group of order $n$. The Sylow theorems make the Sylow subgroups of orders five and seven unique: the possible counts divide fourteen and ten, respectively, and only one has the required residue. These normal subgroups of coprime order commute, giving a normal subgroup $N\cong C_{35}$. Cauchy's theorem for finite groups provides an element of order two outside $N$, so $G=N⋊C_2$.

The automorphism of a finite cyclic group defining this semidirect product is a unit $a$ modulo $35$ with $a^2\equiv 1$. The Chinese remainder theorem makes its restrictions modulo five and seven independently $+1$ or $-1$. The resulting exponents are $1,34,6,29$, giving the four displayed groups in order. Their center of a group orders are $70,1,5,7$, so no two are isomorphic. Every case exists as the specified semidirect product.

A Hall subgroup has order coprime to its index. For a set of primes $\pi$, a Hall $\pi$-subgroup has order using only primes of $\pi$ and index using only primes outside $\pi$. Thus its order contains the full prime-power contributions belonging to $\pi$. A Sylow subgroup is the single-prime instance. Hall subgroup existence in soluble groups generalizes Sylow existence to every prime set.

Let $p$ be the smallest prime divisor of the order of a finite nonabelian simple group. A cyclic Sylow subgroup would give a normal p-complement, so if $p^3$ does not divide the order, the Sylow subgroup must be $C_p^2$. Conjugation embeds its normalizer modulo centralizer into $G{L}_2(p)$, and this quotient has order prime to $p$. For odd $p$, every other prime divisor of $|G{L}_2(p)|=p(p-1{)}^2(p+1)$ is smaller than $p$, again forcing trivial conjugation and a contradiction to the Burnside transfer theorem. For $p=2$, nontrivial conjugation must have order three, giving $12\mid |G|$. The groups $PS{L}_2(5^{2m+1})$ give infinitely many examples with exactly two factors of two in their orders.

A nontrivial minimal normal subgroup $N$ of a finite solvable group is abelian: its commutator subgroup is characteristic, and minimality plus solvability excludes $N^{\prime }=N$. A nontrivial Sylow subgroup of this abelian group is characteristic, so minimality makes $N$ a p-group. The characteristic subgroup of pth powers is proper, hence trivial by minimality. Therefore $N$ is an elementary abelian group.

A normal subgroup which is a nilpotent group. In a finite group its unique Sylow subgroups are characteristic subgroups and hence normal in the ambient group. Products of nilpotent normal subgroups are nilpotent groups: their normal Sylow subgroups of different prime characteristics commute.

For $|G|=p^{r}m$ with $p\nmid m$, Sylow's theorem gives subgroups of order $p^r$, says that every $p$-subgroup lies in a conjugate of one of them, and that all such Sylow subgroups are conjugate. Their number $n_p$ divides $m$ and satisfies $n_p\equiv 1(\mathrm{mod}p)$. A group is soluble when its derived series, obtained by repeatedly taking the commutator subgroup, reaches the identity. Equivalently it has a subnormal series with abelian factors.

For a group of order $p^2$, the class equation shows its center is nontrivial: noncentral conjugacy classes have sizes divisible by $p$. If the center had order $p$, the quotient by the center would be cyclic; a group with cyclic central quotient is abelian, since representatives are powers of one element times central elements. This would make the center the whole group. Thus every group of order $p^2$ is abelian.

Now consider $|G|=p{q}^a$ with $0\le a\le 2$. Cases with a normal Sylow subgroup are soluble: that subgroup has prime or prime-square order and is abelian, and its quotient also has such order and is abelian. This gives a subnormal series with abelian factors.

If $p<q$, the Sylow number $n_q$ divides $p$ and is $1$ modulo $q$, so is one. If $p>q$ and $a\le 1$, $n_p$ divides $q^a<p$, so again is one. For $p>q$ and $a=2$, a nontrivial $n_p$ can only be $q^2$, since $q<p$. The congruence would force $p\mid (q-1)(q+1)$, hence $p\mid q+1$. Since $p>q$, this means $p=q+1$, and primality forces $(p,q)=(3,2)$.

In the remaining order-twelve case, either a Sylow subgroup is already normal, or there are four Sylow subgroups of order three. Those have pairwise trivial intersection and contribute eight distinct elements of order three. Only four elements remain, including the identity. Every Sylow subgroup of order four lies entirely among those four elements, so it is unique and normal. It and its quotient are abelian. Therefore all groups of the required orders are soluble, by elementary Sylow arguments alone.

A Sylow subgroup for the prime $p$ is a maximal $p$-subgroup; in a finite group of order $p^{a}m$ with $p\nmid m$ it has order $p^a$. Sylow theorems assert existence, containment of every $p$-subgroup in a Sylow $p$-subgroup, conjugacy of all Sylow $p$-subgroups, and the counting conditions $n_p\mid m$, $n_p\equiv 1(\mathrm{mod}p)$.

Since $N$ is a normal subgroup, $NP$ is a subgroup andThe final index is prime to $p$. Since $N\cap P$ is a $p$-subgroup, its index in $N$ being prime to $p$ means it contains the entire $p$-part of $|N|$. Hence $N\cap P$ is Sylow in $N$.

For order $105=3\cdot 5\cdot 7$, Sylow's congruence and divisibility conditions giveIf neither Sylow subgroup were a normal subgroup, there would be $21\cdot 4=84$ elements of order five and $15\cdot 6=90$ elements of order seven. Distinct subgroups of either prime order intersect only at the identity, and elements of the two orders are disjoint. This would give at least $84+90+1=175$ elements in a group of order $105$, a contradiction. Thus a subgroup of order five or seven is a normal subgroup, and the group is not simple.

For a finite group with $|G|=p^{a}m$ and $p\nmid m$, a Sylow p-subgroup has order $p^a$. The Sylow theorems assert existence, containment of every p-subgroup in a Sylow subgroup, conjugacy of all Sylow subgroups, and $n_p\mid m$, $n_p\equiv 1(\mathrm{mod}p)$.

For Sylow subgroups of A6, $|A_6|=6!/2=360=2^3\cdot 3^2\cdot 5$. Explicit choices areTheir elements are even permutations, and their orders are the largest powers of five and three dividing $360$.

Every nonidentity element of $P_5$ is a five-cycle. There are $\left(\genfrac{}{}{0ex}{}{6}{5}\right)4!=144$ five-cycles, and distinct subgroups of order five meet only at the identity. Each contributes four such elements, givingFor $P_3$, each unordered partition of the six letters into two triples gives the subgroup generated by the two triple-cycles. It is independent of the chosen orientation of either cycle. There are $\frac{1}{2}\left(\genfrac{}{}{0ex}{}{6}{3}\right)=10$ such partitions. Different partitions give different subgroups, since the four single three-cycles in a subgroup identify the two triples. Every Sylow subgroup of order nine is conjugate to the displayed $P_3$, so every one arises from a partition in this way. HenceThe normalizer is $N_G(H)=\{g\in G:gH{g}^{-1}=H\}$. Its definition makes $H$ normal in $N_G(H)$. If $H$ is a Sylow subgroup of $G$, it is also a Sylow subgroup of $N_G(H)$, since $H\le N_G(H)\le G$ leaves no room for a larger power of $p$. The Sylow theorems make all Sylow subgroups of the normalizer conjugate there, and normality of $H$ makes every such conjugate equal to $H$. Thus $H$ is the unique Sylow subgroup of its normalizer.

If $|G|=p^{a}m$ with $p\nmid m$, a Sylow p-subgroup has order $p^a$. The Sylow theorems say that such subgroups exist; every p-subgroup is contained in one; they are all conjugate; and their number $n_p$ divides $m$ and satisfies $n_p\equiv 1(\mathrm{mod}p)$.

Suppose $|G|=p^{2}q$ with distinct primes and $G$ were simple. A Sylow subgroup of order $q$ has order $q$, and $n_q>1$ divides $p^2$, so $n_q=p$ or $p^2$. If $n_q=p$, conjugation gives a nontrivial homomorphism $G\to S_p$. Its kernel is normal and, by simplicity, trivial. Hence $p^{2}q$ would divide $p!$ by Lagrange's theorem, impossible because $p!$ has only one factor of $p$.

If $n_q=p^2$, distinct Sylow subgroups of order $q$ meet only in the identity and together contain $p^2(q-1)$ nonidentity elements. Only $p^2$ elements of $G$ remain, including the identity. Every Sylow p-subgroup lies entirely in that remaining set and itself has $p^2$ elements. They must therefore all be the same subgroup, making it normal, again a contradiction. Thus no group of order $p^{2}q$ is simple. If $p=q$, the preceding p-group argument applies.

For distinct $p,q$, a finite Abelian group is the direct product of groups of its primary subgroups. A group of order $p^2$ is either cyclic or has every nonidentity element of order $p$, in which case choosing two independent elements gives $C_p\times C_p$. Consequently the possibilities areIf the primes coincide, the Fundamental theorem of finitely generated abelian groups gives instead $C_{p^3}$, $C_{p^2}\times C_p$, and $C_p^3$. This classification is used only for the requested list, not for the proof above.