Bourbaki

Exercise 10, § 3

Commutative Algebra, II, 138

Let A, B be two rings, ρ:A→B\rho : A \to B a homomorphism, q a prime ideal of B and p=ρ−1(q)p = \rho^{-1}(q). Suppose that there exists a B-module N such that NqN_q is a flat A-module which is not reduced to 0 and NpN_p is a finitely generated A,-module; then the prime ideal p is minimal in A. (Observe that NpN_p is then a faithfully flat ApA_p-module and use Corollary 4 to Proposition 11 of § 2, no. 5.)

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.