Infiniteness of the fundamental groups of a series of \(3\)-manifolds (Q5936682)

The author treats the groups \(G(2n+1)\) with balanced presentation \[ G(2n+1)=\langle a,b\mid b(ab)^n=(ab)^na,\;a(b^2a^2)^{n-1}b^2a=(ba)^{n-1}b,\;n\geq 2\rangle. \] The main result of the paper is as follows: for \(n\geq 2\) all the groups \(G(2n+1)\) are infinite.