Catalan monoids inherently nonfinitely based relative to finite \(\mathscr{R}\)-trivial semigroups (Q6170751)

In this paper, the authors establish an approach to the finite basis problem for finite semigroups and apply it to some special type of monoids in connection with representation theory and formal languages. They also prove that the 42-element monoid of all partial-order preserving and extensive injection on the 4-element chain is not contained in any variety generated by a finitely based finite \(\mathscr{R}\)-trivial semigroup. The authors also focus on some limitations of the described approach to the finite basis problem and aim to overcome the limitations that one of the classes resulting of certain interesting classes of finite semigroups lack inherently non finitely based members. The paper might be more finer with the insertion of examples and counterexamples. It also contains a resourceful reference list at the end.