http://www.math.tamu.edu/~sarah.witherspoon/pub/HH-18August2017.pdf kを可換環としAをk-代数とする。 A^e = A \otimes A^{op}と定め、これをAのenveloping algebraという。 MがA-bimoduleとは、Aの両側作用が定まっているものを言い、これは左A^e-module…