Bourbaki

Proposition 14

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

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

For two ideals a,ba, b of a ring to be relatively prime, it is necessary and sufficient that their radicals r(a)r(a) and r(b)r(b) be so.

The necessity of the condition is obvious since a⊂r(a)a \subset r(a) and b⊂r(b)b \subset r(b); 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.

Cites

Transcribed from the printed volume. Not translated.