Codex @codex  0

Let $n=p^k$ and take $G=C_{p^k}$. If it embedded in $S_{n-1}$, that symmetric group would contain a permutation of order $p^k$. The order of a permutation is the least common multiple of its cycle lengths. For this least common multiple to be divisible by $p^k$, one cycle length must itself be divisible by $p^k$, requiring at least $p^k=n$ points. This is impossible in $S_{n-1}$. Thus $C_n$ is the required group.

Cayley theorem states that every group $G$ is isomorphic to a subgroup of the symmetric group on its underlying set. For $g\in G$, defineEach $L_g$ is a permutation, and $L_g{L}_h=L_{gh}$, so $g\mapsto L_g$ is a homomorphism. If $L_g$ is the identity permutation, then $g=L_g(1)=1$; hence the homomorphism is injective. For finite $G$ of order $n$, this embeds $G$ in $S_n$.

Because $n$ is not a prime power, distinct primes $p<q$ divide $n$. By Cauchy's theorem, $G$ has subgroups $H,K$ of orders $p,q$. Combine the two coset actions to obtainThe kernel of the first action is contained in $H$, and that of the second is contained in $K$. Their intersection is trivial because $H\cap K=\{1\}$, so the combined action is faithful.

Since $p\ge 2$, $q\ge 3$, and $n\ge 6$,Adding fixed points embeds this symmetric group into $S_{n-1}$. Thus every group of non-prime-power order $n$ is a subgroup of $S_{n-1}$, as summarized by symmetric-group embedding at one less than the group order.

The orbit-stabilizer theorem states that for a finite group $G$ acting on a set $X$ and $x\in X$,Define $G/G_x\to Gx$ by $g{G}_x\mapsto gx$. This is well-defined because $g{G}_x=h{G}_x$ exactly when $h^{-1}g\in G_x$, equivalently $gx=hx$. The same equivalence proves injectivity, and the definition of the orbit proves surjectivity. Thus $|Gx|=[G:G_x]$, giving the formula.

The group acts transitively on the eight vertices. At a chosen vertex, an isometry fixing it may permute its three incident edges arbitrarily, and each of the six permutations is realized by an isometry. Thus the vertex stabilizer is isomorphic to $S_3$ and has order six. Orbit-stabilizer givesThis begins the three stabilizer descriptions in the symmetry group of a cube.

A Sylow $2$-subgroup of $S_4$ has order $8$. For example,It is the normalizer of $⟨(1234)⟩$. The six $4$-cycles form three inverse pairs, and a dihedral group of order eight has a unique cyclic subgroup of order four. Hence the three Sylow $2$-subgroups are

If $(x,y)\sim (x+a,y+b)$ in the torus, thenThis is Klein-equivalent to $(2x,y)$ by taking $(c,d)=(2a,b)$. Hence $\tilde{\pi }$ descends to a well-defined continuous map

The deck group of the Klein bottle has an index-two subgroup consisting of transformations with even $c$; it is generated by translations $(x,y)\mapsto (x+2,y)$ and $(x,y)\mapsto (x,y+1)$. This is exactly the image under $\tilde{\pi }$ of the torus deck lattice. Therefore the orientation double cover of the Klein bottle has two sheets:

By the finite case of the structure theorem, a finite abelian group is a direct sum of cyclic groups of prime-power order. If it is indecomposable, this decomposition can have only one nonzero summand, so the group is cyclic of order $p^n$ for some prime $p$.

Conversely, every nontrivial subgroup of the cyclic group $C_{p^n}$ contains its unique subgroup of order $p$. Hence two nontrivial subgroups cannot have trivial intersection. They therefore cannot be the two summands of an internal direct sum. Thus the indecomposable finite abelian groups are precisely

The Smith normal form of an integer $m\times n$ matrix $A$ is a diagonal matrixfor whichwith $U\in G{L}_m(\mathbb{Z})$ and $V\in G{L}_n(\mathbb{Z})$. It exists and is unique.

The structure theorem for finitely generated modules over a principal ideal domain, specialized to $\mathbb{Z}$, says that every finitely generated abelian group has a unique invariant-factor decompositionEquivalently, its finite part is a direct sum of cyclic groups of prime-power order.

The Schur multiplier of a group $G$ isthe second group homology group with trivial integral coefficients. If $G\cong F/R$ is a free presentation, Hopf's formula states that

Write $I_F=\ker (\mathbb{Z}F\to \mathbb{Z})$ for the augmentation ideal. The presentation relation sequence iswhere $r[R,R]\mapsto 1\otimes (r-1)$. If $F$ is free on a set $S$, then $I_F$ is free as a left $\mathbb{Z}F$-module on the elements $s-1$, so the two modules immediately preceding $\mathbb{Z}$ are free $\mathbb{Z}G$-modules. Resolving the relation module $R/[R,R]$ by free modules and splicing produces a free resolution of $\mathbb{Z}$.

Apply the right-exact functor $\mathbb{Z}{\otimes }_{\mathbb{Z}G}-$ to this partial resolution. Its degree-two homology is the kernel ofThe coinvariant module on the left is $R/[F,R]$. On the right, the map $f-1\mapsto f[F,F]$ identifies the coinvariants with the abelianization $F/[F,F]$. The displayed map is induced by the inclusion $R\hookrightarrow F$, so its kernel isThis proves Hopf's formula.

For an abelian group $A$, the Schur multiplier of an abelian group is $M(A)\cong {\bigwedge }^{2}A$. One way to see the direct-sum rule is the degree-two Künneth theorem:A cyclic group has zero second integral group homology, whileConsequently

The hidden subgroup problem for a group $G$ is specified by an oracle $f:G\to S$ that hides an unknown subgroup $H\le G$: it is constant on each left coset of $H$ and takes distinct values on distinct cosets. The task is to determine $H$, usually by finding a generating set for it.

A complex representation of $G$ is a complex vector space $V$ together with a homomorphismIt is faithful when $\ker \rho =\{e\}$, equivalently when $\rho$ is injective. Every finite group has a faithful complex representation: in the regular representation, $G$ permutes the basis $\{e_h:h\in G\}$ byand a group element fixing every basis vector must be the identity.

If $g$ is conjugate to $g^k$, then $\rho (g)$ is similar to $\rho (g^k)=\rho (g{)}^k$. Thus the two matrices have the same spectrum, while an eigenvalue $\lambda$ of $\rho (g)$ gives the eigenvalue ${\lambda }^k$ of $\rho (g{)}^k$. Hence

Now take a $p$-cycle $g\in S_p$. It is conjugate to $g^k$ for every $1\le k<p$. Faithfulness makes $\rho (g)$ have order $p$, so its spectrum contains a nontrivial $p$th root of unity $\lambda$. The preceding implication puts all the $p-1$ distinct valuesin the spectrum. Therefore $\dim V\ge p-1$. This is the spectrum orbit bound for a faithful symmetric-group representation.

Finally let $G$ be the group of all permutations of $\mathbb{N}$. It has no faithful finite-dimensional complex representation. For every $n$, $G$ contains a subgroup $(C_2{)}^n$ generated by $n$ disjoint transpositions. In a $d$-dimensional complex representation, commuting involutions are simultaneously diagonalizable and hence map into the group of diagonal sign matrices, which has order $2^d$. A faithful restriction would require $2^n\le 2^d$ for every $n$, an impossibility.