包络代数

包络代数(enveloping algebra)是由给定代数与其反代数构造的张量代数。设A是R代数，A的反代数A0"与代数A的张量代数Ae = A0P⑧aA称为A的包络代数.如此定义的代数Ar与A看做另一个交换环S(比如，S是R的子环或A的中心)上代数的包络代数A0P⑧sA是不同的.若A是有1的R代数，则每个右Ar模M皆为A双模，其模乘法为:对任意m任M,a,bEA.反之，若在A双模M中规定M是右Ar模.包络代数是研究R分离代数的工具