Alĝebro de Lie

En matematiko, alĝebro de Lie estas algebra strukturo (alĝebro) kun malsimetria dulineara operacio (la Lie-krampo), por kiu validas la idento de Jacobi. Super la kampo de reelaj aŭ kompleksaj nombroj, alĝebro de Lie priskribas la infiniteziman strukturon de reela aŭ kompleksa grupo de Lie.

 Difino 
Se  estas komuta ringo (kun idento), alĝebro de Lie super  konsistas el -modulo  kune kun dulineara mapo

(la Lie-krampo) kiu plenumas la jenajn du aksiomojn:
 (alterneco) por ĉiu , do 
 Konsekvence, por ĉiu , do  (malsimetrieco). Se , do malsimetrieco kaj alterneco estas ekvivalentaj, sed ĝenerale alterneco estas pli forta ol malsimetrieco.
 (Jacobi-idento) por ĉiu , do .

 Rilato kun grupoj 
Se  estas (fini-dimensia) grupo de Lie, tiam la tanĝa spaco  estas reela fini-dimensia alĝebro de Lie. Inverse, se  estas fini-dimensia reela alĝebro de Lie, tiam ekzistas grupo de Lie asociita kun . (Tiu grupo estas, ĝenerale, ne unika.)

Simile, kompleksa alĝebro de Lie estas asociita kun kompleksa grupo de Lie.

 Historio 
La koncepton de la alĝebro de Lie difinis Sophus Lie, dum lia studado pri grupoj de Lie.

 Referencoj 


 Eksteraj ligiloj