On defining groups efficiently without using inverses

Research output: Contribution to journalArticlepeer-review

12 Citations (Scopus)
3 Downloads (Pure)


Let G be a group, and let <A \ R> be a finite group presentation for G with \R\ greater than or equal to \A\. Then there exists a, finite semigroup, presentation <B \ Q> for G such that \Q\ - \B\ = \R\ - \A\. Moreover, B is either the same generating set or else it contains one additional generator.

Original languageEnglish
Pages (from-to)31-36
Number of pages6
JournalMathematical Proceedings of the Cambridge Philosophical Society
Issue number1
Publication statusPublished - Jul 2002


  • Semigroups
  • Presentations


Dive into the research topics of 'On defining groups efficiently without using inverses'. Together they form a unique fingerprint.

Cite this