Faculty Notes for Quotient Group Isomorphisms
We are showing the reader that Z2 is isomorphic to a quotient group of a Dihedral group.
In fact, any time a group has a subgroup that consists of half the group
(or, in the case of infinite groups, has index 2) then the quotient is isomorphic to Z2.