BA. Let Dz, = (x,8 |r” = 8? = 1, rs = sr7!) be the usual presentation of the dihedral group of order 2n and let k be a positive integer dividing n. (@) Prove that (x) is a normal subgroup of Dan. () Prove that Dan/(r*) = Dax. a) Let us show this by definition. Let g € Dp. — If g is of the form r™ for some integer m then we get immediately. ate ot = If g is of the form sr™ for some integer m then ky sr (r*)(sr™)-! = (srr sr and so g normalizes (r#). We conclude that (r*) is normal in Day. b) The quotient group Do,/{v*) is generated by the elements For these elements we have reas tar showing that the group D2,/{r") satisfies the group presentation of the group Dox. Now notice that for g = 1,rr?,....r' 1, we get distinct cosets o(r2). Therefore the groups has at least k + 1 elements. ince the order must divide |D2,| = 2k, we see that order is 2k and £0 Dou/(r2) is isomorphic to Day.