Presently, no example of non-finitely based finite semigroup $S$ is known for which the monoid $S^1$ is finitely based. Based on a general result of M. V. Volkov, two methods are established from which examples of such semigroups can be constructed.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.