MathDB
syseq in group, 3 eqns/variables

Source: VJIMC 2011 1.4

June 1, 2021
group theory

Problem Statement

Let a,b,ca,b,c be elements of finite order in some group. Prove that if a1ba=b2a^{-1}ba=b^2, b2cb2=c2b^{-2}cb^2=c^2, and c3ac3=a2c^{-3}ac^3=a^2 then a=b=c=ea=b=c=e, where ee is the unit element.