TY - JOUR

T1 - On defining groups efficiently without using inverses

AU - Campbell, Colin Matthew

AU - Mitchell, James David

AU - Ruskuc, Nikola

PY - 2002/7

Y1 - 2002/7

N2 - 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.

AB - 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.

KW - Semigroups

KW - Presentations

UR - http://www.scopus.com/inward/record.url?scp=23044533520&partnerID=8YFLogxK

U2 - 10.1017/S0305004102005959

DO - 10.1017/S0305004102005959

M3 - Article

SN - 0305-0041

VL - 133

SP - 31

EP - 36

JO - Mathematical Proceedings of the Cambridge Philosophical Society

JF - Mathematical Proceedings of the Cambridge Philosophical Society

IS - 1

ER -