A FURTHER CLASS OF 3-GENERATOR, 3-RELATION FINITE GROUPS (Q2749066)

Let \(G\) be a finitely presented group with presentation \(G=\langle x_1,x_2,\dots,x_n\mid r_1,r_2,\dots,r_m\rangle\). The deficiency of the presentation is defined to be \(n-m\). Presentations with \(n=m\) are called balanced or deficiency zero presentations. A group has deficiency zero if it has a balanced presentation on a minimal generating set. The class of groups \(G(n)\) defined by \(G(n)=\langle x,y,z\mid[x,y^{-1}]=z^2,\;[y,z]=x^n,\;[xy,xz]=y^{-2}\rangle\) where \(n\) is a given integer, is investigated here. It is proved that if \(m=|n|\) and \(n\) is even and \(n\neq 0,-2\), then \(G(n)\) is a finite metablian group of deficiency zero. The main tool of the investigation of the groups \(G(n)\) is the Todd-Coxeter coset enumeration algorithm.