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 be a finite group presentation for G with \R\ greater than or equal to \A\. Then there exists a, finite semigroup, presentation 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 be a finite group presentation for G with \R\ greater than or equal to \A\. Then there exists a, finite semigroup, presentation 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 -