前回述べた普遍包絡環について、具体的な記述を書きます。
そして、リー代数の表現の代わりに普遍包絡環の表現を考えても同じであることを述べます。
一般に、体 上のベクトル空間 に対して、結合代数 (テンソル代数という)を次のように定義します。
まず、ベクトル空間 を定義します。そして、ベクトル空間 を定義します(注意:無限直和では としたとき有限個を除いて )。そして、 に積を で定義すると結合代数となります。
テンソル代数は普遍性によって特徴づけられます。テンソル代数の普遍性とは、次のことです(テンソル積の普遍性から導かれます)。
を 上の結合代数、 を線型写像とします。また、 を包含写像とします。このとき、凖同型 で となるものが一意に存在します。
さて、普遍包絡環は次で定義されるものです(普遍性によって定義します)。
普遍包絡環は一意に存在します。具体的には、次のようになります。
テンソル代数 を考え、 で生成されるイデアルを とします。 と定義します。また、 を標準的な射影としたとき、 と定義します。このとき、組 が普遍包絡環となります。
実際に普遍性を満たしていることは、テンソル代数の普遍性から導かれます。
普遍包絡環を持ち出したのは、リー代数の表現をもう少し楽に扱いたいためでした。そのためにはもちろん、リー代数の表現が普遍包絡環の表現に持っていけなければ意味がありません。
それは、普遍性によって保証されます。つまり、表現 が与えられたとき、 が一意に引き起こされます。以後、誤解の恐れがない限り、 を単に と書きます。