Proposition 14
Tag 046N, permanent. Cite it as [Bourbaki, Tag 046N].
Commutative Algebra, chapter II, § 2. Rings and modules of fractions
For two ideals of a ring to be relatively prime, it is necessary and sufficient that their radicals and be so.
The necessity of the condition is obvious since and ; the condition is sufficient by § 1, no. 2, Proposition 3.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.