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!