Pointlike sets with respect to ER
Group Theory
2022-04-21 v1 Rings and Algebras
Abstract
We show that pointlike sets are decidable for the pseudovariety of finite semigroups whose idempotent-generated subsemigroup is R-trivial. Notably, our proof is constructive: we provide an explicit relational morphism which computes the ER-pointlike subsets of a given finite semigroup.
Cite
@article{arxiv.2204.09247,
title = {Pointlike sets with respect to ER},
author = {Karsten Henckell and Samuel Herman},
journal= {arXiv preprint arXiv:2204.09247},
year = {2022}
}
Comments
15 pages