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


it is a folklore, that:

let $p$, $q$ be two primes of a commutative Gorenstein ring $R$. $$ \operatorname{Tor}^k(E(R/p), E(R/q)) \neq 0 \iff p = q\mbox{ and }k = \operatorname{height} p. $$ where $E(R/p)$ is an injective hull of the cyclic module $R/p$ and $\operatorname{Tor}^k(-,-)$ means $k$-th Tor (derived functor to tensor product).

My question is: are there some other modules satisfying this orthogonality? (over some commutative noetherian rings)

So what I'm looking for:

for any $p \in \operatorname{Spec}(R)$ a module $M(p)$ such that $\operatorname{Ext}^k$ or $\operatorname{Tor}^k$ of $M(p)$ and $M(q)$ is not zero iff $p=q$ and $k = \operatorname{height} p$. (so the same as for $M(p) = E(R/p)$ and Tor in the Gorenstein case above)

Thank you,

share|cite|improve this question
I think, that again for Gorenstein commutative rings, k(p) (residue field), p \in Spec(R) and Tor should work as well. – Zdenek Dec 20 '12 at 10:20

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.