Propiedad de una operación binaria · en un conjunto que afirma que para todo par de elementos a y b se cumple a·b = b·a; el orden de los operandos no altera el resultado.

Principio

Invariancia del orden: el resultado de combinar dos elementos no depende de su secuencia, lo que organiza las manipulaciones algebraicas y permite tratamientos simétricos.

Demostración

En los números reales con la multiplicación ordinaria, 3·5 = 5·3 = 15; en contraste, para matrices A y B en general AB ≠ BA, lo que muestra la falta de validez de la ley.

Aplicación incorrecta

Asumir conmutatividad en estructuras no conmutativas (por ejemplo al tratar la multiplicación de matrices o la composición de funciones como conmutativas) provoca reorganizaciones incorrectas y simplificaciones erróneas.

Consecuencia

Cuando es válida en una estructura, los razonamientos y cálculos pueden intercambiar factores, facilitando la teoría de polinomios simétricos, identidades algebraicas y la reducción de casos.

Inversión

No conmutatividad: operaciones para las que a·b y b·a difieren; en algunos contextos se estudia la anticommutatividad donde a·b = −b·a (álgebra exterior) como inversión conceptual de la conmutatividad.

Límite

Se aplica solo a la operación binaria indicada y solo si la igualdad se cumple para todos los pares de elementos; muchas estructuras algebraicas son solo parcialmente conmutativas (pares que conmutan) o no conmutativas.

Tensión semántica

La conmutatividad compite con nociones de simetría y con la propiedad abeliana: 'conmutativa' describe una operación, mientras que 'abeliana' suele referirse a un grupo entero cuya operación es conmutativa.

Síntesis

La ley conmutativa afirma la independencia global del orden para una operación binaria; cuando está presente simplifica la estructura algebraica y el cálculo, y cuando no lo está indica comportamiento no abeliano que requiere atención explícita.