http://www.math.tamu.edu/~sarah.witherspoon/pub/HH-18August2017.pdf
Hom_{A^e}(A^{\otimes n+2},M)とHom_k(A^{\otimes n},M)を同一視する。
cup productをf\in Hom_k(A^{\otimes m},A)とg \in Hom_k(A^{\otimes n}, A)に対して(f \cup g)(a_1\otimes \cdots \otimes a_{m+n})=f(a_1\otimes \cdots \otimes a_m)g(a_{m+1}\otimes\cdots\otimes a_{m+n})で定義する。
これが誘導する射がHH^m(A) \times HH^n(A) \to HH^{m+n}(A)である。
これによりHH^0(A) = Z(A)-mod strが定まる。
