Hochschild cohomology

In mathematics, Hochschild homology (and cohomology) is a homology theory for associative algebras over rings. There is also a theory for Hochschild homology of certain functors. Hochschild cohomology was introduced by Gerhard Hochschild (1945) for algebras over a field, and extended to algebras over more general rings by Cartan & Eilenberg (1956).

Let k be a ring, A an associative k-algebra, and M an A-bimodule. The enveloping algebra of A is the tensor product A^e=A⊗A^o of A with its opposite algebra. Bimodules over A are essentially the same as modules over the enveloping algebra of A, so in particular A and M can be considered as A^e-modules. Cartan & Eilenberg (1956) defined the Hochschild homology and cohomology group of A with coefficients in M in terms of the Tor functor and Ext functor by

${\displaystyle HH_{n}(A,M)={\text{Tor}}_{n}^{A^{e}}(A,M)}$

...
Wikipedia