Any finite group [itex]G[/itex] with order [itex]|G| = N < \infty [/itex] is isomorphic ([itex] \cong [/itex] ) to a subgroup of the symmetric group [itex]S_N [/itex].(adsbygoogle = window.adsbygoogle || []).push({});

I have one question here, let's take the cyclic group of order three: [itex]C_3 = \{ e, c, c^2 \} [/itex]. By Cayley's theorem, this should be isomorphic to some subgroup of [itex]S_3 [/itex].

The subgroups of [itex]S_3[/itex] are pretty definite, and they are also normal subgroups , created by the union of conjugacy classes. They are the [itex] \{ (.) \} [/itex] , [itex] S_3 [/itex] (both trivial) and the union of [itex] \{ (.) \} \cup \{ (...) \}[/itex] which is the Alternating group [itex]A_3 [/itex].

Is it correct to say then that [itex]C_3 \cong A_3 [/itex] ? the orders seem to match.

On the other hand what happens if I go for example to [itex]C_4 [/itex] ? In that case the subgroups of [itex]S_4[/itex] will be:

1. [itex] \{ e \}[/itex]

2. [itex] S_4 [/itex]

3. [itex] \{ (.) \} \cup \{ (..)(..) \} \cong C_2 \times C_2 [/itex]

4. [itex] \{ (.) \} \cup \{ (...) \} \cup \{ (..)(..) \} \cong A_4[/itex]

My problem is that in this case, the only "order" which matches is the [itex]C_2 \times C_2[/itex], But I don't think that the Klein 4-group is isomorphic to the cyclic group, because the orders of the elements don't match. Any help?

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Cayley's Theorem (isomorphisms of Cyclics to SN)

**Physics Forums | Science Articles, Homework Help, Discussion**