Hochschild cohomology of a polynomial algebra in one variable
ID: hochschild-cohomology-of-a-polynomial-algebra-in-one-variable
Over a field, the bimodule resolution is exact: multiplication identifies the quotient by , and that element is a non-zero-divisor in the two-variable polynomial ring. Applying the bimodule Hom functor gives zero differential, proving the displayed Hochschild cohomology. Degree-one classes are the derivations .
New to topics? Read the docs here!