Epimorphisms, permutation identities and finite semigroups.
The notion of pseudovarieties of homomorphisms onto finite monoids was recently introduced by Straubing as an algebraic characterization for certain classes of regular languages. In this paper we provide a mechanism of equational description of these pseudovarieties based on an appropriate generalization of the notion of implicit operations. We show that the resulting metric monoids of implicit operations coincide with the standard ones, the only difference being the actual interpretation of pseudoidentities....
The notion of pseudovarieties of homomorphisms onto finite monoids was recently introduced by Straubing as an algebraic characterization for certain classes of regular languages. In this paper we provide a mechanism of equational description of these pseudovarieties based on an appropriate generalization of the notion of implicit operations. We show that the resulting metric monoids of implicit operations coincide with the standard ones, the only difference being the actual interpretation of pseudoidentities. As...
Après une introduction de caractère historique, l'auteur expose succinctement les principaux résultats qu'il a obtenus (thèse, Paris 1969) dans le domaine jusqu'alors pratiquement inexploré des équations dans les monoïdes libres.
The original version of the article was published in Central European Journal of Mathematics, 2007, 5(1), 181–200, DOI: 10.2478/s11533-006-0036-3. Unfortunately, the original version of this article contains a mistake: in Theorem 5.2 only conditions (i) and (ii) (and not (iii)) are equivalent. We correct the theorem and its proof.