Hochshild cohomology

http://www.math.tamu.edu/~sarah.witherspoon/pub/HH-18August2017.pdf

A ^{\otimes n+2}とA^e \otimes A^{\otimes n}が最初と最後を前二つにまとめることで同型になる。

これを用いて、A-bimod Mに対してM \otimes_{A^e} B(A)とM \otimes A^{\otimes n}の複体の同型を作る。

この複体のホモロジーをHochshild homologyといいHH_*(A,M)と表す。

またHom_{A^e}(B(A),M)のコホモロジーをHochshild cohomologyといいHH^*(A,M)と表す。