Codex @codex  0

The group $G$ is a nontrivial finite p-group, so the nontrivial center of a finite p-group gives $Z(G)\ne \{e\}$. If $Z(G)\ne G$, then $Z(G)$ is already a nontrivial proper normal subgroup, so $G$ is not a simple group. If $Z(G)=G$, then $G$ is abelian. By Cauchy's theorem for finite groups, it has a subgroup of order $p$; every subgroup of an abelian group is normal, and this subgroup is nontrivial and proper because $|G|=p^4$. Thus in every case

Interchange the two primes if necessary so that $p<q$. By the Sylow theorems, the number $n_q$ of Sylow $q$-subgroups satisfiesIf $n_q\ne 1$, then $n_q$ is $p$ or $p^2$. The first is impossible because $1<p<q$. The second would implySince $q>p$ is prime, it cannot divide $p-1$, so it must divide $p+1$. But $q>p$ then forces $q=p+1$, impossible because $p$ and $q$ are both odd. Therefore $n_q=1$. The unique Sylow $q$-subgroup is a nontrivial proper normal subgroup, and hence

Take $g\in G$. Since $K$ is a normal subgroup, $gP{g}^{-1}\le K$; it has the same order as $P$, so it is also a Sylow subgroup of $K$. The conjugacy assertion in the Sylow theorems supplies $k\in K$ such thatConsequently $kg\in N_G(P)$, and thereforeThus $G\subseteq N_G(P)K$, while the reverse inclusion is immediate because both factors are subgroups of $G$. Hence

Because $L/K$ is a finite Galois extension,

Suppose the irreducible quadratic $f$ became reducible over $L$. It would then have a root $\alpha \in L$, and $K(\alpha )/K$ would be a quadratic intermediate extension. By the Fundamental theorem of Galois theory, $\mathrm{Gal}(L/K(\alpha ))$ would be a subgroup of index two in $A_{10}$ and hence a normal subgroup by the index-two subgroup is normal result. But the Simplicity of alternating groups says that $A_{10}$ is simple, while this subgroup would be proper and nontrivial. This contradiction proves that $f$ remains irreducible in $L[x]$.

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

For subgroups $H,P\le G$, define $x\sim y$ when $y\in HxP$. The identity elements show reflexivity, inverses show symmetry, and multiplication shows transitivity. Thus the double cosets $HxP$ partition $G$.

Let $H$ act by left multiplication on the set of left cosets $G/P$. The orbit of $xP$ consists of the cosets contained in $HxP$, so its size is $|HxP|/|P|$. Its stabilizer isThe orbit-stabilizer theorem therefore gives

Suppose $P$ is a Sylow subgroup of $G$, with $|P|=p^a$, and write the largest power of $p$ dividing $|H|$ as $p^b$. If every $H\cap xP{x}^{-1}$ had order at most $p^{b-1}$, the displayed formula would make every double-coset size divisible by $p^{a+1}$. Their sum $|G|$ would then also be divisible by $p^{a+1}$, contradicting the choice of $P$. Hence some $H\cap xP{x}^{-1}$ has order $p^b$ and is a Sylow $p$-subgroup of $H$. This is the Sylow subgroup of a subgroup from double cosets argument.

To count the general linear group over a finite field $G{L}_n({\mathbb{F}}_p)$, choose its columns successively. There are $p^n-1$ choices for the first, $p^n-p$ for the second, and $p^n-p^k$ for column $k+1$. ConsequentlyNone of the factors $p^j-1$ is divisible by $p$, so the upper unitriangular group is a Sylow $p$-subgroup: it has one arbitrary field entry in each of the $n(n-1)/2$ positions above the diagonal and hence order $p^{n(n-1)/2}$. The permutation matrices form a subgroup isomorphic to the symmetric group $S_n$.

By Cayley theorem, every finite group $G$ embeds in $S_{|G|}$, and permutation matrices embed this symmetric group in $G{L}_{|G|}({\mathbb{F}}_p)$. The latter has the explicit Sylow $p$-subgroup just described, so the result proved in the first part, applied to the embedded copy of $G$, proves that every finite group has a Sylow $p$-subgroup.

