Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

$A\rightarrow B$ a ring homomorphism, $N$ a $B$-module which is flat over $A$. $\mathfrak{q}\subset B$ a prime ideal, $\mathfrak{p}\subset A$ its contraction in $A$. Then is it true that $N_{\mathfrak{q}}$ is flat over $A_{\mathfrak{p}}$? Bruns seems to be suggesting that, but I don't see how. I can see that $N_{\mathfrak{p}}$ is flat over $A_{\mathfrak{p}}$ and that $N_{\mathfrak{q}}$ is a localization of $N_{\mathfrak{p}}$ as a $B_{\mathfrak{p}}$-module, but I can't apply the usual argument which works for rings. Help?

share|improve this question
I just discovered that the argument works for modules as well, in the following form: $A\rightarrow B$ a ring homomorphism, $N$ a $B$-module which is flat over $A$, $T\subset B$ a multiplicative subset. Then $T^{-1}N$ is flat over $A$. –  ashpool Jun 29 '10 at 18:11
Matsumura Commutative Ring Theory, Theorem 7.1, page 46. –  Georges Elencwajg Jun 29 '10 at 18:39
add comment

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

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.