 |
|
|
|
| HAL : hal-00143953, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| Journal of Algebra 182, 3 (1996) 604-626 |
|
|
|
|
| Profinite semigroups, Mal'cev products and identities |
|
|
| Jean-Eric Pin 1Pascal Weil 2 |
|
|
| (1996) |
|
|
|
| We compute a set of identities defining the Mal'cev product of pseudovarieties of finite semigroups or finite ordered semigroups. We also characterize the pointlike subsets of a finite semigroup by means of a relational morphism into a profinite semigroup. Finally, we apply our results to the proof of the decidability of the Mal'cev products of a decidable pseudovariety with the pseudovarieties of nilpotent and of J-trivial semigroups. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA) |
|
|
|
CNRS : UMR7089 – Université Paris VII - Paris Diderot |
|
|
| 2 : | Laboratoire Bordelais de Recherche en Informatique (LaBRI) |
|
|
|
CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) – Université Victor Segalen - Bordeaux II |
|
|
|
|
|
|
|
|
|
| Domaine | : | Mathématiques/Théorie des groupes Informatique/Mathématique discrète |
|
|
| Profinite semigroups – Mal'cev products – identities |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00143953, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00143953 | |
| oai:hal.archives-ouvertes.fr:hal-00143953 | |
| Contributeur : Jean-Eric Pin | |
| Soumis le : Samedi 28 Avril 2007, 19:07:16 | |
| Dernière modification le : Samedi 28 Avril 2007, 21:46:59 | |
