##  [Álgebra Envolvente Universal U(G)](/es/node/63806) 

 Definición

El álgebra asociativa unitaria U(g) construida a partir de una álgegra de Lie g que es universal para representaciones de la Lie en álgebras asociativas; obtenida concretamente como el cociente de la álgebra tensorial T(g) por el ideal generado por x⊗y − y⊗x − [x,y].

 

 

 

 

 

 





## Principio

Principio

Codificar el corchete de Lie dentro de un álgebra asociativa para que los módulos de Lie correspondan a módulos sobre U(g); la universalidad significa que cualquier homomorfismo de Lie de g al Lie de una álgebra asociativa se factoriza de manera única a través de U(g).

 

 

 

 

 





## Demostración

Demostración

Para la Lie abeliana g (corchete cero), U(g) es la álgebra simétrica S(g); para g = sl2, U(g) tiene una base PBW (Poincaré–Birkhoff–Witt) que proporciona una filtración de tipo graduado y sostiene la clasificación de las representaciones de dimensión finita mediante la teoría de pesos más altos.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Confundir U(g) con el álgebra del grupo de una grupo de Lie o asumir que U(g) es conmutativa; otro error es ignorar la filtración PBW y deducir igualdades graduadas que sólo valen al pasar a la álgebra graduada asociada.

 

 

 

 

 





## Consecuencia

Consecuencia

U(g) proporciona un marco asociativo concreto para estudiar representaciones, elementos centrales (operadores Casimir) y fenómenos de deformación/cuantización; permite el paso entre técnicas de teoría de Lie y métodos de álgebra asociativa.

 

 

 

 

## Inversión

Inversión

En vez de envolver una álgebra de Lie por un álgebra asociativa, puede tomarse la álgebra de Lie de un álgebra asociativa antisimetizando el producto; la inversión desplaza el foco desde construcciones asociativas universales hacia la estructura de Lie intrínseca de las álgebras asociativas.

 

 

 

 

 





## Límite

Límite

Definida para álgebras de Lie sobre un anillo o cuerpo base; se requiere precaución en característica positiva y para g de dimensión infinita donde pueden ser necesarias completaciones o variantes topológicas de U(g). U(g) codifica estructura de Lie pero no recupera información global de grupo ni topología de grupo sin datos adicionales.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Tensión con el álgebra simétrica y con las álgebras de grupo: U(g) se reduce a la álgebra simétrica cuando el corchete es nulo, pero en general es no conmutativa y difiere fundamentalmente de álgebras que surgen de grupos; su universalidad la distingue de construcciones asociativas ad hoc.

 

 

 

 

 





## Síntesis

Síntesis

El álgebra envolvente universal es el álgebra asociativa cociente de T(g) que realiza el corchete de Lie como conmutadores, proporcionando un hogar universal para representaciones de Lie y conectando la teoría de Lie con métodos de álgebra asociativa mediante el teorema PBW y construcciones centrales.