Loi de composition interne

Une loi de composition interne (ou, parfois, opération^[1]) est un procédé qui, à deux éléments d'un ensemble E, associe un troisième élément de E. L'addition et la multiplication sont des exemples classiques de lois de composition interne des ensembles de nombres usuels, tels que les entiers naturels.

Les lois de composition interne occupent une place privilégiée en algèbre.

Sommaire 1 Présentation 2 Exemple 3 Définition formelle 4 Éléments particuliers 4.1 Composé de deux éléments et composé réciproque 4.2 Carrés et dérivés 4.3 Neutres et dérivés 4.4 Absorbants et dérivés 4.5 Centre d'une structure 4.6 Réguliers et dérivés 4.7 Paires d'éléments 5 Propriétés 5.1 Existence d’éléments remarquables 5.2 Régularité et propriétés liées 5.3 Associativité et propriétés analogues 5.4 Autres propriétés 6 Inversibilité 7 Nombre de lois internes sur un ensemble à n éléments 8 Voir aussi 9 Notes et références

Présentation

Nous avons tous depuis le primaire une assez bonne idée de la notion d'opérations telles que l'addition, la soustraction, la multiplication ou la division. Une opération (interne) dans un ensemble est une relation interne dans cet ensemble, qui, à deux éléments quelconques de cet ensemble, appelés opérandes, en associe éventuellement un troisième, unique, nommé résultat, toujours dans ce même ensemble.

