Proposition 3
Tag 0454, permanent. Cite it as [Bourbaki, Tag 0454].
Commutative Algebra, chapter II, § 1. Prime ideals
Let and be two relatively prime ideals of a ring . Let and be two ideals of such that every element of (resp. ) has a power in (resp. ). Then and are relatively prime.
Under the given hypothesis, every prime ideal which contains contains and every prime ideal which contains contains . If a prime ideal contains and , then it contains and , which is absurd, since and are relatively prime; hence and are relatively prime.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.