Presentations of groupoids, with applications to groups

Abstract

1. Introduction. In (7), a theory was developed which dealt with certain classes of partial algebras in which the domains of the operators were determined by an ‘operator scheme’. This device allows the use of methods normally available only for full abstract algebras. In particular, one can present suitable partial algebras by means of generators and relations.