Associativité

En mathématiques, et plus précisément en algèbre générale, une loi de composition interne ou loi interne $\star$ sur un ensemble S est dite associative si pour tous x, y et z dans S :

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

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 :

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

Donc :

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

Un ensemble muni d'une loi interne associative et unifère est appelé un monoïde.

Voir aussi

Portail de l’algèbre