##  [Ley Conmutativa](/es/node/61501) 

 Definición

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

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

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

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

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

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

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

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

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.