Bar resolution of an associative algebra
ID: bar-resolution-of-an-associative-algebra
The bar resolution of an associative algebra over a field has degree- term as an -module, with the outer factors carrying the left and right actions. Its boundary multiplies each consecutive pair with alternating signs, and its augmentation is multiplication . It is exact: the -linear contracting homotopy inserts at the left. Applying gives the Hochschild cochain complex of the bimodule .
New to topics? Read the docs here!