Associativité

En mathématiques, et plus précisément en algèbre générale, l'associativité est une propriété de certaines opérations binaires ou lois de compositions internes, selon laquelle le réarrangement des parenthèses dans une expression ne modifie pas le résultat. On peut alors se passer de parenthèses dans l'écriture des opérations.

Définition

Une loi de composition interne ou loi interne $\star$ sur un ensemble E est dite associative si pour tous x, y et z dans E :

$(x\star y)\star z=x\star (y\star z)$.

On peut alors écrire le résultat sous la forme $x\star y\star z$.

En notation préfixée, la relation s'écrit : $\star (\star (x,y),z)=\star (x,\star (y,z))$.

En notant $m:E\times E\to E,\;(x,y)\mapsto x\star y$, l'associativité se traduit par le diagramme commutatif suivant :

Exemples et contre-exemples

Parmi les lois associatives, on peut citer les lois d'addition et de multiplication des nombres réels, des nombres complexes et des matrices carrées, l'addition des vecteurs, et l'intersection, la réunion d'ensembles. Aussi, si $E$ est un ensemble quelconque et $E^{E}$ désigne l'ensemble de toutes les applications de $E$ vers $E$, alors l'opération, notée $\circ$, de composition des application sur $E^{E}$ est associative.

Parmi les lois non associatives, on peut citer par exemple le produit vectoriel sur un espace euclidien orienté de dimension 3.

Un autre exemple est la soustraction des nombres réels. En effet :

$(30-20)-10=10-10=0$ et $30-(20-10)=30-10=20$

donc

$(30-20)-10\neq 30-(20-10)$.

Un ensemble muni d'une loi interne associative est appelé un demi-groupe ; si de plus la loi est unifère, on parle de monoïde.

On peut écrire un algorithme qui, pour un magma fini d'ordre $n$ de table de Cayley donnée, détermine s'il est un groupe ou non en $O(n^{2})$ opérations élémentaires, la difficulté majeure étant de décider de l'associativité de la loi.

Associativité mixte entre une loi interne et une loi externe

Soit $\Omega$ un ensemble muni d'une loi interne $\star$ et un ensemble $E$ muni d'une loi de composition externe à opérateurs dans $\Omega$ ${\displaystyle \bullet$ :\Omega \times E\rightarrow E}  ; ces deux lois vérifient la propriété d'associativité si pour tout $\lambda ,\mu$ de $\Omega$ et tout x de $E$, on a :

$(\lambda \star \mu )\bullet x=\lambda \bullet (\mu \bullet x)$.

C'est par exemple l'une des propriétés requise pour la structure de K-espace vectoriel.

Dénombrements

• Le nombre de lois associatives, soit le nombre de structures de demi-groupe sur un ensemble fini à $n$ éléments, ne possède pas actuellement de formule « fermée » ; il est donné par la suite A023814 de l'OEIS. Plus précisément :

$n$	0	1	2	3	4	5	OEIS
nombre de lois associatives	1	1	8	113	3492	183732	suite A023814 de l'OEIS
idem, à isomorphisme près	1	1	5	24	188	1915	suite A027851 de l'OEIS
idem, à isomorphisme près et anti-isomorphisme près	1	1	4	18	126	1160	suite A001423 de l'OEIS

• Le nombre de façons différentes de placer des parenthèses autour de $n+1$ termes, pour préciser une expression faisant intervenir $n$ fois une loi de composition interne est égal au nombre de Catalan $C_{n}$ . En cas d'associativité, ces $C_{n}$ expressions sont égales. Par exemple, $C_{3}=5$: en notation multiplicative, $a(b(cd))=a((bc)d)=(ab)(cd)=(a(bc))d=((ab)c)d=abcd$.

Voir aussi

• Ordre des opérations
• Alternativité
• Commutativité
• Associativité des puissances
• Monoïde
• Demi-groupe
• Associativité du barycentre