On defining groups efficiently without using inverses
2002 ◽
Vol 133
(1)
◽
pp. 31-36
◽
Keyword(s):
Let G be a group, and let 〈A[mid ]R〉 be a finite group presentation for G with [mid ]R[mid ][ges ][mid ]A[mid ]. Then there exists a finite semigroup presentation 〈B[mid ]Q〉 for G such that [mid ]Q[mid ]- [mid ]B[mid ] = [mid ]R[mid ]- [mid ]A[mid ]. Moreover, B is either the same generating set or else it contains one additional generator.