Explicit description for $G=\langle a,b,c\mid[a,b]=b\,,\,[b,c]=c\,,\,[c,a]=a\rangle$

Question

I am trying to give an explicit description of the group $$G=\langle a,b,c\mid[a,b]=b\,,\,[b,c]=c\,,\,[c,a]=a\rangle\,.$$ Generalizing to fewer generators, one ends up with the trivial group, i.e. $$G_0=\langle\,\rangle\cong G_1=\langle a\mid [a,a]=a\rangle\cong G_2=\langle a,b\mid[a,b]=b\,,\,[b,a]=a\rangle\cong 1\,.$$ But I don't see a reason, why this should hold for $G=G_3$ or $G_n$, $n\in\mathbb{N}$.

Edit: I am sorry, I thought the symbols were standard. $[a,b]$ is defined as $aba^{-1}b^{-1}$. This makes it a little less trivial.

Answer 1

If your definition of the commutator $[g,h]=g^{-1}h^{-1}gh$ then this presentation is the trivial group.

EDIT / REMARK If the commutator is defined as $[g,h]=ghg^{-1}h^{-1}$ (and this is what is meant following all comments), then surprisingly, the group $G$ is still trivial. This is Exercise 1 in Jean-Pierre Serre's famous book Trees, pag. 10, in the chapter that deals with Amalgams.

Answer 2

Since $a^{-1} b^{-1} ab = b$, by left multiplying both sides by $a$, we get $b^{-1} ab = ab$, whence $b^{-1}=1$. Thus, $b=1$. Similarly, we get that $a$ and $c$ also equal the identity.