Skip to main content
3 of 4
changed flat to projective
haakon
  • 163
  • 7

Cohomology of associative algebras

Let $A$ be an associative algebra over a commutative ring $k$. I've read statements saying that Hochschild (co)homology is the "right" notion of (co)homology for associative algebras. When $A$ is projective over $k$, the Hochschild cohomology, say, can be written as $Ext^*_{A \otimes A^{op}}(A,A)$, where $A^{op}$ is the opposite algebra, i.e., $A$ with $xy$ redefined to be $yx$.

On the other hand, the ext-group $Ext^*_A(k,k)$ is also referred to as the cohomology of $A$. What is the difference between these two notions of cohomology, and why would I choose one over the other?

haakon
  • 163
  • 7