1
$\begingroup$

I am having problems understanding what this question is asking. any help would be appreciated. Thanks.

The dihedral group D8 is an 8 -element subgroup of the 24 -element symmetric group S4 . Write down all left and right cosets of D8 in S4 and draw conclusions regarding normality of D8 in S4 . According to your result determine NS4 (D8) .

  • 0
    Hint: Write down the elements of $S_4$ using your favorite notation for permutations, in this case on $\{1,2,3,4\}$. Find a subgroup which represents $D_8$. Now it makes sense to talk about writing down cosets of $D_8$ inside $S_4$.2011-11-23
  • 0
    It's hard to give useful advice when you don't tell us where you are stuck. Do you not know what $S_4$ is? Do you know what $S_4$ is, but not what $D_8$ is? Do you know both of these, but you don't see how $D_8$ could be a subgroup of $S_4$? Do you understand that much, but you don't know what left and right cosets are? Do you know about cosets, but you don't know what it means for one group to be normal in another?2011-11-23
  • 0
    Yes, I understand that if the left cosets equal the right cosets then the group is normal and i understand that to get the left and right cosets you have to multiply the elements in D8 by the elements in S4 i don't understand however, how you get these element for either D8 or S4. Thank you for your help.2011-11-23
  • 0
    The elements of $S_4$ are just all permutations of $\{1,2,3,4\}$; the identity, the six two-cycles, the eight 3-cycles, the six 4-cycles, and the three products of two 2-cycles. To view $D_8$ as a subgroup, take your definition of $D_8$ (it was either *given* as permutations already, or as rigid motions of the square; in the latter case, number the vertices, and see how each element of $D_8$ permutes them).2011-11-23
  • 0
    Thank you, so does this mean that effectively to get the right cosets you have to multiply D8 by 22 elements i.e. the elements of S4 and that the elements of D8 are {id, (2341), (3412), (4123), (2143), (4321), (1432), (3214)}2011-11-23
  • 0
    @Sarah: If you want to address a specific comment, you should use the `@username` syntax; that will notify the user that you have replied. I don't know what your notation is: if your notation is abbreviated-two-line-notation (so that (4123) means the permutation that sends 1 to 4, 2 to 1, 3 to 2, and 4 to 3), then yes, that's D8; if it is cycle notation, then no.2011-11-24

1 Answers 1