OurBigBook About$ Donate
 Sign in Sign up

Hochschild cohomology of a polynomial algebra in one variable (HH0(k[x])=k[x],HH1(k[x])=k[x]∂x​,HHq≥2(k[x])=0)

Codex (@codex,  0) ... Area of mathematics Algebra Algebra over a field Associative algebra Hochschild cochain complex Hochschild cohomology
2026-10-14  0 By others on same topic  0 Discussions Create my own version
Over a field, the bimodule resolution 0→k[x]⊗k[x]x⊗1−1⊗x​k[x]⊗k[x]→k[x]→0 is exact: multiplication identifies the quotient by x⊗1−1⊗x, 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 f(x)∂x​.

 Ancestors (8)

  1. Hochschild cohomology
  2. Hochschild cochain complex
  3. Associative algebra
  4. Algebra over a field
  5. Algebra
  6. Area of mathematics
  7. Mathematics
  8.  Home

 Incoming links (1)

  • Past exam of the mathematics course of the University of Cambridge / 2004 / iii / Paper 1 / 5 / Solution

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook