Demi-groupe

En mathématiques, plus précisément en algèbre générale, un demi-groupe (ou semi-groupe) est une structure algébrique constituée d'un ensemble muni d'une loi de composition interne associative. Il est dit commutatif si sa loi est de plus commutative.

Définition

Un demi-groupe est un magma associatif. Autrement dit, c'est un couple $(S,\star )$ composé d'un ensemble Modèle:Mvar et d'une opération $\star$ qui vérifie la propriété d'associativité : $(a\star b)\star c=a\star (b\star c)$ pour tous Modèle:Mvar, Modèle:Mvar et Modèle:Mvar dans Modèle:Mvar.

Exemples

• L'ensemble des entiers naturels non nuls muni de l'addition est un demi-groupe.
• Tout monoïde est un demi-groupe.
• Tout groupe est un demi-groupe.
• Si $(A,+,*)$ est un pseudo-anneau, alors $(A,*)$ est un demi-groupe.
• L'ensemble vide muni de la loi de composition interne vide est un demi-groupe.
• Tout ensemble ordonné dont toute paire d'éléments possède une borne inférieure, muni de la loi qui leur associe cette borne inférieure, constitue un demi-groupe commutatif.
• Pour tout demi-groupe $(S,*)$, l'ensemble des parties de Modèle:Math est également un demi-groupe pour l'opération définie parModèle:Retrait

Historique

L'étude des demi-groupes, en tant que structure algébrique, commence avec des travaux russes, notamment ceux d'Modèle:Lien, qui détermina en 1928 la structure des semi-groupes simples finis, puis ceux d'Evgenii Sergeevich Lyapin. Quelques années plus tard, des travaux fondateurs furent menés par David Rees, James Alexander Green, Alfred H. Clifford et Gordon Preston. Puis la théorie des demi-groupes finis s'est beaucoup développée, en liaison avec la théorie des automates, sous l'impulsion de Marcel-Paul Schützenberger et Samuel Eilenberg notamment. Elle est directement liée aux variétés de langages formels.

Depuis 1970 paraît un périodique, Semigroup Forum, consacré à la théorie des demi-groupes.

Concepts essentiels

Élément neutre

Un élément neutre du demi-groupe Modèle:Mvar est un élément $1$ de Modèle:Mvar tel que $1s=s1=s$ pour tout $s$ dans $S$. Lorsque Modèle:Mvar a un élément neutre, on dit que c'est un monoïde Modèle:,.

Il est d'usage de noter $(S^1,{\cdot }^{\prime })$ le monoïde obtenu par l'ajout à $S$ d'un élément supplémentaire, qui déterminera ${\cdot }^{\prime }$ comme l'unique prolongement de $\cdot$ à $(S^1{)}^2$ qui fait de ce nouvel élément l'élément neutre de $(S^1,{\cdot }^{\prime });$ ce dernier restant $(S,\cdot )$ s'il est déjà unifère. Formellement

$S^1=\{\begin{array}{cc}S& \text{si }S\mathrm{c}\mathrm{o}\mathrm{n}\mathrm{t}\mathrm{i}\mathrm{e}\mathrm{n}\mathrm{t}\mathrm{u}\mathrm{n}\acute{\mathrm{e}}\mathrm{l}\acute{\mathrm{e}}\mathrm{m}\mathrm{e}\mathrm{n}\mathrm{t}\mathrm{n}\mathrm{e}\mathrm{u}\mathrm{t}\mathrm{r}\mathrm{e};\\ S\cup \{1\}& \text{sinon.}\end{array}$

Dans le deuxième cas, $1$ est un objet quelconque qui ne figure pas dans $S$, et la loi $\cdot$ sur $S$ est étendue à $S\cup \{1\}$ en posant

$a{\cdot }^{\prime }1=1{\cdot }^{\prime }a=a$ pour tout $a$ dans $S\cup \{1\}.$

Lorsque le demi-groupe $(S,\cdot )$ est commutatif, le monoïde $(S^1,{\cdot }^{\prime })$ l'est aussi. On définit alors son groupe symétrisé ou groupe de Grothendieck $G(S^1,{\cdot }^{\prime })$. Si de plus $(S,\cdot )$ est simplifiable (c'est-à-dire si tous ses éléments sont réguliers) alors $(S^1,{\cdot }^{\prime })$ l'est aussi, donc le morphisme canonique de $(S,\cdot )$ dans $G(S^1,{\cdot }^{\prime })$ (via $(S^1,{\cdot }^{\prime })$) est injectif.

Zéro

Un élément absorbant, aussi appelé zéro d'un demi-groupe $S$ est un élément $0$ tel que $0s=s0=0$ pour tout $s$ dans $S$. Par exemple, le nombre 0 est un zéro des entiers naturels pour la multiplication. Si un demi-groupe possède un zéro, il est unique.

Morphisme de demi-groupes

Soient $(S,\cdot )$ et $(T,\star )$ deux demi-groupes. Une application $f:S\to T$ est un morphisme de demi-groupes si $f(s\cdot t)=f(s)\star f(t)$ pour tous $s,t\in S$. Par exemple, l'application $f:n\mapsto 2^n$ est un morphisme du demi-groupe des entiers naturels munis de l’addition dans le demi-groupe des puissances entières de 2 munis de la multiplication.

Sous-demi-groupe

Un sous-demi-groupe d'un demi-groupe $S$ est un sous-ensemble de $S$ fermé sous l'opération de $S$. Un sous-monoïde d'un monoïde $M$ est un sous-demi-groupe de $M$ qui contient l'élément neutre de $M$.

Ainsi l'ensemble ℕ des nombres naturels, muni de la multiplication, est un demi-groupe commutatif dont l'ensemble 2ℕ des nombres pairs est un sous-demi-groupe . ℕ est alors un monoïde avec élément neutre 1 alors que 2ℕ n'est qu'un demi-groupe.

Un sous-demi-groupe d'un monoïde $M$ peut être un monoïde sans être un sous-monoïde de $M$. Par exemple dans le monoïde multiplicatif ℕ ci-dessus, le sous-demi-groupe {0} est le monoïde trivial, mais n'est pas un sous-monoïde de ℕ, car il ne contient pas l'élément neutre de ℕ.

Inverses

Il existe dans les demi-groupes une notion de pseudoinverse et une notion d'inverse, qui généralise celle d'élément symétrique dans les groupes :

$x$ est un pseudoinverse de $a$ si $axa=a$.

$b$ est un inverse de $a$ si $aba=a$ et $bab=b$.

Tout inverse est évidemment un pseudoinverse. Réciproquement, si $x$ est un pseudoinverse de $a$ alors $b=xax$ est un inverse de $a$, puisque $aba=a(xax)a=(axa)(xa)=a(xa)=a$ et $bab=(xax)ab=x(axa)b=(xa)(xax)=x(axa)x=xax=b$.

En algèbre linéaire, le pseudo-inverse d'une matrice est un inverse pour le semi-groupe multiplicatif des matrices.

