A simple non-bisimple congruence-free finitely presented monoid

Abstract

We exhibit an example of a finitely presented monoid that is congruence-free and simple but not bisimple.

5 pages

References in corpus (3)

• The R- and L-orders of the Thompson-Higman monoid M_{k,1} and their complexity
• The Thompson-Higman monoids M_{k,i}: the J-order, the D-relation, and their complexity
• A countable family of finitely presented infinite congruence-free monoids