Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Subgroups of dihedral group and determining if normal

  1. Dec 7, 2011 #1
    To find all subgroups you use the fact that by Legrange theorem and subgroup will divide the order of the group, so for the dihedral group D4 our subgroups are of order 1,2, and 4. I am unsure how to tell whether or not these groups will be normal or not.
     
  2. jcsd
  3. Dec 7, 2011 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Whether a group will be normal or not does not (in general) depend on the order of the group. So only knowing the order will not suffice to determine normality or not. (except in some cases: subgroups of index 2 are always normal for example)

    You'll need to list the explicit subgroups.
     
  4. Dec 7, 2011 #3
    (with r being rotation and s being reflection) would the subgroup of order 1 be {r^4} and {s^2}, of order 2 be {r^2} and {s}, and the order 4 be {r}
     
  5. Dec 7, 2011 #4

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Yes, but there are more subgroups out there. You're missing some subgroups of order 2 and 4.

    Can you also deduce which one you list is normal??
     
  6. Dec 7, 2011 #5
    i am not quite sure, but my best guess would be r^2 because by any reflection of number if rotations you will be able to return to r^2, for the same reason r, and r^4. Is this correct? also, why is it that index 2 groups are normal?
     
  7. Dec 7, 2011 #6

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    That is correct. But that aren't all the normal subgroups yet.
     
  8. Dec 7, 2011 #7
    s^2 because it's the identity. I'm hesitant to say s because if you perform one reflection on s, so rs = s' then the reflections of s' will not be able to return to s by reflection.
     
  9. Dec 7, 2011 #8

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Can you list all the elements in your group??
     
  10. Dec 7, 2011 #9
    there must be 8 because we have four sides and four rations, by each rotation acts on 2 sides. { r, r^2, r^3, r^4, s, s^2, rs, r^2s}
     
  11. Dec 7, 2011 #10

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    s2 and r4 are equal. So you're missing one.
     
  12. Dec 7, 2011 #11
    ah, right. Is the last r^3s?
     
  13. Dec 7, 2011 #12

    lavinia

    User Avatar
    Science Advisor
    Gold Member

    this is a very simple group. I would just take a representation of it and play.

    Think of the group as having two generators, a 90 degree rotation of the plane and a reflection around the y axis.
     
  14. Dec 7, 2011 #13
    right, this is why I have been using the r, s notation. But I am still unsure how to tell if a subgroup is normal.
     
  15. Dec 7, 2011 #14

    lavinia

    User Avatar
    Science Advisor
    Gold Member

    A subgroup is normal if all of its conjugates are in the group. If the group is cyclic yhen you only need to check this on a generator.

    So for instance if you conjugate the 90 rotation by the reflection around the y axis you get its cube, a 270 degree rotation. So this subgroup is normal.
     
  16. Dec 7, 2011 #15
    Excellent. Thank you very much :)
     
  17. Dec 7, 2011 #16
    No it isn't, he just found a normal subgroup! :tongue:

    I hope puns aren't ban-worthy...
     
  18. Dec 8, 2011 #17

    lavinia

    User Avatar
    Science Advisor
    Gold Member

    They are normal
     
  19. Dec 8, 2011 #18
  20. Dec 8, 2011 #19

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    That's so characteristic of you...
     
  21. Dec 12, 2011 #20
    oh my, that got me micromass haha :)
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Subgroups of dihedral group and determining if normal
Loading...