A Class of Three-Generator, Three-Relation, Finite Groups

Abstract

Mennicke (2) has given a class of three-generator, three-relation finite groups. In this paper we present a further class of three-generator, threerelation groups which we show are finite.The groups presented are defined as:with α|γ| ≠ 1, β|γ| ≠ 1, γ ≠ 0.We prove the following result.THEOREM 1. Each of the groups presented is a finite soluble group.We state the following theorem proved by Macdonald (1).THEOREM 2. G1(α, β, 1) is a finite nilpotent group.1. In this section we make some elementary remarks.