Corollary
Tag 0D1L, permanent. Cite it as [Bourbaki, Tag 0D1L].
Commutative Algebra, chapter X, § 1. Profondeur
A noetherian local integrally closed ring of dimension has depth .
Let be a normal ring (No. 8) and a prime ideal of . Then: a) if , is a field; b) if , is a discrete valuation ring (VII, § 1, No. 7, Proposition 11); c) if , one has (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.