Propiedad algebraica de una operación binaria por la cual la agrupación (parentetización) de los operandos no altera el resultado: para todos a, b, c del dominio, (a·b)·c = a·(b·c).

Principio

Si una operación es asociativa, cualquier secuencia finita de operandos puede combinarse sin referirse a los paréntesis; la operación define una composición n-aria coherente independiente del agrupamiento.

Demostración

Suma de números reales: (1+2)+3 = 1+(2+3) = 6. La multiplicación de matrices es asociativa: (AB)C = A(BC) para matrices conformables. La composición de funciones es asociativa: (f∘g)∘h = f∘(g∘h).

Aplicación incorrecta

Tratar la resta o la división ordinaria como asociativas y reescribir (a−b)−c como a−(b−c) sin comprobar lleva a errores; asumir sin prueba que una operación nueva es asociativa también es erróneo.

Consecuencia

La asociatividad permite omitir paréntesis en productos largos, posibilita la definición de semigrupos y monoides, y facilita definiciones y algoritmos inductivos que combinan términos en apareamientos arbitrarios.

Inversión

Operaciones no asociativas (por ejemplo, la resta en los números, ciertas operaciones en lazos o la multiplicación en algunas álgebras no asociativas) dependen de la agrupación explícita: (a·b)·c puede diferir de a·(b·c).

Límite

Se aplica a una operación binaria dada sobre un conjunto especificado; no implica conmutatividad ni distributividad y no se extiende automáticamente a operaciones mixtas. La asociatividad puede ser válida para algunos elementos y fallar para otros (asociatividad parcial).

Tensión semántica

A menudo se confunde con la conmutatividad (invarianza del orden): la asociatividad trata sobre el agrupamiento, la conmutatividad sobre el orden. En teoría de categorías aparece una forma más débil basada en coherencia (morfismos asociadores) en lugar de igualdad estricta.

Síntesis

La Ley Asociativa afirma que, para una operación binaria concreta, el resultado de combinar varios operandos es independiente de cómo se parenteticen, permitiendo una composición de muchos operandos coherente y la construcción de estructuras algebraicas por aplicación repetida.