Demi-groupe inversif

En mathématiques, et notamment en algèbre, un demi-groupe inversif est un demi-groupe $S$ où tout élément a un inverse unique au sens des demi-groupes : pour tout élément $x$ de $S$ , il existe un élément unique $y$ de $S$ tel que $x = x y x$ et $y = y x y$ .

Les demi-groupes inversifs apparaissent dans un certain nombre de contextes. L'exemple le plus courant est le demi-groupe des bijections partielles d'une ensemble dans lui-même appelé le demi-groupe inversif symétrique ou monoïde inversif symétrique sur cet ensemble^[1].

Dans cette page, on écrit la fonction à droite de son argument, soit $x f$ au lieu de $f (x)$ , une convention que l'on rencontre fréquemment dans la théorie des demi-groupes.

Origines

Les demi-groupes inversifs ont été introduits indépendamment par Modèle:Lien^[2] en 1952^[3] et par Gordon Preston en 1954^[4].

Les deux auteurs arrivent aux demi-groupes inversifs via leur étude des bijections partielles d'un ensemble: une transformation partielle ou fonction $f$ d'un ensemble $X$ est une application de $A$ sur $B$ , où $A$ et $B$ sont des sous-ensembles de $X$ . Si $f$ et $g$ sont deux transformations, de $X$ , on peut les composer (de gauche à droite) sur le plus grand domaine où la composition a un sens, à savoir

dom f g = (im f \cap dom g) f^{- 1}

où $f^{- 1}$ dénote l'inverse de $f$ . Wagner était le premier à observer que la composition de transformations partielles est un cas particulier du produit de relations binaires^[5].

Il a aussi noté que le domaine de composition de deux transformations partielles pouvait être l'ensemble vide, et il a introduit la transformation vide pour tenir compte de ceci. Avec l'adjonction de cette transformation vide, la composition de transformations partielles sur un ensemble devient une opération binaire partout définie. Muni de cette composition, l'ensemble $ℐ_{X}$ de toutes les transformations partielles d'un ensemble $X$ forme un demi-groupe inversif, appelé le demi-groupe inversif symétrique ou monoïde inversif symétrique sur X^[6]. Ce demi-groupe est l'archétype d'un demi-groupe inversif, de manière analogue au rôle d'archétype joué par le groupe symétrique. Par exemple, tout comme un groupe peut être plongé dans un groupe symétrique, tout demi-groupe inversif peut être plongé dans un demi-groupe inversif symétrique (voir plus bas).

Modèle:Harv ou Modèle:Harv sont des introductions brèves aux demi-groupes inversifs. Modèle:Harv et Modèle:Harv sont des présentations systématiques.

Exemples

Tout groupe est un demi-groupe inversif.
Le demi-groupe bicyclique est inversif, avec $(a, b)^{- 1} = (b, a)$ .
Tout demi-treillis est un demi-groupe inversif.
Un Modèle:Lien est inversif.
Un demi-groupe de Munn est inversif.

Propriétés de base

L'inverse (unique) d'un élément $x$ d'un demi-groupe inversif $S$ est généralement noté $x^{- 1}$ . Les inverses d'un demi-groupe inversif possèdent beaucoup de propriétés similaires des inverses dans un groupe; par exemple, on a $(x y)^{- 1} = y^{- 1} x^{- 1}$ . En revanche, $x x^{- 1}$ et $x^{- 1} x$ ne sont pas nécessairement égaux à l'identité (s'il y en a une), mais ils sont tous deux idempotents^[7]. Un demi-groupe inversif $S$ dans lequel $x x^{- 1} = 1 = x^{- 1} x$ pour tout $x$ de $S$ (un demi-groupe inversif unipotent) est un groupe.

Il existe plusieurs caractérisations équivalentes des demi-groupes inversifs^[8]. Modèle:Théorème L'idempotent de la $ℒ$ -classe de $x$ est $x^{- 1} x$ , alors que l'idempotent de la $ℛ$ -classe de $x$ est $x x^{- 1}$ . Il en résulte une caractérisation simple des relations de Green dans un demi-groupe inversif^[9] :

