Cayley's Representation Theorem/Proof 2

From ProofWiki
Jump to navigation Jump to search


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$.


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.


Source of Name

This entry was named for Arthur Cayley.