Identidad para un corchete bilineal [·,·] en una estructura algebraica que afirma que [x,[y,z]]+[y,[z,x]]+[z,[x,y]]=0 para todos x,y,z, codificando la simetría cíclica propia de estructuras tipo Lie.

Principio

Imponer la anulación cíclica de corchetes anidados de modo que la acción adjunta de cualquier elemento sea una derivación y las constantes de estructura cumplan restricciones de compatibilidad antisimétrica.

Demostración

Para el conmutador de matrices cuadradas [A,B]=AB−BA, un cálculo directo muestra que [A,[B,C]]+[B,[C,A]]+[C,[A,B]]=0, por lo que el espacio de matrices con este corchete es una álgebra de Lie.

Aplicación incorrecta

Esperar que la identidad de Jacobi valga para cualquier producto bilineal antisimétrico; muchos productos así no cumplen Jacobi y por tanto no definen álgebras de Lie, de modo que aplicar teoría de Lie allí es erróneo.

Consecuencia

Satisfecha junto con bilinealidad y antisimetría, la Jacobi da una estructura de álgebra de Lie, posibilitando teoría de representaciones, cohomología de corchetes y condiciones de integrabilidad para flujos asociados.

Inversión

Si se abandona Jacobi surgen estructuras no-Lie más generales, como álgebras de Malcev o cuasi-Lie, donde otras identidades reemplazan la anulación cíclica y cambian las teorías de representación.

Límite

Se aplica solo a corchetes binarios bilineales sobre un módulo o espacio vectorial; no implica asociatividad del producto y se distingue de identidades de alternatividad o flexibilidad en contextos no asociativos.

Tensión semántica

Compite con identidades basadas en el asociador: Jacobi controla corchetes anidados, mientras que asociatividad y alternatividad controlan productos triples; un álgebra puede satisfacer una y no la otra.

Síntesis

La identidad de Jacobi es la restricción cíclica sobre corchetes anidados que, junto con bilinealidad y antisimetría, caracteriza las álgebras de Lie y regula cómo los elementos actúan por derivaciones y cómo se relacionan las constantes de estructura.