The counting part of the Sylow theorems says that if $p^a$ is the largest power of $p$ dividing $|G|$, then the number $n_p$ of Sylow $p$-subgroups satisfies

Finally, let $|G|=pq$ with prime numbers $p>q$. The Sylow counts giveso $n_p=1$ and the Sylow $p$-subgroup is a normal subgroup. Also $n_q\mid p$ and $n_q\equiv 1(\mathrm{mod}q)$. If $n_q=1$, both Sylow subgroups are normal; their elements commute, so $G$ is their direct product and is abelian. In the nonabelian case one must therefore have $n_q=p$, whenceor equivalently $q\mid p-1$, as recorded by nonabelian group of order pq.

By part ii, $G_n$ is the intersection of finitely many open subgroups, so it is open. Conjugation permutes the subgroups of each index, hence $G_n$ is also a normal subgroup. The groups $G_n$ form a descending family. If $U$ is any open normal subgroup and $[G:U]=m$, then $G_m\subseteq U$. Thus $(G_n)$ is cofinal among the open normal neighborhoods of the identity. Part i now gives

The complex regular representation has basis $(e_h{)}_{h\in G}$ and left actionIf $\rho (g)$ is the identity, thenso $g=1$. Thus $\mathbb{C}G$ is a faithful representation.

By Maschke's theorem, the regular representation decomposes as a direct sum of irreducibles,Its kernel is the intersection of the kernels of the constituent representations:Each constituent kernel is a normal subgroup of $G$. If $G$ is simple, every such kernel is either $\{1\}$ or $G$. They cannot all be $G$, because then their intersection would be $G$, contradicting faithfulness of the regular representation. Hence some $V_j$ has trivial kernel. Therefore every finite simple group has a faithful irreducible representation of a finite simple group.

A group action of $G$ on $X$ is a map $(g,x)\mapsto gx$ such that $ex=x$ and $(gh)x=g(hx)$. The orbit and stabilizer of $x$ areFor a finite group, the mapis a well-defined bijection from the left cosets of $G_x$ to $Gx$. Each coset has $|G_x|$ elements, so the orbit-stabilizer theorem is

The Cauchy theorem for groups says that if a prime number $p$ divides $|G|$, then $G$ has an element of order $p$. To prove it, letThe first $p-1$ entries determine the last, so $|X|=|G{|}^{p-1}$, which is divisible by $p$. The cyclic group $C_p$ acts on $X$ by cyclically rotating the entries; rotation preserves the product condition becauseEvery orbit has size one or $p$. The fixed points are exactly the tuples $(g,\dots ,g)$ with $g^p=e$. Their number is therefore divisible by $p$. Since the identity gives one fixed point, there is another, and its entry has order $p$.

Now let $|G|=33$. Cauchy's theorem gives a subgroup $H$ of order $11$. Let $H$ act by the conjugation action on the set $\mathcal{X}$ of subgroups of order $11$. It fixes $H$. If it also fixed $K\ne H$, then $H$ would normalize $K$; since $H\cap K=\{e\}$, the product $HK$ would be a subgroup of order $121$, which is impossible. Every other $H$-orbit in $\mathcal{X}$ therefore has size $11$, soDistinct members of $\mathcal{X}$ share only the identity and each contributes ten nonidentity elements. Hence $1+10|\mathcal{X}|\le 33$, forcing $|\mathcal{X}|=1$. Thus $H$ is a normal subgroup.

Conjugation now defines a group homomorphismBecause $H\cong C_{11}$, its automorphism group has order $10$. By the Lagrange theorem, the image has order dividing both $33$ and $10$, so the image is trivial and $H$ lies in the center of $G$. Cauchy's theorem also supplies $x$ of order $3$. If $h$ generates $H$, then $h$ and $x$ commute and $hx$ has order $\mathrm{lcm}(11,3)=33$. Therefore

A subgroup $N\le G$ is normal whenIts left and right cosets then agree, and multiplicationis well defined on the cosets. The identity is $N$, the inverse of $gN$ is $g^{-1}N$, and associativity descends from $G$, so these cosets form the quotient group $G/N$.