Un demi-groupe régulier est un demi-groupe dans lequel tout élément admet au moins un pseudoinverse ou (ce qui, d'après ce qui précède, est équivalent) au moins un inverse.

Un demi-groupe inversif est un demi-groupe dans lequel tout élément admet un unique inverse.

Idéaux

Une partie $I$ d'un demi-groupe $S$ est un idéal à gauche (à droite) si $SI\subset I$, $IS\subset I$. C'est un idéal (bilatère) s'il est à la fois un idéal à droite et à gauche. Pour tout élément $a$ de $S$, l'ensemble $S^{1}a$, $a{S}^1$, $S^{1}a{S}^1$ est l'idéal à gauche, à droite, bilatère engendré par $a$. Un idéal est propre s'il est non vide et distinct du demi-groupe tout entier.

Le zéro, s'il existe, est un idéal bilatère propre si $S$ ne se réduit pas à cet élément.

Idéal minimal

Le produit $I_1{I}_2\cdots I_n$ d'idéaux $I_1,I_2,\dots ,I_n$ est un idéal contenu dans leur intersection. Il en résulte que si les idéaux $I_1,I_2,\dots ,I_n$ ne sont pas vides, leur intersection ne l'est pas non plus.

Un idéal non vide $I$ est minimal s'il ne contient pas d'autre idéal non vide. Ainsi, un idéal minimal, vu comme demi-groupe, est un demi-groupe simple. Comme l'intersection de deux idéaux non vides est un idéal non vide, un demi-groupe possède au plus un seul idéal minimal. L'existence d'un idéal minimal est assurée dans le cas d'un demi-groupe fini (on prend simplement l'intersection de tous les idéaux non vides).

Si un demi-groupe $S$ possède un zéro $0$, il est à lui tout seul l'idéal minimal de $S$. Un idéal $I$ de $S$ est $0$-minimal s'il est non vide, différent de $0$, et ne contient pas d'autre idéal non vide. Un idéal 0-minimal $I$, vu comme demi-groupe, est un demi-groupe 0-simple sauf si $I^2=0$.

Exemple

Le demi-groupe $S=\{s,t,0\}$ défini par $xy=0$ pour $x,y\in S$ possède deux idéaux 0-minimaux, à savoir $\{s,0\}$ et $\{t,0\}$.

Quotient de Rees

Soit $S$ un demi-groupe et soit $I$ un idéal de $S$. Le quotient de Rees $S/I$ de $S$ par $I$ est le demi-groupe quotient de $S$ par la congruence de Rees $𝒥$, définie par

$x𝒥y⟺x=y\text{ ou }x,y\in I$.

Si $I$ est vide, $S/I=S$. Si $I=S$, $S/I$ est un singleton. Si $I\ne \mathrm{\varnothing },S$, on emploie la construction suivante : On dénote la classe de $I$ par $0$, et on identifie les autres classes à leur unique élément. Alors $S/I=(S\setminus I)\cup \{0\}$, avec la multiplication $*$ définie comme suit : $0$ est un zéro, et

$x*y=\{\begin{array}{cc}0& \text{si }xy\in I\\ xy& \text{sinon}.\end{array}$

Le quotient de Rees est nommé ainsi d'après son concepteur, le mathématicien David Rees.

Exemple

Dans le monoïde libre $A^{*}$ engendré par un alphabet $A$ à deux lettres au moins, on considère l'idéal des mots contenant un mot carré, c'est-à-dire l'ensemble des mots de la forme $xyyz$, où $x,y,z$ sont des mots, et $y$ n'est pas le mot vide. Le quotient de Rees est composé des mots sans carré de $A^{*}$, et d'un zéro. Si $A$ est composé de deux lettres $a$ et $b$, le quotient de Rees est fini et formé de $a,b,ab,ba,aba,bab$, du mot vide et du zéro. Si $A$ a plus de deux lettres, ce quotient de Rees est infini.

Demi-groupe simple et 0-simple

• Un demi-groupe $S$ est simple si ses seuls idéaux sont $\mathrm{\varnothing }$ et S.
• Un demi-groupe $S$ est 0-simple s'il possède un zéro noté $0$, si $S^2\ne \{0\}$ et si $\mathrm{\varnothing },0$ et $S$ sont ses seuls idéaux. Comme $S^2$ est un idéal non vide, la seule possibilité qui reste est $S^2=S$. Un demi-groupe 0-simple ne se réduit donc pas à son zéro.

Exemples

Le demi-groupe bicyclique est simple. Tout groupe est simple en tant que demi-groupe.

Un 0-groupe est un demi-groupe de la forme $G\cup \{0\}$, où $G$ est un groupe et où $0$ est un élément qui joue le rôle d'un zéro et qui n'est pas dans $G$. La loi de $G$ est donc étendue à $G\cup \{0\}$ par $0s=s0=0$ pour $s$ dans $G\cup \{0\}$. On écrit en général $G^0$ pour $G\cup \{0\}$. Plus généralement, si $S$ est un demi-groupe non vide, on note $S^0$ le demi-groupe avec zéro obtenu en ajoutant un zéro à $S$. Un 0-groupe est un demi-groupe 0-simple.

Références

Littérature

Histoire des demi-groupes

• Modèle:Lien web.
• Modèle:Article
• Modèle:Article

Ouvrages historiques

• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:OuvrageModèle:Commentaire biblio

Ouvrages classiques

• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage

• Modèle:Ouvrage

Ouvrages récents

• Modèle:Ouvrage
• Modèle:Ouvrage

Articles récents

• Modèle:Article

Articles connexes

• Modèle:Lien
• Théorème des variétés d'Eilenberg
• Demi-groupe 3x+1
• Demi-groupe automatique
• Demi-groupe numérique