1
$\begingroup$

Suppose $G = \langle x,y\mid x^3 = y^5\rangle$. How can I compute the abelianization of such a group?

Thanks!

  • 0
    Consider adding a new element $z=x^3=y^5$. By commuting terms around you should be able to present every element of the abelianization in the form $x^py^q$, and then in the form $x^iy^jz^k$ with $0\leq i\lt 3$ and $0\leq j\lt 5$.2012-11-27

1 Answers 1

0

When you add the relation $xy = yx$ then all elements can be written in the form $x^ay^b$ with $a, b \in \mathbb{Z}$. Moreover $x^ay^b = e$ precisely when $(a, b)$ is a multiple of $(3, -5)$. This means that your group is isomorphic to $\mathbb{Z}^2 / \mathbb{Z}(3, -5) \cong \mathbb{Z}$. (The "precisely" might need some explaining.)

  • 0
    @Ferenc: This is because $\gcd(3,5) = 1$. In this case you have for example $\mathbb{Z}^2 = \mathbb{Z}(3,-5) \oplus \mathbb{Z}(1, -2)$.2012-11-27