Equidivisible Kleene monoids and the Elgot-Mezei theorem (Q1825971)

Let M be a monoid, \(A^*\) and \(M^*\) stand for the varying free monoids. A monoid M satisfies the Elgot-Mezei theorem if for any rational relations f: \(A^*\to M\) and g: \(M\to C^*\) the composition gf is rational too. The main result in the paper is that equidivisible Kleene monoids satisfy this theorem. The proof and some additional comments are supplied.