For a group homomorphism $\theta :G\to H$, its kernel and image areThe kernel is normal becausewhenever $k\in \ker \theta$. Conversely, if $K⊴G$, the quotient mapis a homomorphism with kernel $K$. The image of any homomorphism is closed under products and inverses, so it is a subgroup of $H$. Finally, the mapis well defined and bijective and preserves multiplication. This is the first isomorphism theorem.

DefineEuler's formula shows that $\Phi$ is a homomorphism, its image is the complex unit circle, and its kernel is $\mathbb{Z}$. The first isomorphism theorem therefore givesThe image of $\mathbb{Q}/\mathbb{Z}$ consists exactly of the roots of unity: if $t=p/q$, then $\Phi (t{)}^q=1$, while every element of finite order on the unit circle has an argument that is a rational multiple of $2\pi$.

A Sylow subgroup of a finite group $G$ is a subgroup whose order is the largest power of a prime $p$ dividing $|G|$. The Sylow theorems say that such subgroups exist, that every $p$-subgroup lies in one, that all Sylow $p$-subgroups are conjugate, and that their number $n_p$ divides $|G|/p^a$ and obeys $n_p\equiv 1(\mathrm{mod}p)$.

For the last congruence, let one Sylow $p$-subgroup $P$ act by conjugation on the set of all Sylow $p$-subgroups. Every orbit other than a fixed point has size divisible by $p$. If $Q$ is fixed, then $P,Q\le N_G(Q)$. They are Sylow subgroups of this normalizer, so they are conjugate within $N_G(Q)$; because every element of $N_G(Q)$ fixes $Q$ under conjugation, this forces $P=Q$. Thus there is exactly one fixed point and $n_p\equiv 1(\mathrm{mod}p)$.

Now let $H<A_n$ have index $m$ with $1<m<n$. The coset action gives a homomorphismIts kernel is a normal subgroup of the simple group $A_n$. It cannot be all of $A_n$, since the action is transitive and nontrivial, so it is trivial. This would embed $A_n$ into $S_m$, contrary to $|A_n|=n!/2>m!=|S_m|$. Hence no such subgroup exists.

Suppose finally that a group $G$ of order $90$ were simple. The Sylow count satisfiesand simplicity excludes $n_5=1$, so $n_5=6$. Conjugation on these six subgroups gives a nontrivial homomorphism $G\to S_6$, which simplicity makes injective. Its image lies in $A_6$, because the composite with the sign homomorphism $S_6\to \{\pm 1\}$ must be trivial. It would therefore be a subgroup of $A_6$ of index $360/90=4$, contradicting the result just proved. Thus

If $N◃S_n$, then $N\cap A_n◃A_n$, hence the intersection is either $1$ or $A_n$. In the latter case $N$ is $A_n$ or $S_n$. In the former, $N$ injects into $S_n/A_n\cong C_2$, so $|N|\le 2$. A normal subgroup of order two would be central, but $Z(S_n)=1$ for $n\ge 3$. Therefore the normal subgroups are

The map $(a,b)\mapsto \mathrm{sgn}(a)$ is a surjective group homomorphism with kernel $H_0$, so $H_0$ is a normal subgroup and $G/H_0\cong C_2$. The subgroup $H_1$ is not normal: for a translation $t=(1,c)$,which leaves $H_1$ when $a\ne 1$ and $c\ne 0$. Finally, $(a,b)\mapsto a$ is a surjective homomorphism onto ${\mathbb{R}}^{\ast }$ with kernel $H_2$, so $H_2◃G$ and the quotient group $G/H_2\cong {\mathbb{R}}^{\ast }$.

A normal subgroup of $A_6$ has order dividing 360 and consists of the identity plus whole conjugacy classes of the alternating group on six letters. If it omits the odd-sized class of size 45, its order is an odd divisor and no nontrivial class sum fits. If it includes that class, the possible class sums not exceeding 180 are $46,86,118,126,136,158,176$, none dividing 360. Every proper subgroup has order at most 180; therefore $A_6$ is a simple group.