Finite basis problem for involution semigroups of order four
Group Theory
2026-04-15 v2
Abstract
Recently, we have found a non-finitely based involution semigroup of order five. It is natural to question what is the smallest order of non-finitely based involution semigroups. It is known that every involution semigroup of order up to three is finitely based. In this paper, it is shown that every involution semigroup of order four is finitely based. Therefore, the minimum order of non-finitely based involution semigroups is five.
Cite
@article{arxiv.2305.19494,
title = {Finite basis problem for involution semigroups of order four},
author = {Meng Gao and Wen Ting Zhang and Yan Feng Luo},
journal= {arXiv preprint arXiv:2305.19494},
year = {2026}
}