A countable series of bisimple \(\mathcal H\)-trivial finitely presented congruence-free monoids. (Q2447242)

Here is presented a semigroup analogue of Higman's countable series of finitely presented simple groups. It is proved, that for any \(n\geqslant 1\), the monoid \(M_n\) presented by the confluent Noetherian system \(a^{n+1}ba^kb\to 1\), \(a^{n+1}b^2\to b\), \(k=n,n-1,\ldots,1\) is bi-simple, \(\mathcal H\)-trivial and congruence-free.