4
$\begingroup$

Let $G=\langle a,b|a^2=b^3=1,(ab)^n=(ab^{-1}ab)^k \rangle$. Prove that $G$ can be generated with $ab$ and $ab^{-1}ab$. And from there, $\langle(ab)^n\rangle\subset Z(G)$.

Problem wants $H=\langle ab,ab^{-1}ab \rangle$ to be $G$. Clearly, $H\leqslant G$ and after doing some handy calculation which takes time I've got:

  1. $ab^{-1}=(ab^{-1}ab)(ab)^{-1}\in H$

  2. $b=b^{-2}=(ab)^{-1}ab^{-1}\in H$

  3. $a=(ab)b^{-1}\in H$

So $G\leqslant H$ and therefore $G=H=\langle ab,ab^{-1}ab\rangle$.

For the second part, I should prove that $N=\langle(ab)^n\rangle\leqslant Z(G)$.

Please help me.

Thanks.

  • 1
    It is clear that $(ab)^n$ commutes with $ab$; since you proved that $G=H$, $G$ is generated by $ab$ and by $ab^{-1}ab$, so to show that $(ab)^n$ is in $Z(G)$ you are left with showing that $(ab)^n$ also commutes with $ab^{-1}ab$. Can you do that?2012-09-06
  • 0
    @MarianoSuárez-Alvarez: Oh yes. I see what you wanted. (ab)^n(ab)=(ab)(ab)^n is clear to me now. Thanks Mariano. I am doing the second.2012-09-06
  • 1
    but...$(ab)^n = (ab^{-1}ab)^k$ which clearly commutes with $ab^{-1}ab$2012-09-06
  • 0
    @DavidWheeler: I was on a wrong road. Thanks. Now it is obvious. I neglected (ab)^n=(ab^-1ab)^k. Thanks.2012-09-06
  • 0
    @AmirHoseinSadeghiManesh: My dear brother, in that time I was working on some problems including presentation of groups. I think this problem had some defects in the body, so it was left unsolved here. Eltemase 2a daram. ;-)2013-01-09
  • 0
    @BabakSorouh, Thanks. "Presentation of groups". Finding Forms of Algebraic objects is always amusing and nice.2013-01-09

0 Answers 0