a ℒ b ⟺ a^{- 1} a = b^{- 1} b, a ℛ b ⟺ a a^{- 1} = b b^{- 1}

Homomorphismes et représentations

Un morphisme (ou homomorphisme) d'un demi-groupe $S$ dans un demi-groupe $T$ est une application $f$ de $S$ dans $T$ qui vérifie $(x y) f = (x f) (y f)$ pour tout $x$ , $y$ de $S$ . On a la propriété suivante^[10] :

Modèle:Théorème

Historiquement un des premiers résultats concernant les demi-groupes inversifs est le théorème ci-dessous qui est l'analogue du théorème de Cayley pour les groupes^[11] :

Modèle:Théorème

En d'autres termes, tout demi-groupe inversif peut être plongé dans un demi-groupe inverse symétrique.

Congruences et demi-groupes inverses

Un congruence de demi-groupe est une relation d'équivalence $ρ$ compatible avec la loi de demi-groupe, c'est-à-dire vérifiant

a ρ b, c ρ d ⟹ a c ρ b d

^[12].

Dans un demi-groupe inversif $S$ , une relation particulière est la relation $σ$ définie par

a σ b ⟺

il existe

c \in S

avec

c \leq a, b

^[13].

Ici, la relation d'ordre est définie par $x \leq y$ si et seulement s'il existe un idempotent $e$ tel que $x = e y$ . On peut prouver que la relation $σ$ est bien une congruence, et qu'en fait c'est une congruence de groupe, ce qui signifie que le demi-groupe quotient $S / σ$ est un groupe. Dans l'ensemble des congruences de groupe sur $S$ , la congruence $σ$ est la plus petite, dans le sens que si $τ$ est une autre congruence telle que $S / τ$ est un groupe, alors $σ$ est contenue dans $τ$ . La congruence $σ$ est appelée la congruence de groupe minimale sur $S$ ^[14].

Demi-groupe inversif libre

Le demi-groupe inversif libre sur un ensemble $X$ est construit comme suit^[15] : on considère un ensemble $X^{- 1}$ en bijection avec $X$ , et disjoint de $X$ , et on pose $Y = X \cup X^{- 1}$ . Sur le demi-groupe libre $Y^{+}$ de tous les mots non vides sur $Y$ , on définit l'anti-isomorphisme involutif

w \mapsto w^{- 1}

pour un mot $w = y_{1} y_{2} \dots y_{n}$ , avec $y_{i} \in Y$ , par

w^{- 1} = y_{n}^{- 1} y_{n - 1}^{- 1} \dots y_{2}^{- 1} y_{1}^{- 1}

,

et, pour $x \in X$ ,

(x^{- 1})^{- 1} = x

.

Le demi-groupe $Y^{+}$ muni de l'anti-isomorphisme involutif $w \mapsto w^{- 1}$ est appelé le demi-groupe involutif libre sur X. Le demi-groupe inversif libre sur $X$ est le quotient de $Y^{+}$ par la congruence de Wagner définie par les relations

x x^{- 1} x \sim x, x x^{- 1} y y^{- 1} \sim y y^{- 1} x x^{- 1}

pour

x, y \in Y^{+}

.

Le problème du mot pour les groupes inversifs libres est décidable, mais plus compliqué que pour les groupes libres. Un résultat célèbre^[16] dans ce domaine est dû à Walter D. Munn qui a montré que les éléments du demi-groupe inversif libre peuvent être vus comme des arbres, d'ailleurs appelés arbres de Munn. La multiplication dans le demi-groupe inversif libre a un analogue dans les arbres de Munn qui correspond essentiellement à superposer des parties communes d'arbres^[17].

Généralisations

Comme mentionné plus haut, un demi-groupe inversif S peut être défini comme satisfaisant les conditions

S est un demi-groupe régulier et
les idempotents de S commutent.

On peut donc considérer les demi-groupes ne vérifiant qu'une des deux conditions.

Howie, dans son livre^[18] énumère les exemples suivants :

