conmutativos

La conmutatividad es una propiedad de ciertas operaciones binarias en matemáticas. Una operación binaria en un conjunto S es conmutativa si, para todo a y b en S, se cumple a b = b a. En palabras simples, el orden de los operandos no altera el resultado. Esta característica aparece en diversas estructuras y facilita la manipulación de expresiones.

Ejemplos comunes: la suma y la multiplicación de números reales, enteros o racionales son conmutativas: a + b = b + a y a · b = b · a. También lo son la intersección y la unión de conjuntos: A ∩ B = B ∩ A y A ∪ B = B ∪ A. En cambio, la resta y la división no son conmutativas en general: a - b ≠ b - a y a / b ≠ b / a.

En álgebra, si una estructura tiene una operación binaria conmutativa, se habla de estructuras conmutativas. Por ejemplo, los enteros con la suma forman un grupo conmutativo (grupo abeliano). Los enteros con la multiplicación forman un anillo conmutativo. Por otro lado, la multiplicación de matrices no es conmutativa en general: A × B suele diferir de B × A.

Notas adicionales: la conmutatividad es independiente de la asociatividad; una operación puede ser conmutativa sin ser necesariamente asociativa, aunque en estructuras comunes como grupos o anillos, ambas propiedades suelen aparecer juntas.