Bourbaki

Proposition 3

Tag 0454, permanent. Cite it as [Bourbaki, Tag 0454].

Commutative Algebra, chapter II, § 1. Prime ideals

Let aa and bb be two relatively prime ideals of a ring AA. Let a′a' and b′b' be two ideals of AA such that every element of aa (resp. bb) has a power in a′a' (resp. b′b'). Then a′a' and b′b' are relatively prime.

Under the given hypothesis, every prime ideal which contains a′a' contains aa and every prime ideal which contains b′b' contains bb. If a prime ideal contains a′a' and b′b', then it contains aa and bb, which is absurd, since aa and bb are relatively prime; hence a′a' and b′b' 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.

Transcribed from the printed volume. Not translated.