Bourbaki

Exercise 3, § 2

Commutative Algebra, VIII

Let AA be an integral ring of dimension 1, and let p0⊂p1⊂p2p_0 \subset p_1 \subset p_2 be three distinct non-zero prime ideals of A[X]A[X]. Now prove that p0∩A=0p_0 \cap A = {0}, p1=(p1∩A).A[X]p_1 = (p_1 \cap A).A[X], and that p2p_2 is a maximal ideal of A[X]A[X].

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.