5

If $G:=S_4$ and $H:=\{id,(12)(34),(13)(24),(14)(23)\}$ Show that $G/H$ has order $6$ and all of its elements have order less than or equal to $3$ (so by the classification of the groups of order 6 up to isomorphism, $G/H\cong S_3$)

$H$ is normal, since left- and right cosets are equal, There are $6$ cosets:

$\{id,(12)(34),(13)(24),(14)(23)\},\ \{(12),(34),(1423),(1324)\},\ \{(13),(24),(1234),(1423)\}$

$\{(123),(134),(243),(142)\},\ \{(14),(23),(1243),(1342)\},\ \{(132),(143),(234),(124)\}$

What does it mean: All elements of $G/H$ have order less than or equal to $3$? Each element is a set of 4 permutations, what is the order here ?

$G/H\cong S_3$: How can I construct an isomorphism, since the cosets are disjoint, can I just pick an element from each group and compare them with $S_3$ ?

Thanks in advance.

inequal
  • 1,367
  • 2
    Since $H$ is normal, $G/H$ is a group, and for each $\sigma\in S_4$, $\sigma H$ is an element of $G/H$. The order of $\sigmaH$ is the least $k$ for which $\sigma^k\in H$. – Pedro Nov 01 '14 at 21:41
  • 1
    It's possible to construct a specific isomorphism, but it would not be easy. They want you to show that it's isomorphic to $S_3$ in an easier way. If the group had an element of order greater than $3$, then the group would be $\mathbb{Z}/6\mathbb{Z}$, but if the order of every element is $\leq 3$ then it must be $S_3$. – Matt Samuel Nov 01 '14 at 21:42
  • @Pedro Tamaroff Thanks but there are $24$ $\sigma$'s, so it is possible that $\sigma H=\sigma' H$ for $\sigma\neq\sigma'$ but must they have the same exponent to belong to $H$ ? – inequal Nov 01 '14 at 21:53
  • @Matt S Why it cannot be $\mathbb Z/6\mathbb Z$ ? I mean how can I show that no element has order $6$ ? Since $G/H$ has order $6$, any element, say $\sigma_1$ of a coset exponented with $6$ gives identity, but $id=((12)(34))^2$ for example and hence $\sigma_1^3=(12)(34)$ etc. Am I on the right track ? – inequal Nov 02 '14 at 11:18
  • @Pedro's explanation is what you apparently looking for. Take your second coset for example. No matter which element from it you select, its square will be in $H$. Therefore that coset is an element of order two in the quotient group. The same thing happens with others. BUT! The fact that we have a well-defined operation in the quotient group means that we only need to check this for one representative from each coset. – Jyrki Lahtonen Nov 02 '14 at 11:43
  • This is somewhat close to being a duplicate of either this or this. But it seems to me that the question here is more about understanding the quotient group, so marking this a dup of either doesn't feel right. – Jyrki Lahtonen Nov 02 '14 at 11:47
  • @Jyrki Lahtonen, yes I think this is due to the fact that $H$ is normal; $\sigma_1 H=\sigma_2 H$ and $\sigma_1^k\in H$ implies $H=\sigma_1^k H=(\sigma_1 H)^k=(\sigma_2 H)^k=\sigma_2^k H$ Hence $\sigma_2^k\in H$, so I can check it for 6 elements, but I mean, for general case, what would happen if any representative had order $6$ ? – inequal Nov 02 '14 at 11:51
  • 1
    A representative may have order six in $G$, but the order of its coset could still be less in $G/H$, if a lower power would belong to the subgroup $H$. When we pass to the quotient group $G/H$ the elements of $G$ lose their identity to the extent that any two belonging to the same coset of $H$ become equal. – Jyrki Lahtonen Nov 02 '14 at 11:56

2 Answers2

4

Here is a way to construct an homomorphism from $S_4$ to $S_3$, which has kernel $H$. Consider the three possible partitions of the set $\{1,2,3,4\}$ into two sets:

$$A=\{1,2\}\cup\{3,4\}; \quad B=\{1,3\}\cup \{2,4\}; \quad C=\{1,4\} \cup \{2,3\}.$$

Now you can see what does an element $p\in S_4$ to those partitions. For instance the element $p := (1234)$ does the following: \begin{align*} \{1,2\} &\overset{p}{\leadsto} \{2,3\}; &\{1,3\}\overset{p}{\leadsto}\{2,4\};\\\{1,4\}&\overset{p}{\leadsto} \{2,1\}; &\{2,3\}\overset{p}{\leadsto}\{3,4\}; \\ \{2,4\} &\overset{p}{\leadsto}\{3,1\}; &\{3,4\}\overset{p}{\leadsto}\{4,1\}, \end{align*}

so $$A \overset{p}{\leadsto}\{2,3\}\cup \{4,1\}; \quad B \overset{p}{\leadsto} \{2,4\}\cup \{1,3\}; \quad C \overset{p}{\leadsto} \{2,1\}\cup \{3,4\}.$$ This corresponds to the transposition $[ABC]\overset{p}{\leadsto}[CBA]$. Which is like the transposition $(13)$ in $S_3$. Now define the map $$\varphi:S_4\to S_3,$$

which sends an element of $S_4$ to the action on the partitions $A,B,C$. If $q,r \in S_4$ then the product $qr$ corresponds to the composition of the action of $q$ and of $r$, so the action of $qr$ is the result of the two actions, that is $\varphi(qr)=\varphi(q)\varphi(r)$ and so you have an homomorphism. Moreover you can see that the only elements which sends $[ABC]$ to $[ABC]$ (written in one line notation) are exactly the elements of $H$, so $H$ is the kernel of $\varphi$ and therefore $S_4/H\approx S_3$

Bman72
  • 2,854
  • 1
  • 16
  • 30
0

$H$ is a conjugacy class. If a conjugacy class is a subgroup, then it is a normal subgroup. So, $H$ is normal in $S_4$.

There is no need to find an isomorphism. You can do it as follows which is easier.

$S_3 \cap H = \{ e \}$. Also, $|S_3H|=\frac{|H||S_3|}{|S_3 \cap H|}$. So $S_3H=G$.

According to the second isomorphism theorem:

$G/H \cong S_3H/H \cong S_3/ H\cap S_3 \cong S_3 $

khashayar
  • 2,184