Cayley's Representation Theorem

From ProofWiki
Jump to navigation Jump to search

This proof is about Cayley's Representation Theorem on the subject of finite groups. For other uses, see Cayley's Theorem.


Theorem

Let $S_n$ denote the symmetric group on $n$ letters.

Every finite group is isomorphic to a subgroup of $S_n$ for some $n \in \Z$.


General Case

Let $\struct {G, \cdot}$ be a group.


Then there exists a permutation group $P$ on some set $S$ such that:

$G \cong P$

That is, such that $G$ is isomorphic to $P$.


Proof 1

Let $H = \set e$.

We can apply Permutation of Cosets to $H$ so that:

$\mathbb S = G$

and:

$\map \ker \theta = \set e$

The result follows by the First Isomorphism Theorem for Groups.

$\blacksquare$


Proof 2

Let $G$ be any arbitrary finite group whose identity is $e_G$.

Let $S$ be the symmetric group on the elements of $G$, where $e_S$ is the identity of $S$.

For any $x \in G$, let $\lambda_x$ be the left regular representation of $G$ with respect to $x$.

From Regular Representations in Group are Permutations, $\forall x \in G: \lambda_x \in S$.

So, we can define a mapping $\theta: G \to S$ as:

$\forall x \in G: \map \theta x = \lambda_x$

From Composition of Regular Representations, we have:

$\forall x, y \in G: \lambda_x \circ \lambda_y = \lambda_{x y}$

where in this context $\circ$ denotes composition of mappings.

Thus by definition of $\theta$:

$\map \theta x \circ \map \theta y = \map \theta {x y}$

demonstrating that $\theta$ is a homomorphism.


Having established that fact, we can now consider $\map \ker \theta$, where $\ker$ denotes the kernel of $\theta$.

Let $x \in G$.

We have that:

\(\displaystyle x\) \(\in\) \(\displaystyle \map \ker \theta\)
\(\displaystyle \leadsto \ \ \) \(\displaystyle \map \theta x\) \(=\) \(\displaystyle e_S\) Definition of Kernel of Group Homomorphism
\(\displaystyle \leadsto \ \ \) \(\displaystyle \lambda_x\) \(=\) \(\displaystyle I_G\) where $I_G$ is the identity mapping of $G$
\(\displaystyle \leadsto \ \ \) \(\displaystyle \map {\lambda_x} {e_G}\) \(=\) \(\displaystyle \map {I_G} {e_G}\) Definition of Identity Mapping
\(\displaystyle \leadsto \ \ \) \(\displaystyle x\) \(=\) \(\displaystyle e_G\) Definitions of $\lambda_x$ and $I_G$

So $\map \ker \theta$ can contain no element other than $e_G$.

So, since clearly $e_G \in \map \ker \theta$, it follows that:

$\map \ker \theta = \set {e_G}$

By Kernel is Trivial iff Monomorphism, it follows that $\theta$ is a monomorphism.

By Monomorphism Image is Isomorphic to Domain, we have that:

$\theta \sqbrk G \cong \Img \theta$

that is, $\theta$ is isomorphic to its image.

Hence the result.

$\blacksquare$


Also known as

Cayley's Representation Theorem is also known as the Representation Theorem for Groups.

Some sources refer to it as just Cayley's theorem, but as there is more than one result so named, it is better to use the more specific form.


Also see

What this theorem tells us is that in order to study finite groups, it is necessary only to study subgroups of the symmetric groups on $n$ letters.


Source of Name

This entry was named for Arthur Cayley.


Sources