| この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。 出典検索?: "普遍包絡代数" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2014年5月) |
定義
を任意のリー代数とする。このとき以下の普遍性質を満たす結合代数 A とリー代数の準同型写像 の組 が存在する(A は交換子積によってリー代数とみる)。任意の結合代数 とリー代数準同型写像 に対し、結合代数の準同型写像 で、 を満たすものが唯一つ存在する。このような は同型を除いて一意的に存在し、普遍包絡代数といい、A を で表す:
構成
をリー代数、 をそのベクトル空間としてのテンソル代数とする。また、 を が生成する両側イデアルとする。これによって
とする。自然な写像 を に制限して が定まり、 は普遍包絡代数になる。