The structure of finite monoids satisfying the relation \(\mathcal R=\mathcal H\). (Q2514861)

It is shown that any finite monoid \(S\) on which \(\mathcal R=\mathcal H\) divides the monoid of all upper triangular, row-monomial matrices over a finite group, which itself is a monoid with this property. The starting point is the observation that, modulo the congruence generated by \(\mathcal R\), \(S\) is \(\mathcal R\)-trivial, relating it to earlier work on the latter class, e.g. \textit{J. E. Pin} [Varieties of formal languages. Transl. from the French by A. Howie. New York: Plenum Publishing Corporation (1986; Zbl 0632.68069)]. The proof is constructive. The class of finite monoids that satisfy \(\mathcal R=\mathcal H\) is not itself a pseudovariety, but the author uses the main theorem to show that the pseudovariety that it generates is the semidirect product of the pseudovariety of finite groups with that of all finite \(\mathcal R\)-trivial monoids.