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

I am looking for a reference, in the form of a textbook, that contains proofs of following statements.

NOTE: I am NOT looking for the proofs, I am looking for a reference! Proofs of these statements are elementary. In fact, I need a reference to avoid writing the proofs. I just want to be able to refer somewhere for the proofs. I am sure these must be somewhere. Surprisingly, I cannot find them in standard textbooks that I know!!

1. Let $f:R\rightarrow S$ be a local homomorphism of Noetherian local rings with residue fields $k_R$ and $k_S$, respectively, and assume that $[^fk_S:k_R]<\infty$. If $N$ is an $S$-module of finite length, then $^fN$ is an $R$-module of finite length, and $\ell_R(^fN)=[^fk_S:k_R]\cdot\ell_S(N)$.

2. Let $f:(R,\mathfrak{m})\rightarrow(S,\mathfrak{n})$ be a homomorphism of Noetherian local rings such that $\ell_S(S/f(\mathfrak{m})S)<\infty$. Let $M$ be an $R$-module of finite length. Then

$\ \ \ \ $ a) $M\otimes_RS$ is an $S$-module of finite length and $\ell_S(M\otimes_R S)\leq\ell_S(S/f(\mathfrak{m})S)\cdot\ell_R(M)$.

$\ \ \ \ $ b) If in addition $f$ is flat, then $\ell_S(M\otimes_R S)=\ell_S(S/f(\mathfrak{m})S)\cdot\ell_R(M)$.

share|cite|improve this question
up vote 1 down vote accepted

Look at lemmas 45.12 and 45.13 of the following:

This comes from the Stacks open source textbook project, you can browse their chapters here:

share|cite|improve this answer
Thanks Parsa! Is it customary to include Stacks Project as a reference in a paper? Have you seen that in papers? – Mahdi Majidi-Zolbanin Oct 21 '11 at 11:43
You're welcome Mahdi. I personally haven't seen such a reference myself, but references to online work are increasingly common nowadays. Given that there is a page that describes how to reference the Stacks Project, , I am guessing that it's not uncommon either. – Parsa Oct 21 '11 at 14:26

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.