On the Pin-Thérien expansion of idempotent monoids (Q1337479)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Pin-Thérien expansion of idempotent monoids |
scientific article |
Statements
On the Pin-Thérien expansion of idempotent monoids (English)
0 references
28 September 1995
0 references
\textit{J.-E. Pin} and \textit{D. Thérien} [Int. J. Algebra Comput. 3, 535- 555 (1993; Zbl 0816.20065)] inroduced, for each monoid \(M\), a suitable expansion \(\widehat M \to M\) which is related with a certain restricted type of the concatenation product, namely the bideterministic concatenation. For a (pseudo)variety \(\mathbf V\) of finite monoids, denote by \(\overline{\mathbf V}\) the smallest variety containing \(\mathbf V\) which is closed under the operator \(M \mapsto \widehat M\). Let \({\mathbf R} {\mathbf V}\) denote the class of all finite monoids whose regular elements form a submonoid which lies in \(\mathbf V\) and \(\mathbf U\) the class of all finite monoids satisfying the (pseudo)equations \(x(xy)^ \omega = (xy)^ \omega = (xy)^ \omega y\). Based on results of Pin and Thérien, the author shows that \(\overline{\mathbf V} = {\mathbf R}{\mathbf V} \cap {\mathbf U}\) for any variety \(\mathbf V\) of idempotent monoids and deduces equational descriptions of \(\overline{\mathbf V}\).
0 references
pseudovariety of finite monoids
0 references
expansion
0 references
concatenation product
0 references
bideterministic concatenation
0 references
regular elements
0 references
idempotent monoids
0 references