Hostname: page-component-8448b6f56d-c47g7 Total loading time: 0 Render date: 2024-04-23T07:25:44.964Z Has data issue: false hasContentIssue false
  • English
  • Français

On defining groups efficiently without using inverses

Published online by Cambridge University Press:  02 August 2002

C. M. CAMPBELL ,
J. D. MITCHELL  and
N. RUšKUC
C. M. CAMPBELL
Affiliation:
Mathematical Institute, University of St Andrews, St Andrews KY16 9SS. e-mail: cmc@st-and.ac.uk
J. D. MITCHELL
Affiliation:
Mathematical Institute, University of St Andrews, St Andrews KY16 9SS. e-mail: jamesm@mcs.st-and.ac.uk
N. RUšKUC
Affiliation:
Mathematical Institute, University of St Andrews, St Andrews KY16 9SS. e-mail: nik@mcs.st-and.ac.uk
Get access Rights & Permissions [Opens in a new window]

Abstract

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.

Type
Research Article
Information
Mathematical Proceedings of the Cambridge Philosophical Society , Volume 133 , Issue 1 , July 2002 , pp. 31 - 36
Copyright
2002 Cambridge Philosophical Society

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)