Abstract Algebra: Theory and Applications · Problem 10.4.1

Homomorphisms — Thomas Judson

Mathematics — Abstract Algebra · normal-subgroups-factor-groups

Problem

For each of the following groups GG, determine whether HH is a normal subgroup of GG. If HH is a normal subgroup, write out a Cayley table for the factor group G/HG/H. (a) G=S4G = S_4 and H=A4H = A_4 (b) G=A5G = A_5 and H={(1),(1 2 3),(1 3 2)}H = \{(1),(1\,2\,3),(1\,3\,2)\} (c) G=S4G = S_4 and H=D4H = D_4 (d) G=Q8G = Q_8 and H={1,−1,I,−I}H = \{1, -1, I, -I\} (e) G=ZG = \mathbb{Z} and H=5ZH = 5\mathbb{Z} Hint. (a) A4(1 2)A4A4A4(1 2)A4(1 2)A4(1 2)A4A4\begin{array}{c|cc} & A_4 & (1\,2)A_4 \\ \hline A_4 & A_4 & (1\,2)A_4 \\ (1\,2)A_4 & (1\,2)A_4 & A_4 \end{array} (c) D4D_4 is not normal in S4S_4.

Related theory

Browse the problem library