Bourbaki

Exercise 10, § 7

Algebra, I, p. 144

Now prove that the group defined by the presentation

⟨x,y;xy2=y3x,yx2=x3y⟩ \langle x, y ; xy^2 = y^3x, yx^2 = x^3y \rangle
is reduced to the identity element. (The first relation entails x2y8x−2=y18x^2y^8x^{-2} = y^{18} and x3y8x−3=y27x^3y^8x^{-3} = y^{27}; use the second relation to deduce that y18=y27y^{18} = y^{27}, whence y9=ey^9 = e; the fact that y2y^2 is conjugate of y3y^3 then entails y=ey = e, whence x=ex = e.)

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.