Conmutador de dos operadores

Se define el conmutador de dos operadores lineales ${displaystyle {hat {A}}}$ y ${displaystyle {hat {B}}}$, definidos sobre un mismo dominio denso de cierto espacio de Hilbert, como un nuevo operador definido por la diferencia del producto de operadores:

${displaystyle [{hat {A}},{hat {B}}]={hat {A}}{hat {B}}-{hat {B}}{hat {A}}}$

Los conmutadores tienen gran importancia en la definición de las álgebras de Lie y la mecánica cuántica, así como en el formalismo más actual de la geometría diferencial, ya que son la imagen algebraica de las transformaciones infinitesimales multiparamétricas en una variedad diferenciable. La clave de esto es que son operadores que satisfacen una misma relación algebraica que las derivadas, que es una relación a tres variables conocida como identidad de Jacobi.

En teoría de grupos ${displaystyle [x,y]:=x^{-1}y^{-1}xy.,}$ Las identidades de los conmutadores son herramientas muy importantes en el estudio de la teoría de grupo, (McKay, 2000, p. 4). La expresión ${displaystyle a^{x},}$ denota ${displaystyle x^{-1}ax.,}$.

Identidad 5 es también llamada identidad de Hall-Witt. Análogo a la identidad de Jacobi.