Show that the group with presentation $$\langle a,b| aba^{-1}=b^n, b=(ba)^2\rangle$$ is a cyclic group generated by $a$ and determine its order.
Unusual presentation of a cyclic group.
2
$\begingroup$
group-theory
group-presentation