Isomorphism of D5 and S5: Finding Elements and Permutations

[POtment]

Homework Statement

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.

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.

 

[eok20]

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.

 

[quantumdude]

Well, you could imagine flip flopping a pentagon around to get the elements of D_5, 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 D_{2n}, n\in \mathbb{N}. So your D_5 is his D_{10} (that is, the subscript is the actual order of the group).


Book:
http://math.albany.edu/~mark/algebra.pdf, by Mark Steinberger.

 

[POtment]

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?

 

[CompuChip]

You can just write out the elements of D5 explicitly (usually people give them names like r, r², ... and s, s² - 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 2\pi / 5 is sent to (12345) in S5;
The rotation r² around an angle 2 \times 2\pi / 5 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.