Propiedad algebraica de una operación binaria por la cual intercambiar el orden de los dos operandos no cambia el resultado: para todos a, b del dominio, a·b = b·a.

Principio

La conmutatividad permite reordenar operandos en una operación binaria sin afectar el resultado; es la invariancia frente a la trasposición de las dos entradas.

Demostración

Suma de números reales: 2+5 = 5+2. La multiplicación escalar de números reales conmuta. En contraste, la multiplicación de matrices no conmuta en general: AB ≠ BA.

Aplicación incorrecta

Asumir que operadores conmutan cuando no lo hacen — por ejemplo permutar matrices no conmutativas o conmutar operadores lineales que actúan sobre subespacios solapados — conduce a simplificaciones incorrectas y conclusiones espectrales erróneas.

Consecuencia

Si la conmutatividad se cumple, las expresiones pueden reordenarse en formas canónicas, las identidades polinómicas se simplifican (polinomios simétricos) y surgen estructuras como anillos conmutativos con teoría de ideales más simple.

Inversión

Operaciones no conmutativas (p. ej., multiplicación de matrices, composición de ciertos operadores lineales, producto de operadores en mecánica cuántica) requieren mantener el orden; invertirlo puede cambiar el resultado y generar conmutadores [A,B] = AB−BA.

Límite

Se aplica a una operación binaria concreta sobre un conjunto y no se deduce de la asociatividad ni de la distributividad. La conmutatividad puede darse elemento a elemento (elementos que conmutan entre sí) aunque la operación no sea globalmente conmutativa.

Tensión semántica

A menudo se confunde con la simetría respecto de todas las permutaciones: la conmutatividad es invariancia ante el intercambio de un par, mientras que la invariancia completa ante permutaciones es una propiedad más fuerte. Relacionada pero distinta es la centralidad: un elemento que conmuta con todos los demás.

Síntesis

La Ley Conmutativa establece que para una operación binaria dada, el orden de los dos operandos puede intercambiarse sin cambiar el resultado, lo que permite el reordenamiento, simplificaciones simétricas y teorías algebraicas particulares cuando la conmutatividad es global.