Associativité
En mathématiques, et plus précisément en algèbre générale, une loi de composition interne ou loi interne <math>\star</math> sur un ensemble Modèle:Mvar est dite associative si pour tous Modèle:Mvar, Modèle:Mvar et Modèle:Mvar dans Modèle:Mvar :
- <math>(x \star y) \star z = x \star ( y \star z)</math>.
En notant <math>m:E\times E\to E,\;(x,y)\mapsto x\star y</math>, l'associativité se traduit par le diagramme commutatif suivant :
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 M est un ensemble quelconque et S désigne l'ensemble de toutes les fonctions de M vers M, alors l'opération de composition des fonctions sur S 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 :
- <math>(30 - 20) - 10 = 10 - 10 = 0</math> et <math> 30 - ( 20 - 10)= 30 - 10 = 20</math>
donc
- <math>(30 - 20) - 10 \neq 30 - ( 20 - 10)</math>.
Un ensemble muni d'une loi interne associative et unifère est appelé un monoïde.
On peut écrire un algorithme qui, pour un magma fini d'ordre <math>n</math> de table de Cayley donnée, détermine s'il est un groupe ou non en <math>O(n^2)</math> opérations élémentaires<ref>Modèle:Article.</ref>, la difficulté majeure étant de décider de l'associativité de la loi.
