Definition 4
Tag 04Z8, permanent. Cite it as [Bourbaki, Tag 04Z8].
Commutative Algebra, chapter VII, § 1. Krull domains
Let be an integral domain. A prime ideal of is said to be of height 1 if it is minimal among the non-zero prime ideals of .
We shall also say that the ideal is of height 0; a prime ideal of height is therefore by definition equal to or of height 1.
We shall define below, in a general way, the height of a prime ideal.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.