Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Possible Duplicate:
Why do these two presentations present the same group?

I wanted to work my way through the lecture notes of a lecture called "Reflection Groups" and already have problems solving one of the first (probably very simple) exercises given.

Show: $\langle a, b \; | \; aba = bab \rangle \cong \langle x,y \; | \; x^3=y^2 \rangle$.

I already solved a few other, similar exercises, however I just have no idea how to do this one, and before I continue my reading, I wanted to find an answer for that exercise. Wikipedia told me that the latter presentation was a group presentation of $\mathrm{PSL}_2(\mathbb{Z})$, but that does not really help me.

I hope that somebody can help me out and thank you very much in advance for an answer.

share|improve this question

marked as duplicate by Arturo Magidin, Jyrki Lahtonen, t.b., Asaf Karagila, Zhen Lin Mar 31 '12 at 0:02

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

Are these notes online? If so could you post the link? I would be interested in taking a look –  Edison Mar 6 '12 at 13:48
@Edison: The notes are online, but in German. (math.ethz.ch/~suter/refl.pdf) –  Huy Mar 6 '12 at 13:52

1 Answer 1

up vote 6 down vote accepted

Hint: $x\mapsto ab$, $y\mapsto aba$

share|improve this answer
How does one come up with such a map? –  Huy Mar 6 '12 at 13:44
Noting that $(aba)(bab)=(ab)(ab)(ab)$. –  Alex Becker Mar 6 '12 at 13:45
@Huy: What Alex says. Experience with reflection groups also helps :-) –  Jyrki Lahtonen Mar 6 '12 at 13:48

Not the answer you're looking for? Browse other questions tagged or ask your own question.