The Todd–Coxeter algorithm for semigroups and monoids

Tom Coleman; James David Mitchell; Maria Tsalakou; Finlay Laughlan Smith

doi:10.1007/s00233-024-10431-z

The Todd–Coxeter algorithm for semigroups and monoids

Tom Coleman, James David Mitchell^*, Maria Tsalakou, Finlay Laughlan Smith

^*Corresponding author for this work

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

4 Downloads (Pure)

Abstract

In this paper we provide an account of the Todd-Coxeter algorithm for computing congruences on semigroups and monoids. We also give a novel description of an analogue for semigroups of the so-called Felsch strategy from the Todd-Coxeter algorithm for groups.

Original language	English
Journal	Semigroup Forum
Early online date	3 May 2024
DOIs	https://doi.org/10.1007/s00233-024-10431-z
Publication status	E-pub ahead of print - 3 May 2024

Access to Document

10.1007/s00233-024-10431-zLicence: CC BY

Coleman_2024_SF_Todd-Coxeter_CC
Copyright © The Author(s) 2024. This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Final published version, 1.18 MBLicence: CC BY

https://arxiv.org/abs/2203.11148

libsemigroups/libsemigroups: All Versions
Mitchell, J. D. (Creator), Zenodo, 2020
DOI: 10.5281/zenodo.1437752
Dataset: Software

Cite this

@article{b8cb360e2e2d4193822f32e7257fd6c7,

title = "The Todd–Coxeter algorithm for semigroups and monoids",

abstract = "In this paper we provide an account of the Todd-Coxeter algorithm for computing congruences on semigroups and monoids. We also give a novel description of an analogue for semigroups of the so-called Felsch strategy from the Todd-Coxeter algorithm for groups.",

author = "Tom Coleman and Mitchell, {James David} and Maria Tsalakou and Smith, {Finlay Laughlan}",

note = "The third author was supported by the EPSRC doctoral training partnership number EP/N509759/1 when working on this project. The fourth author would like to thank the School of Mathematics and Statistics of the University of St Andrews and the Cyprus State Scholarship Foundation for their financial support.",

year = "2024",

month = may,

day = "3",

doi = "10.1007/s00233-024-10431-z",

language = "English",

journal = "Semigroup Forum",

issn = "0037-1912",

publisher = "Springer",

}

TY - JOUR

T1 - The Todd–Coxeter algorithm for semigroups and monoids

AU - Coleman, Tom

AU - Mitchell, James David

AU - Tsalakou, Maria

AU - Smith, Finlay Laughlan

N1 - The third author was supported by the EPSRC doctoral training partnership number EP/N509759/1 when working on this project. The fourth author would like to thank the School of Mathematics and Statistics of the University of St Andrews and the Cyprus State Scholarship Foundation for their financial support.

PY - 2024/5/3

Y1 - 2024/5/3

N2 - In this paper we provide an account of the Todd-Coxeter algorithm for computing congruences on semigroups and monoids. We also give a novel description of an analogue for semigroups of the so-called Felsch strategy from the Todd-Coxeter algorithm for groups.

AB - In this paper we provide an account of the Todd-Coxeter algorithm for computing congruences on semigroups and monoids. We also give a novel description of an analogue for semigroups of the so-called Felsch strategy from the Todd-Coxeter algorithm for groups.

U2 - 10.1007/s00233-024-10431-z

DO - 10.1007/s00233-024-10431-z

M3 - Article

SN - 0037-1912

JO - Semigroup Forum

JF - Semigroup Forum

ER -

The Todd–Coxeter algorithm for semigroups and monoids

Abstract

Access to Document

Fingerprint

Datasets

libsemigroups/libsemigroups: All Versions

Cite this