Efficient group

Definition
A finitely presented group is said to be efficient if its deficiency equals the negative of the rank of its defining ingredient::Schur multiplier. In other words, it possesses a finite presentation where the number of relations equals the number of generators plus the rank of the Schur multiplier. Such a presentation is termed an defining ingredient::efficient presentation. The term is typically used for finite groups.