Pour que l’opération considérée soit effectivement une loi de composition interne, il faut qu’elle ait un sens quels que soient les deux éléments de l’ensemble choisis (on dit formellement que l'opération doit être définie partout). Ainsi :

• la division n’est pas une loi de composition interne dans , parce qu’on ne peut pas diviser par zéro : par exemple, « 3 / 0 » n’a pas de sens. Mais cette même division est une loi de composition interne dans (ensemble des réels privés de 0). Enfin cette même opération n'est pas une loi de composition interne dans car 2 / 3 n'est pas un entier relatif.
• la soustraction peut être ou non une loi de composition interne selon l’ensemble de nombres considéré :
  • s’il s’agit de l’ensemble des nombres usuels, dits entiers naturels { 0, 1, 2, 3,... }, ce n’en est pas une, puisque « 3 - 5 », par exemple, n’a pas pour résultat l’un de ces nombres usuels.
  • si au contraire, on choisit l’ensemble des entiers relatifs, qui en plus des entiers naturels, contient les entiers négatifs { ..., -3, -2, -1}, alors la soustraction est bien une loi de composition interne.

En résumé, une loi de composition interne dans un ensemble E, ou, plus simplement une loi dans E, est une opération qui donne un résultat dans E pour tous les couples possibles d'éléments de E.

Exemple

Dans l’ensemble des entiers relatifs, l’addition est une loi de composition interne ayant entre autres les propriétés suivantes, qui seront définies plus formellement dans la seconde partie de l’article :

• zéro est élément neutre pour cette loi : l’ajouter à n’importe quel nombre redonne ce nombre : par exemple,   5 + 0 = 5  , et   0 + 8 = 8   ;
• pour tout entier, il existe un autre nombre, son opposé (le terme général est élément symétrique), tel qu’ajouté au premier, il redonne l’élément neutre, zéro. L’opposé se note comme l’entier initial changé de signe. Ainsi :   3 + (-3) = 0   ;
• on peut échanger les deux éléments autour du signe «  +  » :   3 + 5 = 5 + 3 = 8   . On dit que l’opération est commutative ;
• on peut grouper les éléments comme on le souhaite quand on en ajoute plus de deux :   3 + 5 + 4   peut se calculer de deux manières :
  • en calculant d’abord   3 + 5 = 8   puis en ajoutant   4   au résultat,
  • ou en calculant   5 + 4 = 9   avant de calculer   3 + 9   .

Ces deux méthodes mènent au même résultat, ce que l’on note :   (3 + 5) + 4 = 3 + (5 + 4)   . On dit que l’opération est associative.

Ces quatre propriétés, existence d’un élément neutre, existence de symétriques, commutativité, associativité, peuvent se retrouver pour d’autres ensembles et d’autres lois. Ainsi, on peut étudier l’ensemble des translations (c’est-à-dire les déplacements en ligne droite : par exemple, se déplacer de 3 mètres vers la gauche et de 2 mètres vers le haut), et une loi de composition interne sur cet ensemble, la composition : la composition de deux translations consistant simplement à faire le premier déplacement, puis le second. On retrouve pour la composition les mêmes propriétés que pour l’addition :

• le neutre est la translation nulle, consistant à ne pas se déplacer ;
• le symétrique d’une translation consiste à faire le même déplacement dans l’autre sens (3 mètres à droite et 2 mètres vers le bas pour l’exemple précédent) : si on fait successivement les deux, c’est comme si on faisait le déplacement nul ;
• on peut faire les déplacements dans l’ordre qu’on veut, on retrouve la commutativité et l’associativité.

L’ensemble des entiers relatifs avec l’addition, et l’ensemble des translations avec la composition ont ces propriétés simples en commun. Un ensemble et une loi qui possèdent ces quatre propriétés particulières s’appelle en algèbre un groupe abélien. L’algèbre s’attache ensuite à rechercher d’autres propriétés plus complexes qui découlent de ces quatre premières. Ces nouvelles propriétés seront alors valables aussi bien pour l’ensemble des entiers relatifs que pour celui des translations, et pour tout autre ensemble et tout autre loi de composition interne ayant la structure d’un groupe abélien, sans qu’il soit nécessaire de le redémontrer pour chacun.

Définition formelle

On appelle loi de composition interne sur un ensemble E toute application du produit cartésien E × E dans E.

Un ensemble E muni d’une loi de composition interne constitue une structure algébrique appelée magma et notée « ( E, ) ».

Quelques exemples triviaux, pour un ensemble E non vide :

• les applications constantes : si c appartient à E : x E, y E,   x y   = c ;
• l’application sélectionnant le terme de gauche : x E, y E,   x y   = x ;
• l’application sélectionnant le terme de droite : x E, y E,   x y   = y.

Éléments particuliers

Composé de deux éléments et composé réciproque

Dans un magma ( E, ), on appelle « composé d'un élément x par un élément y », l'unique élément x y associé par la loi au couple ( x, y ).

L'élément y x est le composé de y par x. Il est associé par la loi au couple ( y, x ), réciproque du couple ( x, y ); c'est pourquoi il est aussi appelé composé réciproque de x par y ou de x y.

Certains éléments jouent un rôle particulier en raison de leurs propriétés :

Carrés et dérivés

• un élément est dit carré ssi :  

En sens inverse, tout élément x   a un carré unique, noté habituellement « x ²  ».

Si la loi est notée additivement, le terme de double sera employé de préférence à celui de carré.

Exemple : dans , le double de 3 (pour l'addition) est 6, et son carré (pour la multiplication) est 9.

• un élément est dit idempotent ou projecteur ssi :  

En d’autres termes, cet élément est son propre carré.

Exemples :

• tout élément neutre d'une loi est idempotent pour cette loi;
• dans tout ensemble numérique les contenant, 0 et 1 sont les seuls éléments idempotents pour la multiplication.

Neutres et dérivés

• un élément est dit neutre à gauche ssi :  
• un élément est dit neutre à droite ssi :  
• un élément est dit neutre lorsqu’il est neutre à droite et à gauche;

Exemple : dans , l'élément neutre de l'addition est 0, et celui de la multiplication est 1.

Tout élément neutre, même unilatère (c’est-à-dire soit à gauche, soit à droite, mais pas les deux), est idempotent.

• un élément est dit involutif s’il existe un élément neutre et si :    ;

L’élément neutre est nécessairement involutif.

Le seul élément involutif et idempotent est l'élément neutre.

• un élément est symétrique à gauche de l'élément , si . L'élément est alors symétrique à droite de l'élément .

Absorbants et dérivés

• un élément est dit absorbant à gauche ssi :  
• un élément est dit absorbant à droite ssi :  
• un élément est dit absorbant lorsqu’il est absorbant   à droite et à gauche;

Exemple : dans , 0 est absorbant pour la multiplication, alors que l'addition ne présente pas d'élément absorbant.

Tout élément absorbant, même unilatère, est idempotent.

• un élément est dit nilpotent s’il existe un élément absorbant et si :    ;

L’élément absorbant est nécessairement nilpotent...

Centre d'une structure

• un élément est dit commutatif ou central ssi :  

En d'autres termes, un élément est central si son composé par tout élément se confond avec le réciproque de ce composé.

Les éléments neutre et absorbant bilatères sont commutatifs.

On appelle centre de E, et on note Z ( E ), l’ensemble des éléments commutatifs de E.

Réguliers et dérivés

• un élément est dit régulier à gauche ou simplifiable à gauche ssi :

• un élément est dit régulier à droite ou simplifiable à droite ssi :

• un élément est dit régulier ou simplifiable lorsqu’il est régulier à droite et à gauche;

• un élément est dit antirégulier ou cosimplifiable ssi :

• un élément est dit irrégulier à gauche ou non-simplifiable à gauche ssi :

• un élément est dit irrégulier à droite ou non-simplifiable à droite ssi :

• un élément est dit irrégulier ou non-simplifiable lorsqu’il est irrégulier à droite ou à gauche;

• un élément est dit diviseur de zéro à gauche ssi il existe un élément absorbant , différent de , et si :  ;

Un diviseur de zéro à gauche est irrégulier à gauche;

• un élément est dit diviseur de zéro à droite ssi il existe un élément absorbant , différent de , et si :  ;

Un diviseur de zéro à droite est irrégulier à droite ;

Paires d'éléments

Des paires d’éléments peuvent aussi présenter des propriétés particulières :

• deux éléments et seront dits permutables ou commutants ssi :  

ou, en d'autres termes, si leur composé se confond avec son réciproque.

• deux éléments permutables et seront dits symétriques ou inversibles :
  • s’il existe un élément neutre ,
  • et si :   r * s = e ;
• deux éléments permutables et seront dits diviseurs de zéro ou désintégrants :
  • s’il existe un élément absorbant ,
  • si aucun des deux éléments n’est égal à ,
  • et si :   r * s = a ;

Les diviseurs de zéro sont irréguliers. Les éléments nilpotents autres que l’élément absorbant sont des diviseurs de zéro.

Exemple: pour les entiers relatifs, 0 est neutre pour l’addition, absorbant pour la multiplication, et neutre à droite pour la soustraction.

Propriétés

Certaines propriétés des lois de composition interne, particulièrement intéressantes, ont reçu un nom. Soit un magma ( E, ) ; la loi peut y présenter les propriétés suivantes :

Existence d’éléments remarquables

• est dite unifère à gauche s’il existe un élément neutre à gauche , c’est-à-dire si :

Une loi peut présenter plusieurs éléments neutres à gauche, à condition qu’elle ne présente pas d’élément neutre à droite ;

• est dite unifère à droite s’il existe un élément neutre à droite , c’est-à-dire si :

Une loi peut présenter plusieurs éléments neutres à droite, à condition qu’elle ne présente pas d’élément neutre à gauche;

• est dite unifère (parfois unitaire) s’il existe un élément neutre , c’est-à-dire si :

Une loi est unifère si et seulement si elle est unifère à gauche et unifère à droite ;

L’élément neutre d’une loi unifère est unique;

• est dite absorbante à gauche s’il existe un élément absorbant à gauche , c’est-à-dire si :

Une loi peut présenter plusieurs éléments absorbants à gauche, à condition qu’elle ne présente pas d’élément absorbant à droite ;

• est dite absorbante à droite s’il existe un élément absorbant à droite , c’est-à-dire si :

Une loi peut présenter plusieurs éléments absorbants à droite, à condition qu’elle ne présente pas d’élément absorbant à gauche;

• est dite absorbante s’il existe un élément absorbant , c’est-à-dire si :

Une loi est absorbante si et seulement si elle est absorbante à gauche et absorbante à droite ;

L’élément absorbant d’une loi absorbante est unique;

• est dite involutive à gauche si elle est unifère à gauche et si tous les éléments de E sont involutifs, c’est-à-dire si :

• est dite involutive à droite si elle est unifère à droite et si tous les éléments de E sont involutifs, c’est-à-dire si :

• est dite involutive si elle est unifère et si tous les éléments de E sont involutifs, c’est-à-dire si :

• est dite nilpotente à gauche si elle est absorbante à gauche et si tous les éléments de E sont nilpotents, c’est-à-dire si :

• est dite nilpotente à droite si elle est absorbante à droite et si tous les éléments de E sont nilpotents, c’est-à-dire si :

• est dite nilpotente si elle est absorbante et si tous les éléments de E sont nilpotents, c’est-à-dire si :

Régularité et propriétés liées

• est dite régulière à gauche ou simplifiable à gauche si tous les éléments de E sont réguliers à gauche, c'est-à-dire si :

• est dite régulière à droite ou simplifiable à droite si tous les éléments de E sont réguliers à droite, c'est-à-dire si :

• est dite régulière ou simplifiable si tous les éléments de E sont réguliers, c’est-à-dire si :

Une loi est régulière si et seulement si elle est régulière à gauche et régulière à droite.

Associativité et propriétés analogues

• est dite associative ssi :

On peut noter que l’associativité d’une loi permet de se passer des parenthèses quand on répète la loi; la plupart des lois intéressantes sont associatives (exemples : l’addition, la multiplication, la composition des correspondances,...).

• est dite alternative ssi :

Cette propriété est moins forte que l'associativité, puisqu’une loi associative est nécessairement alternative.

• est dite associative des puissances ssi :

Cette propriété est moins forte que l’alternativité, puisqu’une loi alternative est nécessairement associative des puissances.

Quand cette propriété est vérifiée, il est possible d’introduire la notion de puissance d’un élément (d’où le nom de la propriété) :

- la puissance n-ième d’un élément x, notée habituellement « x ⁿ  », est égale au résultat de la composition de x selon , (n - 1) fois avec lui-même; ainsi   x ¹ = x ;   x ² = x x ;   x ³ = x x x ;...

- si, de plus, la loi présente un élément neutre e, on pose alors   x ⁰ = e

- si, de plus, la loi est inversible (voir plus bas), on pose alors   x ^-n = (x ⁿ ) ^-1

• est dite permutative^{[réf. nécessaire]} ssi :

Cette propriété est appelée permutativité car elle permet de permuter les termes moyens dans les expressions du type ci-dessus.

Cette propriété est moins forte que l’associativité, car une loi associative et commutative est nécessairement permutative; notons toutefois qu’une loi associative, mais non-commutative, n’est pas nécessairement permutative, et qu’une loi permutative, même commutative, n’est pas nécessairement associative.

(Exemples de lois permutatives non associatives : la soustraction dans et la division dans , ou la loi qui associe à deux points d’un espace affine leur milieu,...).

Autres propriétés

• est dite idempotente si tous les éléments de E sont idempotents, c’est-à-dire si :

• est dite intègre si elle est absorbante et si aucun élément de E n’est diviseur de zéro, c’est-à-dire si :

• est dite commutative si tous les éléments de E sont commutatifs, c’est-à-dire si :

 ;

Les lois commutatives sont notées par « + », «  » ou «  » plutôt que par «  ».

Les notions de permutativité et de commutativité sont des notions différentes: il existe des lois permutatives et non commutatives (comme la soustraction dans ) et des lois commutatives qui ne sont pas permutatives (comme la somme des inverses dans ).

La liste de propriétés ci-dessus n’est pas exhaustive, loin de là. Toutefois, nous n'aborderons dans ce paragraphe qu’un seul autre cas : dans des structures algébriques comportant plusieurs lois, certaines de ces lois ont des propriétés relatives à d’autres lois. La plus importante de ces lois relatives est la distributivité.

• Une loi peut être distributive par rapport à une autre loi (par exemple, la multiplication l’est par rapport à l’addition) :

Cette propriété se décompose en deux parties :

- distributivité à gauche :

- distributivité à droite :

Remarque : si dans la situation ci-dessus la loi est régulière et unifère, alors son élément neutre est nécessairement absorbant pour la loi . Cela explique entre autres pourquoi, dans un corps commutatif, l'élément neutre de la première loi n'a pas de symétrique par la deuxième loi.

Inversibilité

Cette propriété importante mérite un paragraphe séparé. Nous nous placerons dans un magma ( E, ) dont nous supposerons la loi unifère, c'est-à-dire disposant d'un élément neutre . Il est alors possible de définir les notions suivantes:

• un élément est dit symétrisable à gauche ou inversible à gauche si :

s' est alors appelé élément symétrique à gauche de s;

• un élément est dit symétrisable à droite ou inversible à droite si :

s' est alors appelé élément symétrique à droite de s;

• un élément est dit symétrisable ou inversible lorsqu'il est inversible à droite et à gauche et que les deux symétriques sont égaux;

s' est alors appelé élément symétrique de s.

Note : attention à ne pas confondre le symétrique d'un composé avec son réciproque !

• la loi est dite symétrisable à gauche ou inversible à gauche si tous les éléments de E sont inversibles à gauche;
• la loi est dite symétrisable à droite ou inversible à droite si tous les éléments de E sont inversibles à droite ;
• la loi est dite symétrisable ou inversible si tous les éléments de E sont inversibles.

Si la loi est de plus associative, il y a unicité, pour les éléments symétrisables à gauche (respectivement à droite), de leur symétrique à gauche (resp. à droite). Et si un élément s est symétrisable à droite et à gauche alors ses symétriques à gauche et à droite sont forcément égaux entre eux et cet élément est donc symétrisable. Son symétrique est alors noté habituellement « s ^-1  ».

Exemples :

• 2 n'est pas symétrisable pour l'addition dans les entiers naturels;
• 2 est symétrisable, de symétrique -2, pour l’addition dans les entiers relatifs;
• 2 n’est pas inversible pour le produit dans les entiers relatifs;
• 2 est inversible, d’inverse , pour le produit dans les rationnels.

Remarque :

Lorsque la loi est notée additivement, le symétrique est plutôt appelé opposé, et quand la loi est notée multiplicativement le symétrique est plutôt appelé inverse.

Nombre de lois internes sur un ensemble à n éléments

Soit E un ensemble à n éléments.

Le nombre de lois internes sur E est le nombre d'applications de E×E dans E, soit

On peut compter de même combien, parmi elles, sont commutatives. Une loi commutative sur E est entièrement déterminée par sa valeur x✲y=y✲x pour les paires {x,y} et sa valeur x✲x pour les singletons {x}. Le nombre de ces paires et singletons étant

il y a donc

lois commutatives sur E.

Voir aussi

• Algèbre générale
• Structure algébrique
• Loi de composition
• Algèbre universelle

Notes et références

• Portail des mathématiques