Abstract Algebra: Theory and Applications · Problem 11.7.5

Matrix Groups and Symmetry — Thomas Judson

Mathematics — Abstract Algebra · sage-normal-subgroups-as-kernels

Problem

The dihedral group D20D_{20} has several normal subgroups, as seen below. Each of these is the kernel of a homomorphism with D20D_{20} as the domain. For each normal subgroup of D20D_{20} construct a homomorphism from D20D_{20} to D20D_{20} that has the normal subgroup as the kernel. Include in your work verifications that you are creating the desired kernels. There is a pattern to many of these, but the three of order 20 will be a challenge. \begin{verbatim} G = DihedralGroup(20) [H.order() for H in G.normal_subgroups()] [40, 20, 20, 20, 10, 4, 2, 5, 1] \end{verbatim}

Related theory

Browse the problem library