Una operación binaria que mide el fallo de dos elementos para conmutar. En grupos suele definirse [a,b] = a^{-1} b^{-1} a b (o equivalentemente a b a^{-1} b^{-1} según la convención); en álgebras de Lie el conmutador es el corchete [x,y] = xy - yx.

Principio

El conmutador cuantifica la no conmutatividad: un conmutador trivial indica elementos que conmutan, mientras que conmutadores anidados construyen medidas jerárquicas de cuánto se aleja la estructura de ser abeliana o resoluble.

Demostración

En el grupo de matrices invertibles 2×2, tomar A = [[1,1],[0,1]] y B = [[1,0],[1,1]]; su conmutador [A,B] = A^{-1}B^{-1}AB es una matriz unipotente no trivial que muestra que A y B no conmutan. En una álgebra de Lie de matrices, [X,Y]=XY-YX da la no conmutatividad infinitesimal usada en ecuaciones diferenciales y teoría de representaciones.

Aplicación incorrecta

Usar la fórmula del conmutador de grupo sin atención a la convención elegida conduce a errores de signo o inversión. Otro uso indebido es tratar el conmutador como asociativo o suponer que [a,b]=1 implica interacción trivial en contextos donde extensiones centrales o cohomología aún producen estructura no trivial.

Consecuencia

Su uso correcto aísla subestructuras derivadas (generadas por conmutadores), apoya la construcción de series (derivada, central inferior) que clasifican resolubilidad y nilpotencia, y produce relaciones que controlan propiedades de representación y cohomológicas.

Inversión

La inversión es centrarse en el anticonmutador o en la propiedad de conmutar: en lugar de medir el fallo de conmutación, estudiar el centralizador de elementos (conmutador trivial) o productos simetrizados que enfatizan la conmutatividad.

Límite

La definición depende del contexto algebraico: los conmutadores de grupo difieren en forma de los corchetes de Lie y de los conmutadores en álgebras asociativas; el cálculo de conmutadores requiere un producto asociativo o de tipo Lie y puede no tener sentido en sistemas no asociativos arbitrarios sin un corchete elegido.

Tensión semántica

Existe tensión entre diferentes convenciones de conmutador (orden de las inversas) y entre conmutador grupal, corchete de Lie y conmutador en álgebra asociativa; estas nociones están relacionadas pero implican consecuencias algebraicas y homológicas distintas.

Síntesis

El conmutador es la medida binaria fundamental [·,·] de la no conmutatividad cuyas imágenes generan subestructuras derivadas, alimentan series de clasificación de resolubilidad y nilpotencia, y traducen el comportamiento no conmutativo en invariantes y relaciones algebraicas.