A class of finite groups with zero deficiency

Abstract

Let G be a finite group generated by n elements and defined by m relations, then G has a presentation, G = {x1, …, xn | R1, …, Rm} = F/R where F is free on generators x1, …, xn and R is the normal closure in F of R1, …, Rm. The deficiency of this presentation is n − m. Since G is finite the deficiency is non-positive and the deficiency of G is the maximal over the deficiencies of all presentations for G.