Upper set monoids and length preserving morphisms - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Pure and Applied Algebra Année : 2012

Upper set monoids and length preserving morphisms

Résumé

Length preserving morphisms and inverse of substitutions are two well-studied operations on regular languages. Their connection with varieties generated by power monoids was established independently by Reutenauer and Straubing in 1979. More recently, an ordered version of this theory was proposed by Polák and by the authors. In this paper, we present an improved version of these results and obtain the following consequences. Given a variety of finite ordered monoids V, let P ↑ V be the variety of finite ordered monoids generated by the upper set monoids of members of V. Then P ↑ (P ↑ V) = P ↑ V. This contrasts with the known results for the unordered case: the operator PV corresponding to power monoids satisfies P^3 V = P^4 V, but the varieties V, PV, P^2 V and P^3 V can be distinct. All semigroups considered in this paper are either finite, free or profinite. In particular, we use the term variety of monoids for variety of finite monoids.
Les morphismes alphabétiques et les inverses de substitution sont deux opérations bien connues sur les langages rationnels. Leur lien avec les variétés engendrées par les monoïdes de parties a été établi indépendamment par Reutenauer et par Straubing en 1979. Plus récemment, une version ordonnée de cette théorie a été proposée par Polák et par les auteurs. Dans cet article, nous présentons une version améliorée de ces résultats dont nous obtenons les conséquences suivantes. Étant donné une variété de monoïdes ordonnés finis V, soit P↑V la variété de monoïdes ordonnés finis engendrée par les monoïdes des parties closes par le haut des membres de V. Alors P↑(P↑V) = P↑V. Ce résultat fait contraste avec les résultats connus dans le cas non ordonné: l'opérateur PV correspondant au monoïde des parties satisfait P^3 V = P^4 V, mais les variétés V, PV, P^2 V et P^3 V peuvent être distinctes.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
Pplus.pdf (160.48 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01247072 , version 1 (21-12-2015)

Identifiants

Citer

Antonio Cano, Jean-Eric Pin. Upper set monoids and length preserving morphisms. Journal of Pure and Applied Algebra, 2012, Journal of Pure and Applied Algebra, 216, pp.1178-1183. ⟨10.1016/j.jpaa.2011.10.022⟩. ⟨hal-01247072⟩

Collections

UNIV-PARIS7 CNRS
39 Consultations
64 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More