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

The isomorphism ${(M \otimes _ {S} N)} _ {f} = M _ {f} \otimes _ {S _ {f}} N _ {f}$ is well-known. Here, $S$ is a graded ring, and $M,N$ are graded $S$ modules.

Now, let $f$ be any homogeneous element of $S$ of degree 1. I want to have ${(M \otimes _ {S} N)} _ {(f)} = M _ {(f)} \otimes _ {S _ {(f)}} N _ {(f)}$. Here, $L _ {(f)}$ means the zero-degree part of $L _ {f}$ for any graded $S$-module $L$.

By using the first formula, the problem reduces to the following assertion: Can the zero-degree part of $M _ {f} \otimes _ {S _ {f}} N _ {f}$ be identified with $M _ {(f)} \otimes _ {S _ {(f)}} N _ {(f)}$ ?

I see that there is a canonical homomorphism $M _ {(f)} \otimes _ {S _ {(f)}} N _ {(f)} \to M _ {f} \otimes _ {S _ {f}} N _ {f}$, and I also see that the image of this homomorphism equals to the zero-degree part of $M _ {f} \otimes _ {S _ {f}} N _ {f}$.

However, I cannot prove that this homomorphism is injective.

share|cite|improve this question
Also, you may consult – Martin Brandenburg Aug 5 '11 at 10:30
Thank you for your kindness. I will study this PDF file. – Hiro Aug 5 '11 at 10:49

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.