demi-groupe régulier: c'est un demi-groupe S dans lequel tout élément a au moins un inverse ; de manière équivalente, pour tout a de S, il existe x dans S tel que axa = a.
demi-groupe localement inversif : c'est un demi-groupe régulier dans lequel eSe est un demi-groupe inversif pour tout idempotent e.
demi-groupe orthodoxe : c'est un demi-groupe régulier dont les idempotents forment un sous-demi-groupe.
demi-groupe inversif généralisé : c'est un demi-groupe régulier dont les idempotents forment un Modèle:Lien normal, c'est-à-dire vérifient xyzx = xzyx, pour tous idempotents x, y, z. On peut montrer^[19] que la classe des demi-groupes inversifs généralisés est l'intersection des demi-groupes localement inversifs et des demi-groupes orthodoxes.

Articles connexes

Notes et références

Modèle:Traduction/Référence

Notes

Modèle:Références

Références

Modèle:Portail

↑ Lawson 1998.
↑ Son père était allemand ; c'est pourquoi Wagner préférait la translittération allemande de son nom, avec un "W" plutôt qu'un "V", d'après Modèle:Harv.
↑ L'article Modèle:Harv contient l'annonce des résultats, et Modèle:Harv un traitement détaillé.
↑ Modèle:Harv, Modèle:Harv, Modèle:Harv.
↑ Modèle:Harv, page 152.
↑ Modèle:Harv.
↑ Modèle:Harv, Proposition 5.1.2(1), mais la preuve est facile puisque $(x x^{- 1}) (x x^{- 1}) = (x x^{- 1} x) x^{- 1} = x x^{- 1}$ .
↑ Modèle:Harv, Theorem 5.1.1.
↑ Modèle:Harv, Proposition 5.1.2(1).
↑ Modèle:Harv.
↑ Modèle:Harv Theorem 5.1.7; prouvé par Modèle:Harv et indépendamment par Modèle:Harv.
↑ Modèle:Harv.
↑ Modèle:Harv.
↑ Lawson 1998 : Theorem 2.4.1.
↑ Modèle:Harv, Modèle:Harv
↑ Modèle:Harv
↑ Des détails sont donnés dans Modèle:Harv.
↑ Modèle:Harv, Section 2.4 et chapitre 6.
↑ Modèle:Harv.

[1] Lawson 1998.

[2] Son père était allemand ; c'est pourquoi Wagner préférait la translittération allemande de son nom, avec un "W" plutôt qu'un "V", d'après Modèle:Harv.

[3] L'article Modèle:Harv contient l'annonce des résultats, et Modèle:Harv un traitement détaillé.

[4] Modèle:Harv, Modèle:Harv, Modèle:Harv.

[5] Modèle:Harv, page 152.

[6] Modèle:Harv.

[7] Modèle:Harv, Proposition 5.1.2(1), mais la preuve est facile puisque $(x x^{- 1}) (x x^{- 1}) = (x x^{- 1} x) x^{- 1} = x x^{- 1}$ .

[8] Modèle:Harv, Theorem 5.1.1.

[9] Modèle:Harv, Proposition 5.1.2(1).

[10] Modèle:Harv.

[11] Modèle:Harv Theorem 5.1.7; prouvé par Modèle:Harv et indépendamment par Modèle:Harv.

[12] Modèle:Harv.

[13] Modèle:Harv.

[14] Lawson 1998 : Theorem 2.4.1.

[15] Modèle:Harv, Modèle:Harv

[16] Modèle:Harv

[17] Des détails sont donnés dans Modèle:Harv.

[18] Modèle:Harv, Section 2.4 et chapitre 6.

[19] Modèle:Harv.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

Demi-groupe inversif

Sommaire

Origines

Exemples

Propriétés de base

Homomorphismes et représentations

Congruences et demi-groupes inverses

Demi-groupe inversif libre

Généralisations

Articles connexes

Notes et références

Notes

Références

Menu de navigation

Demi-groupe inversif

Origines

Exemples

Propriétés de base

Homomorphismes et représentations

Congruences et demi-groupes inverses

Demi-groupe inversif libre

Généralisations

Articles connexes

Notes et références

Notes

Références

Menu de navigation

Rechercher