Teorema en teoría de álgebras de Lie que afirma que una álgebra de Lie de dimensión finita sobre un cuerpo tal que cada operador adjunto ad_x es nilpotente es en sí misma una álgebra de Lie nilpotente.

Principio

La nilpotencia local de la acción adjunta (cada elemento actúa nilpotentemente por conmutadores) se propaga mediante el corchete de Lie para producir la nilpotencia global de la serie central inferior; la nilpotencia de los operadores restringe el crecimiento de conmutadores.

Demostración

Ejemplo concreto: la álgebra de Lie de matrices estrictamente triangulares superiores n×n tiene cada ad_x nilpotente y es nilpotente; los cálculos de conmutadores sucesivos muestran que la serie central inferior llega a cero en un número finito de pasos.

Aplicación incorrecta

Aplicar el teorema de Engel a álgebras de Lie de dimensión infinita o ignorar cuestiones de la característica del campo base; concluir nilpotencia a partir de ad‑nilpotencia sin verificar finitud dimensional o restricciones de característica es imprudente.

Consecuencia

Cuando es aplicable, el teorema reduce preguntas sobre la estructura de la álgebra de Lie a propiedades lineales de los operadores adjuntos, permitiendo clasificación y resultados de representación para álgebras nilpotentes y la construcción de ideales de Engel.

Inversión

La afirmación inversa 'si una álgebra de Lie es nilpotente entonces cada ad_x es nilpotente' es válida y directa; comparar las direcciones muestra que Engel ofrece una implicación dentro de una equivalencia que requiere la hipótesis de finitud.

Límite

Las hipótesis suelen requerir finitud dimensional y atención a la característica del cuerpo base (las formulaciones clásicas asumen característica cero o tratan la característica positiva con cautela); el teorema no se extiende automáticamente a álgebras de dimensión infinita.

Tensión semántica

A menudo se confunde con el teorema de Lie (sobre vectores propios comunes para álgebras resolubles) o con formas más débiles que afirman la nilpotencia de subálgebras generadas; la tensión proviene de la diferencia entre la condición operatoria ad‑nilpotente y nociones como resolubilidad o triangularización.

Síntesis

El teorema de Engel relaciona la condición operatoria de que todas las aplicaciones adjuntas sean nilpotentes con la conclusión algebraica de que la serie central inferior se anula, estableciendo un puente entre la acción lineal y la estructura nilpotente global.