Computing congruences of finite inverse semigroups
<|reference_start|>Computing congruences of finite inverse semigroups: In this paper we present an algorithm for computing a congruence on an inverse semigroup from a collection of generating pairs. This algorithm uses a myriad of techniques from computational group theory, automata, and the theory of inverse semigroups. An initial implementation of this algorithm outperforms existing implementations by several orders of magnitude.<|reference_end|>
@article{elliott2024computing,
    title={Computing congruences of finite inverse semigroups},
    author={Luna Elliott, Alex Levine, and James D. Mitchell},
    journal={arXiv preprint arXiv:2406.09281},
    year={2024},
    archivePrefix={arXiv},
    eprint={2406.09281},
    primaryClass={math.GR cs.DS}
}