This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Math 150a: Modern Algebra Homework 10 Solutions 5.6.3 (a) Exhibit the bijective map (5.6.4) explicitly, when G is the dihedral group D 4 and S is the set of vertices of a square. Solution: Let S = { s 1 , s 2 , s 3 , s 4 } be the vertices of the square labeled counterclockwise from the top right vertex. And let D 4 be generated by r and f , where f is a reflection through a horizontal line. Then S is a D 4set; that is, D 4 acts on the set S . We may consider the orbit O s 1 S of the point s 1 S O s 1 = { g ( s 1 )  g D 4 } = { s 1 , s 2 , s 3 , s 4 } ; And the stabilizer H D 4 of s 1 H = stab D 4 ( s 1 ) = ( D 4 ) s 1 = { g D 4  g ( s 1 ) = s 1 } = { 1 , r f } . Proposition 5.6.4 states that D 4 / H and O s 1 are in bijective correspondence, where the bijection maps a coset to its image of s 1 , aH mapsto a ( s 1 ) . s 1 s 2 s 3 s 4 f r f b b b b So, to exhibit this map, verify that there are four cosets of H sending s 1 to all of the other elements of its orbit. H = r f H = { e , r f } mapsto e ( s 1 ) = r f ( s 1 ) = s 1 , rH = r 2 f H = { r , r 2 f } mapsto r ( s 1 ) = r 2 f ( s 1 ) = s 2 , r 2 H = r 3 f H = { r 2 , r 3 f } mapsto r 2 ( s 1 ) = r 3 f ( s 1 ) = s 3 , r 3 H = f H = { r 3 , f } mapsto r 3 ( s 1 ) = f ( s 1 ) = s 4 . square (b) Do the same for D n and the vertices of a regular ngon. Solution: Let S = { s 1 , s 2 ,..., s n } be the vertices of a regular ngon. As in part (a), we may orient the ngon so that f sends s 1 to s n . Then O s 1 = { s 1 , s 2 ,..., s n } , and H = ( D 4 ) s 1 = { 1 , r f } . 1 r f r f f f s 1 s 1 s 2 n 1 s 2 n D 2 n 1 D 2 n s 2 s 2 b b b b b b b b b b b b b b b b b b b And, similarly, H = r f H = { e , r f } mapsto e ( s 1 ) = r f ( s 1 ) = s 1 , rH = r 2 f H = { r , r 2 f } mapsto r ( s 1 ) = r 2 f ( s 1 ) = s 2 , . . . r n 2 H = r n 1 f H = { r n 2 , r n 1 f } mapsto r n 2 ( s 1 ) = r n 1 f ( s 1 ) = s n 1 . r n 1 H = f H = { r n 1 , f } mapsto r n 1 ( s 1 ) = f ( s 1 ) = s n . square 5.7.3 Compute the order of the group of symmetries of a dodecahedron, when orientation reversing sym metries such as reflections in planes, as well as rotations, are allowed. Do the same for the symmetries of a cube and of a tetrahedron. Solution: Let I , O , and T be the full symmetry groups (including orientation reversing symmetries) of the dodecahedron, cube, and tetrahedron (respectively). In each case, the symmetry group acts transitively on the faces of each polytope. And the stabilizer of each face is a dihedral group. A face of the dodecahedron is a regular pentagon, so its stabilizer is isomorphic to D 5 . Similarly, the stabilizer of a face of the cube is isomorphic to D 4 ; and the stabilizer of a face of the tetrahedron is isomorphic to D 3 ....
View
Full
Document
This homework help was uploaded on 02/01/2008 for the course MATH 150A taught by Professor Kuperberg during the Spring '03 term at UC Davis.
 Spring '03
 Kuperberg
 Algebra

Click to edit the document details