Una álgebra de Lie es un espacio vectorial g sobre un cuerpo provisto de un corchete bilineal [·,·]: g×g → g que es antisimétrico ([x,y] = −[y,x]) y satisface la identidad de Jacobi [x,[y,z]]+[y,[z,x]]+[z,[x,y]] = 0, codificando simetrías infinitesimales.

Principio

Conmutación infinitesimal: el corchete mide la no conmutatividad de primer orden de un objeto tipo grupo; linealidad, antisimetría y Jacobi organizan las restricciones algebraicas sobre los conmutadores.

Demostración

El conjunto de matrices n×n con corchete [A,B]=AB−BA es una álgebra de Lie; el espacio tangente en la identidad de un grupo de Lie matricial produce una álgebra de Lie que captura sus generadores infinitesimales. Por ejemplo, so(3) de matrices antisimétricas 3×3 modela el álgebra del momento angular.

Aplicación incorrecta

Usar el conmutador de un álgebra asociativa sin comprobar el cierre (el conmutador puede salir de un subespacio) o ignorar problemas de característica en cuerpos de pequeña característica prima; considerar cualquier producto bilineal antisimétrico como corchete de Lie sin verificar Jacobi es incorrecto.

Consecuencia

Las álgebras de Lie clasifican simetrías locales y generan representaciones mediante módulos; su teoría de estructura (resolubles, semisimples, radical, factores simples) y las álgebras envelopantes universales conectan con la teoría de representaciones y de invariantes.

Inversión

Sustituir el corchete antisimétrico por un producto asociativo cambia el foco de la simetría infinitesimal y los conmutadores a la estructura multiplicativa, perdiéndose las propiedades de derivación reguladas por Jacobi.

Límite

Definida típicamente sobre un cuerpo; en característica positiva aparecen fenómenos adicionales (álgebras de Lie restringidas, torsión p); no toda álgebra no asociativa es de Lie: debe verificarse Jacobi. La correspondencia grupo de Lie–álgebra de Lie requiere hipótesis analíticas (p. ej. conexidad, característica cero) para una recíproca completa.

Tensión semántica

Álgebra de Lie vs grupo de Lie: la primera es la linealización algebraica de un grupo de simetrías; álgebra de Lie vs álgebra asociativa: los conmutadores en contextos asociativos dan corchetes de Lie pero la falta de asociatividad genera herramientas estructurales distintas.

Síntesis

Una álgebra de Lie es el objeto lineal que codifica simetrías infinitesimales mediante un corchete bilineal antisimétrico que satisface Jacobi, sirviendo como contraparte algebraica de grupos continuos de transformaciones.