On defining groups efficiently without using inverses

Colin Matthew Campbell; James David Mitchell; Nikola Ruskuc

doi:10.1017/S0305004102005959

On defining groups efficiently without using inverses

Colin Matthew Campbell, James David Mitchell, Nikola Ruskuc

Research output: Contribution to journal › Article › peer-review

Abstract

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 language	English
Pages (from-to)	31-36
Number of pages	6
Journal	Mathematical Proceedings of the Cambridge Philosophical Society
Volume	133
Issue number	1
DOIs	https://doi.org/10.1017/S0305004102005959
Publication status	Published - Jul 2002

Keywords

Semigroups
Presentations

Access to Document

10.1017/S0305004102005959

Open Access version in Research@StAndrews:FullText
2002 Cambridge Philosophical Society
Final published version, 251 KB

Cite this

@article{d1989de7ce5c464baab7e5734d95ddda,

title = "On defining groups efficiently without using inverses",

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

keywords = "Semigroups, Presentations",

author = "Campbell, \{Colin Matthew\} and Mitchell, \{James David\} and Nikola Ruskuc",

year = "2002",

month = jul,

doi = "10.1017/S0305004102005959",

language = "English",

volume = "133",

pages = "31--36",

journal = "Mathematical Proceedings of the Cambridge Philosophical Society",

issn = "0305-0041",

publisher = "Cambridge University Press",

number = "1",

}

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 - https://www.scopus.com/pages/publications/23044533520

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 -

On defining groups efficiently without using inverses

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this