1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Isomorphic to subgroup

  1. Apr 29, 2008 #1
    1. The problem statement, all variables and given/known data
    By considering the vertices of the pentagon, show that D5 is isomorphic to a subgroup of S5.

    Write all permutations corresponding to the elements of D5 under this isomorphism.

    3. The attempt at a solution
    To show isomorphic, need to find a function f: D5->S5, where f(a,b) = f(a)f(b), f is one to one and onto.

    I'm having a hard time determining the elements of of D5. D4 was trivial, but this one doesn't make sense to me.
  2. jcsd
  3. Apr 29, 2008 #2
    If you understand D4 then it shouldn't be too hard to understand D5. Any element in D5 can be determined in the following way: first pick a vertex and then a new vertex to which you want to move it. You then have two options of orienting it by flipping it over. This means there is a total of 10 elements in D5 (this argument works in general to show that Dn has order 2n).

    Since you can think of a symmetry of a pentagon as a permutation of its 5 vertices, it follows that D8 is isomorphic to a subgroup of S5 (of course not all permutations are allowed since adjacent vertices must remain adjacent. Indeed, S5 has order 5! = 120). Note that for this reason your function f cannot be one-to-one.
  4. Apr 29, 2008 #3

    Tom Mattson

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Well, you could imagine flip flopping a pentagon around to get the elements of [itex]D_5[/itex], or you could look at Section 2.8 of the following book to see the dihedral groups of arbitrary even order written out. Note that in this book the author uses the naming convention [itex]D_{2n}[/itex], [itex]n\in \mathbb{N}[/itex]. So your [itex]D_5[/itex] is his [itex]D_{10}[/itex] (that is, the subscript is the actual order of the group).

    Algebra, by Mark Steinberger.
  5. Apr 30, 2008 #4
    So the permutations of D5= (1); (12345); (15432); (12)(53)(4); (54)(13)(2); (43)(25)(1); (53);(12);(15)(24)(3); (23)(14)(5) Is this correct?

    How can I show this is isomorphic to D5?
  6. Apr 30, 2008 #5


    User Avatar
    Science Advisor
    Homework Helper

    You can just write out the elements of D5 explicitly (usually people give them names like r, r2, ... and s, s2 - see your favorite book), consider each one and write it out as a permutation. That will explicitly give you an isomorphism.
    For example, the identity 1 of D5 is sent to the identity (1) of S5;
    The rotation r around an angle [itex]2\pi / 5[/itex] is sent to (12345) in S5;
    The rotation r2 around an angle [itex]2 \times 2\pi / 5[/itex] is sent to (13524) = (12345)(12345) in S5, etc.

    Then you will see that you get a bijective function and you can explicitly check that it preserves the group operation, although that is quite obvious from the construction.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: Isomorphic to subgroup