1. ## Group presentation question

I have the group presentations

$\displaystyle$\left\langle x,y|x^2=1,y^2=1,(xy)^n=1\right\rangle$$and \displaystyle \left\langle x,y|x^2=1,y^2=1\right\rangle$$

and am told to say what well-known groups they define. I know the second is the infinite dihedral group and so am guessing the first is $\displaystyle$D_n$$, but don't know how to show why they are these groups. Thanks P.S. in an unrelated question, given a non-abelian group of order 60, how could you show that it has no odd permutations (without using the fact that it is \displaystyle A_5$$)?

2. ## Re: Group presentation question

Originally Posted by alsn
I have the group presentations

$\displaystyle$\left\langle x,y|x^2=1,y^2=1,(xy)^n=1\right\rangle$$and \displaystyle \left\langle x,y|x^2=1,y^2=1\right\rangle$$

and am told to say what well-known groups they define. I know the second is the infinite dihedral group and so am guessing the first is $\displaystyle$D_n$$, but don't know how to show why they are these groups. Thanks P.S. in an unrelated question, given a non-abelian group of order 60, how could you show that it has no odd permutations (without using the fact that it is \displaystyle A_5$$)?
Are you familiar with Tietze transformations? If so, try and get this presentation to look like the presentation of the Dihedral group which you should know,

$\displaystyle \langle a, b; a^2, aba^{-1}=b^{-1}, b^n\rangle$.

Otherwise, re-write the presentation you know so well so it "looks like" the presentation you are given. What should your isomorphism be? Then, prove it is an isomorphism!