Demi-groupe de transformations
En algèbre, un demi-groupe de transformations est un ensemble de fonctions d'un ensemble X dans lui-même qui est fermé pour l'opération de composition. S'il contient l'application identité, c'est un monoïde de transformations. C'est l'analogue, pour les demi-groupes, d'un groupe de permutations.
Un analogue du théorème de Cayley vaut pour les demi-groupes : tout demi-groupe est isomorphe à un demi-groupe de transformations sur un ensemble.
Demi-groupes et monoïdes de transformations
Un demi-groupe de transformations est un couple , où est un ensemble, et est un demi-groupe de transformations sur . Par transformation, on entend ici une application de dans lui-même, non nécessairement inversible, mais partout définie. L'ensemble est un demi-groupe, c'est-à-dire fermé pour la composition de fonctions. Si contient l'application identité sur , alors c'est un monoïde de transformations. On peut étendre un demi-groupe de transformations en un monoïde en lui ajoutant l'application identité sur . Un monoïde de transformations dont les éléments sont inversibles, et fermé pour l'opération inverse, est un groupe de permutations.
L'ensemble de toutes les transformations de est appelé le monoïde de transformations plein (« full transformation monoid » en anglais). Il est noté ou . Dans le cas où est l'ensemble des entiers de 1 à , on écrit . Le monoïde de toutes les transformations de est un demi-groupe régulier.
Un demi-groupe de transformations est un cas particulier d'un demi-groupe opérant sur un ensemble; il a la propriété d'opérer fidèlement : par définition, ceci signifie que si deux éléments du demi-groupe réalisent la même action, alors ils sont égaux.
Représentation de Cayley
En théorie des groupes, le théorème de Cayley affirme que tout groupe est isomorphe à un sous-groupe du groupe symétrique sur , considéré comme un ensemble, de sorte que est un groupe de permutations. Ce théorème s'étend directement aux monoïdes : tout monoïde est un monoïde de transformations sur vu comme un ensemble; l'action est simplement la multiplication à droite (ou à gauche), c'est-à-dire la transformation associée à est l'application , pour . Cette action est fidèle parce si pour tout , c'est en particulier le cas quand est l'élément neutre, ce qui implique que . Dans le cas d'un demi-groupe sans élément neutre, on prend comme ensemble sous-jacent l'ensemble obtenu en adjoignant un élément neutre à . Alors est réalisé comme demi-groupe de transformations sur .
Autres demi-groupes de fonction et relations
- Un demi-groupe de transformations partielles sur un ensemble est un demi-groupe d'applications partielles de dans lui-même; ceci signifie que les applications ne sont pas partout définies.
- Un demi-groupe de bijections partielles sur un ensemble est un demi-groupe d'applications partielles de dans lui-même qui sont toutes des bijections de leur ensemble de définition sur leur image. Le monoïde de toutes les bijections partielles sur un ensemble est un exemple type de demi-groupe inversif, c'est-à-dire d'un demi-groupe tel que, pour tout élément , il existe un et un seul élément tel que .
- Un demi-groupe de relations sur un ensemble est un demi-groupe de relations binaires sur , avec comme produit la composition des relations. Ce ne sont pas de applications partielles, car elles ne sont pas univalentes. Lorsque est l'ensemble , un tel demi-groupe s'identifie à un demi-groupe de matrices booléennes.
Références
- (en) Alfred H. Clifford et Gordon B. Preston, The algebraic theory of semigroups, vol. I, Providence, R.I., American Mathematical Society, coll. « Mathematical Surveys » (no 7-Part I), , xv+224 (ISBN 1470412349, OCLC 882503487, MR 0132791)
- (en) Mati Kilp, Ulrich Knauer et Alexander V. Mikhalev, Monoids, acts and categories : With applications to wreath products and graphs. A handbook for students and researchers, Berlin, Walter de Gruyter & Co, coll. « de Gruyter Expositions in Mathematics » (no 29), , xviii+529 (ISBN 3-11-015248-7, MR 2001b:20113)
- (en) Jean-Éric Pin, Mathematical foundations of automata theory, Support de cours du Master Parisien de Recherche en Informatique (MPRI), , 310 p. (lire en ligne)
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « transformation semigroup » (voir la liste des auteurs).
Lien externe
- (en) « Semigroup of transformations », sur PlanetMath
Articles connexes
- Théorie de Krohn–Rhodes (en)
- Symmetric inverse semigroup (en)
- Liste des classes de demi-groupes (en)
Portail de l’algèbre