Loi de composition

En mathématiques, et plus précisément en algèbre générale, étant donné un couple d'ensembles $(\Omega ,E)$ , une loi de composition (ou loi) sur ce couple est une application de $\Omega \times E$ ou de $E\times \Omega$ dans $E$ .

Dans le cas $\Omega =E$ , on qualifie la loi d'interne. Il faut concevoir une loi de composition interne dans un ensemble comme une opération binaire définie partout. On pense par exemple à l'addition et à la multiplication dans $\mathbb {R}$ . La division dans $\mathbb {R}$ n'en est pas une (puisque par exemple $1/0$ n'est pas défini), mais elle en est une dans $\mathbb {R} ^{*}$ .

Les lois de composition, en permettant de jouer avec les éléments des ensembles, constituent le pilier de l'algèbre générale. Elles permettent de définir les structures algébriques, parmi lesquelles on citera les groupes, anneaux, corps, et espaces vectoriels.

Définition

Soit $(\Omega ,E)$ un couple d'ensembles.

On distingue deux types de lois de composition (abrégé l.c.) sur ce couple :

une application de $\Omega \times E$ dans $E$ s'appelle une loi de composition (à gauche) ;
une application de $E\times \Omega$ dans $E$ s'appelle une loi de composition à droite.

On notera qu'on utilise majoritairement, par convention, des l.c. à gauche (par exemple avec les espaces vectoriels).

Dans le cas $\Omega =E$ , on parle de loi de composition interne (abrégé l.c.i.).

Le terme « loi de composition externe » (abrégé l.c.e.) est en fait synonyme de « loi de composition ». On l'emploie pour souligner que l'on n'impose pas $\Omega =E$ .

Conventions, notations

Par convention, contrairement aux applications quelconques, on utilise pour désigner une l.c. un symbole qui n'est pas une lettre. On emploie typiquement les symboles des opérations classiques : « $\cdot$ », « $*$ », « $+$ », « $\times$ », ...

Et, surtout, la convention est, comme pour les opérations classiques, d'utiliser la notation infixe. Cela signifie qu'on notera par exemple $a*b$ plutôt que $*(a,b)$ . Très souvent, on écrit même plus simplement $ab$ (si cela n'est pas ambigu dans le contexte).

On emploie souvent le symbole « $\cdot$ » pour les l.c.e. à gauche ; par exemple dans les espaces vectoriels pour la multiplication d'un vecteur par un scalaire.

Lois de composition internes

Article détaillé : Loi de composition interne.

Associativité et commutativité

L'associativité et la commutativité sont des propriétés vérifiées par certaines l.c.i. La plupart des l.c.i. étudiées en algèbre sont associatives.

Considérons ici un ensemble $E$ sur lequel on a défini une l.c.i. notée $*$ .

Associativité

Dans le cas général, écrire des choses comme $a*b*c$ n'a aucun sens puisqu'on ne sait pas s'il faut faire $a*b$ en premier, ce que l'on note $(a*b)*c$ , ou $b*c$ en premier, ce que l'on note $a*(b*c)$ . Notons en effet qu'il n'y a aucune raison que ces deux calculs fournissent le même résultat.

On dit que $*$ est associative si une telle question ne se pose pas ; si on peut procéder dans l'ordre qu'on veut. Des expressions comme $a*b*c$ ont alors un sens. Cela facilite grandement les calculs.

Commutativité

On dit que $*$ est commutative si on a, pour tous $a,b\in E$ , $a*b=b*a$ .

Exemples de lois de composition internes

L'addition et la multiplication dans $\mathbb {R}$ (associatives, commutatives).
La l.c.i. associée à un groupe abélien (associative, commutative).
Le produit matriciel (usuel) dans ${\mathcal {M}}_{n}(\mathbb {R} )$ (associative, non commutative si $n\geqslant 2$ ).
Soit $E$ un ensemble. La composition sur l'ensemble des applications de $E$ dans $E$ est une l.c.i. (associative, non commutative sauf cas triviaux).
La soustraction dans $\mathbb {R}$ (non associative, non commutative).

Lois de composition externes

Exemples de lois de composition externes

Dans un espace vectoriel, la multiplication d'un vecteur par un scalaire est une l.c.e. (à gauche).
Une action de groupe.
L'exponentiation entière des réels (application de $\mathbb {R} \times \mathbb {N}$ dans $\mathbb {R}$ ) est une l.c.e. à droite.

Quelques autres notations pour les images

Article détaillé : Notations_infixée,_préfixée,_polonaise_et_postfixée.

Comme dit plus haut, la notation la plus généralement utilisée pour calculer une image par $*$ est la notation infixe, à savoir : $a*b$ .

Mais il existe d'autre notations, plus rares :

la notation préfixe : $*ab$ , ou $*a,b$
la notation suffixe : $ab*$ , ou $a,b*$

Voir aussi

Sur les autres projets Wikimedia :

Loi (mathématiques), sur Wikiversity

Notes

↑ Notons que dans ce cas la précision gauche / droite est inutile...
↑ Une l.c.i. est donc une l.c.e.

Références

N. Bourbaki, Éléments de mathématique, vol. II : Algèbre, Chapitres 1 à 3, Berlin, Springer, 1970 (réimpr. 2007), 2^e éd. (ISBN 978-3-540-33849-9, présentation en ligne).
(en) Serge Lang, Algebra, New York/Berlin/Heidelberg etc., Springer, coll. « Undergraduate Texts in Mathematics », 2002 (réimpr. 2010), 3^e éd., 914 p. (ISBN 0-387-95385-X, lire en ligne).

Portail de l’algèbre

[1] Notons que dans ce cas la précision gauche / droite est inutile...

[2] Une l.c.i. est donc une l.c.e.