Bourbaki

Proposition 12

Tag 046H, permanent. Cite it as [Bourbaki, Tag 046H].

Commutative Algebra, chapter II, § 2. Rings and modules of fractions

Let pp be a minimal prime ideal of a ring AA. For all x∈px \in p, there exists s∈A−ps \in A - p and an integer k>0k > 0 such that sxk=0sx^k = 0.

The set SS of elements of the form sxksx^k (kk an integer >0> 0, s∈A−ps \in A - p) is a multiplicative subset of AA. If 0∉S0 \notin S, there would exist a prime ideal p′p' not meeting SS (no. 5, Corollary 2 to Proposition 11). Then p′=pp' = p and p′#pp' \# p since x∉p′x \notin p', contrary to the hypothesis that pp is minimal.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.