Finite basis problem for involution semigroups of order four

Meng Gao, Wen Ting Zhang, Yan Feng Luo

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. I…