Une opération binaire * sur un ensemble satisfait la loi d'associativité si pour tous a,b,c on a (a*b)*c = a*(b*c) ; le placement des parenthèses n'affecte pas le résultat des applications successives de l'opération.

Principe

La composition d'opérations binaires peut être réassociée sans changer les issues ; les structures algébriques à multiplication associative permettent des produits non ambigus d'un nombre fini de facteurs sans préciser les parenthèses.

Démonstration

La multiplication de matrices est associative : (AB)C = A(BC) pour des matrices conformes ; la composition de fonctions est associative : (f ∘ g) ∘ h = f ∘ (g ∘ h).

Mauvaise application

Supposer l'associativité pour des opérations non associatives (par exemple la soustraction, l'exponentiation, certaines convolutions) conduit à des simplifications erronées ; omettre les parenthèses hors contexte associatif est invalide.

Conséquence

L'associativité permet de simplifier les expressions, de définir puissances et produits sans ambiguïté, et de construire algèbres associatives, monoïdes et catégories ; de nombreuses théories et algorithmes algébriques s'appuient sur elle pour exactitude et efficacité.

Inversion

Considérer des opérations non associatives (comme le crochet de Lie ou la multiplication des octonions) où la réassociation change les résultats et où la structure parenthétique encode des informations algébriques essentielles menant à des identités et invariants différents.

Limite

S'applique aux opérations binaires sur des ensembles ; l'associativité est un axiome qui peut être vérifié structure par structure — certaines structures sont seulement associatives à isomorphisme près (catégories monoïdales) et non strictement.

Tension sémantique

L'associativité est en tension avec des notions affaiblies telles que l'associativité à isomorphisme (associateurs cohérents en théorie des catégories) et avec d'autres identités algébriques (commutativité, distributivité) qui interagissent mais restent logiquement indépendantes.

Synthèse

La loi d'associativité affirme que la réassociation d'opérations binaires successives ne change pas le résultat, permettant des produits sans parenthèses et fondant la manipulation des produits en algèbre tout en admettant des contextes où l'associativité est affaiblie ou absente.