Computing congruences of finite inverse semigroups
Group Theory
2025-12-08 v3 Data Structures and Algorithms
Abstract
In this paper we present a novel algorithm for computing a congruence on an inverse semigroup from a collection of generating pairs. This algorithm uses a myriad of techniques from the theories of groups, automata, and inverse semigroups. An initial implementation of this algorithm outperforms existing implementations by several orders of magnitude.
Cite
@article{arxiv.2406.09281,
title = {Computing congruences of finite inverse semigroups},
author = {Luna Elliott and Alex Levine and James D. Mitchell},
journal= {arXiv preprint arXiv:2406.09281},
year = {2025}
}
Comments
22 pages, 6 figures (updated with referee comments to fix some minor issues, and improve the exposition in places)