Let $p$ a prime. Prove that the group $G=\langle x,y: x^{p}=y^{p}=x^{-2}y^{-1}xy=1\rangle$ is cyclic of order $p$.
Presentation of cyclic group
1
$\begingroup$
group-theory
-
0Wouldn't it be useful to specify where $x,y$ live? – 2011-12-11
-
0@MarcvanLeeuwen: This is a group presentation. $x$ and $y$ don't "live" anywhere per se - if anything, they represent the free group on two generators. Look up group presentation for more details, or check out the first chapter of the book "Combinatorial Group Theory" by Magnus, Karrass and Solitar. – 2011-12-12
-
0@user1729: Thanks. Yes I know about presentations. Just the question does not mention them, and I did not recognise the notation used. Actually the title mentions presentation, but not in a way that made the coin drop for me. – 2011-12-12
-
2@stef: Welcome to MathSE. I wanted to let you know a few things about MathSE. We like to know the sources of questions. We also like to know what you've tried on a problem or what your thoughts are, so that the answer does not re-invent the wheel. Also, many users find questions posted in the imperative ("Show that", "Prove", "Do", "Find") unpleasant and somewhat rude; please consider rephrasing your three questions. These sort of pleasantries usually result in more and better answers. Thank you! – 2011-12-13
2 Answers
1
A slightly different approach (I think):
- Since $G' = \langle [x,y]\rangle$ and $[x,y]=x$, $|G'|$ is $p$ or $1$.
- Clearly, $G/G'\cong C_p$. (Substitute $[x,y]=1$ into the relations.)
- Therefore $|G| = p$ or $p^2$. In particular $G$ is abelian.
- Thus $G'=1$ and $G\cong C_p$.
-
0I like this answer very much. Just thought I'd say... – 2011-12-14
3
There is a morpihsm $G\to \mathbb Z_p$ sending $x$ to $0$ and $y$ to $1$, as you can check from the relations. On the other hand, since $y$ has order $p$ in $G$, there is a morphism $\mathbb Z_p\to G$ mapping $1$ to $y$.
Can you check they are mutually inverse ?
-
0But we know that $o(y)\ |\ p\ $ not that $o(y)=p$ – 2011-12-11
-
0Well, you have to check that too :) – 2011-12-11
-
3That's easy! It's a little harder to show that $o(x)=1$. I would recommend considering $y^{-p}xy^p$. – 2011-12-11