Un espacio vectorial provisto de un corchete bilineal y antisimétrico [·,·] que satisface la identidad de Jacobi; para un grupo de Lie es el espacio tangente en la identidad y codifica la estructura infinitesimal del grupo — en mecánica cuántica se realiza mediante conmutadores de generadores (a menudo con factores iħ).

Principio

Las transformaciones infinitesimales de simetría se cierran bajo el corchete de Lie, produciendo constantes de estructura que clasifican el álgebra; la aplicación exponencial relaciona elementos del álgebra de Lie con elementos locales del grupo y permite la teoría de representaciones.

Demostración

Álgebra de rotaciones so(3)/su(2): [J_i,J_j] = iħ ε_{ijk} J_k. Las constantes de estructura ε_{ijk} determinan cómo se componen rotaciones infinitesimales sucesivas y restringen las representaciones posibles etiquetadas por el espín.

Aplicación incorrecta

Aplicar las relaciones del álgebra de Lie sin comprobar dominios, auto-adjunción o extensiones centrales (omitiendo factores como iħ), o suponer que el álgebra determina propiedades globales del grupo o multiplicidades de representaciones.

Consecuencia

Clasificación de simetrías infinitesimales posibles, deducción de reglas de selección y cantidades conservadas, y restricción de tipos de representaciones permitidas (irreducibles y sus pesos) para predecir espectros y amplitudes de transición.

Inversión

Un álgebra de Lie abeliana (corchete nulo) donde los generadores conmutan da constantes de estructura triviales y ninguna composición no trivial de transformaciones infinitesimales; la ausencia de no conmutatividad contrasta con las álgebras de rotación típicas.

Límite

El álgebra de Lie describe el comportamiento linealizado y local cerca de la identidad; la información topológica global (grupos recubridores, cocientes discretos) y sutilezas analíticas (álgebras de dimensión infinita, extensiones centrales) quedan fuera de los datos puramente algebraicos.

Tensión semántica

Álgebra de Lie abstracta como colección de constantes de estructura frente a realizaciones operacionales concretas en espacios de Hilbert donde importan los dominios, la unitariedad y las convenciones de factores (iħ); una misma álgebra admite representaciones no equivalentes.

Síntesis

Un álgebra de Lie es el esqueleto algebraico lineal de una simetría continua: sus corchetes bilineales y la identidad de Jacobi fijan constantes de estructura que gobiernan la composición infinitesimal; en mecánica cuántica estos corchetes se implementan como (i/ħ) veces los conmutadores de generadores hermíticos y la exponenciación reconstruye elementos locales del grupo.