A Complete Rewrite System and Normal Forms for (S)reg

Jean Camille Birget, Stuart W. Margolis

Research output: Contribution to journalArticlepeer-review

2 Scopus citations

Abstract

The (·)reg construction was introduced in order to make an arbitrary semigroup S divide a regular semigroup (S)reg which shares some important properties with S (e.g., finiteness, subgroups, torsion bounds, J-order structure). We show that (S)reg can be described by a rather simple complete string rewrite system, as a consequence of which we obtain a new proof of the normal form theorem for (S)reg. The new proof of the normal form theorem is conceptually simpler than the previous proofs.

Original languageEnglish
Pages (from-to)348-373
Number of pages26
JournalSemigroup Forum
Volume65
Issue number3
DOIs
StatePublished - Nov 2002

Funding

FundersFunder number
Directorate for Mathematical and Physical Sciences9203981

    Fingerprint

    Dive into the research topics of 'A Complete Rewrite System and Normal Forms for (S)reg'. Together they form a unique fingerprint.

    Cite this