Bourbaki

Corollary 2

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

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

For an ideal aa of a ring AA we denote by r(a)r(a) the radical of aa. Then, for two ideals a,ba, b of AA,

r(a∩b)=r(ab)=r(a)∩r(b); r(a \cap b) = r(ab) = r(a) \cap r(b);
in particular, if a⊂ba \subset b, then r(a)⊂r(b)r(a) \subset r(b).

For a prime ideal to contain a∩ba \cap b (or abab), it is necessary and sufficient that it contain one of the ideals a,ba, b (§ 1, no. 1, Proposition 1).

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.