MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In an article, I encounter an isomorphism relation as follows:

Let S be a comm. ring, x an element in S. K[x,S] be corresponding Koszul complex. The article says "this is a classical isomorphism":

$K[x,S]$ isom. to $\Sigma^{-1} Hom_S (K[x,S],S)$, where \Sigma is the translation functor.

I guess this mean we should regard S as a chain complex concentrated at 0, and look at the homomophism between chain complexes, but I cannot figure out the relation.

Explicitly, how to identify the homomophism of chain complexes with K[x,S] as categories?

Thanks a lot.

share|cite|improve this question
Just write down what the complex $\hom_S(K[x,S],S)$ is, using the fact that the dual of a free module of rank $1$ is of free of rank $1$. – Mariano Suárez-Alvarez Oct 24 '11 at 2:45
@Mariano Suárez-Alvarez: I am just a starter of comm. and homological algebra. Do I understand $Hom_S (K[x,S],S)$ correctly? Thank you for your patience. – AlgRev Oct 24 '11 at 2:52

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.