Equidivisible Kleene monoids and the Elgot-Mezei theorem (Q1825971)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Equidivisible Kleene monoids and the Elgot-Mezei theorem |
scientific article; zbMATH DE number 4122242
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Equidivisible Kleene monoids and the Elgot-Mezei theorem |
scientific article; zbMATH DE number 4122242 |
Statements
Equidivisible Kleene monoids and the Elgot-Mezei theorem (English)
0 references
1990
0 references
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.
0 references
free monoids
0 references
Elgot-Mezei theorem
0 references
rational relations
0 references
equidivisible Kleene monoids
0 references
