普遍包絡代数
(普遍)包絡代数(ふへんほうらくだいすう、英: universal enveloping algebra, 仏: algèbre enveloppante)あるいは(普遍)展開代数とは、任意のリー代数 g {\displaystyle {\mathfrak {g}}} から構成される、ある性質を満たす単位的結合代数 U ( g ) {\displaystyle U({\mathfrak {g}})} と準同型写像 i : g → U ( g ) {\displaystyle i\colon {\mathfrak {g}}\to U({\mathfrak {g}})} の組 ( U ( g ) , i ) {\displaystyle (U({\mathfrak {g}}),i)} のことをいう。