Bourbaki

Proposition 1

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

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

Let AA be a noetherian integral domain, xx a nonzero element of AA and pp an element minimal in the set of prime ideals of AA containing xx. Then pp is of height 1.

Let q⊂pq \subset p be a prime ideal distinct from pp. One has x∉qx \notin q in view of the minimal character of pp. Since AA is an integral domain, ApA_p can be identified with a subring of AqA_q; for every integer n≥0n \geq 0, let qnq_n denote the ideal qnAq∩Apq^n A_q \cap A_p of ApA_p. The minimal character of pp means that the local ring Ap/xApA_p / xA_p is of dimension 0; hence it is of finite length (§1§ 1, no 3, example 1), and there exists an integer n0≥0n_0 \geq 0 such that one has

qn+xAp=qn+1+xApfor every n≥n0. q_n + xA_p = q_{n+1} + xA_p \quad \text{for every } n \geq n_0 .

Fix the integer n≥n0n \geq n_0. Given y∈qny \in q_n, there exists a∈Apa \in A_p such that y−ax∈qn+1y - ax \in q_{n+1}; one then has ax∈qnax \in q_n, whence a∈qna \in q_n since x∉qx \notin q, and finally one has y∈qn+1+xqny \in q_{n+1} + xq_n. Hence one has

qn=qn+1+xqn. q_n = q_{n+1} + xq_n .

Since xx belongs to the maximal ideal of the noetherian local ring ApA_p, Nakayama's lemma shows that one has qn=qn+1q_n = q_{n+1}. Since one has (qAq)n=qnAq(qA_q)^n = q_n A_q, one concludes

(qAq)n=(qAq)n+1for every n≥n0. (qA_q)^n = (qA_q)^{n+1} \quad \text{for every } n \geq n_0 .

Since the ring AqA_q is local and noetherian, one has ⋂n≥0(qAq)n={0}\bigcap_{n \geq 0} (qA_q)^n = \{0\} (III, § 3, no 2, corollary of the prop. 5) whence (qAq)n0={0}(qA_q)^{n_0} = \{0\} and finally the prime ideal qAqqA_q of AqA_q is reduced to 0. Hence q={0}q = \{0\}, which proves that pp is of height 1.

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.