Bourbaki

Lemma 1

Tag 0CMS, permanent. Cite it as [Bourbaki, Tag 0CMS].

Commutative Algebra, chapter VIII, § 3. Dimension des anneaux noethériens

Let AA be a noetherian ring, p0⊂...⊂pnp_0 \subset ... \subset p_n a chain of prime ideals of AA of length n⩾1n \geqslant 1, and xx an element of pnp_n. There exists a chain p0′⊂...⊂pn′p'_0 \subset ... \subset p'_n with p0′=p0p'_0 = p_0, pn′=pnp'_n = p_n and x∈p1′x \in p'_1.

We reason by induction on nn, the case n=1n = 1 being trivial. Suppose therefore that one has n⩾2n \geqslant 2 and that xx does not belong to pn−1p_{n-1}. Let pn−1′p'_{n-1} be a minimal element of the set of prime ideals of AA contained in pn′=pnp'_n = p_n and containing pn−2+Axp_{n-2} + Ax (II, § 2, No. 6, lemma 2). By prop. 1, the ideal pn−1′/pn−2p'_{n-1}/p_{n-2} of the ring A/pn−2A/p_{n-2} is of height 1, and since pn−2⊂pn−1⊂pnp_{n-2} \subset p_{n-1} \subset p_n is a chain of length 2, the same is true of pn−2⊂pn−1′⊂pn′p_{n-2} \subset p'_{n-1} \subset p'_n. One has x∈pn−1′x \in p'_{n-1}. The induction hypothesis applied to the chain p0⊂p1⊂...⊂pn−2⊂pn−1′p_0 \subset p_1 \subset ... \subset p_{n-2} \subset p'_{n-1} shows that there exists a chain p0′⊂p1′⊂...⊂pn−2′⊂pn−1′p'_0 \subset p'_1 \subset ... \subset p'_{n-2} \subset p'_{n-1} with x∈p1′x \in p'_1 and p0′=p0p'_0 = p_0. The chain

p0′⊂p1′⊂...⊂pn−1′⊂pn′ p'_0 \subset p'_1 \subset ... \subset p'_{n-1} \subset p'_n
satisfies the required conditions.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.