Bourbaki

Corollary

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

Commutative Algebra, chapter X, § 1. Profondeur

A noetherian local integrally closed ring of dimension ⩾2\geqslant 2 has depth ⩾2\geqslant 2.

Let AA be a normal ring (No. 8) and p\mathfrak{p} a prime ideal of AA. Then: a) if ht⁡(p)=0\operatorname{ht}(\mathfrak{p}) = 0, ApA_{\mathfrak{p}} is a field; b) if ht⁡(p)=1\operatorname{ht}(\mathfrak{p}) = 1, ApA_{\mathfrak{p}} is a discrete valuation ring (VII, § 1, No. 7, Proposition 11); c) if ht⁡(p)⩾2\operatorname{ht}(\mathfrak{p}) \geqslant 2, one has prof⁡(Ap)⩾2\operatorname{prof}(A_{\mathfrak{p}}) \geqslant 2 (corollary to Proposition 16).

Conversely:

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.