Example 6
Tag 0CK2, permanent. Cite it as [Bourbaki, Tag 0CK2].
Commutative Algebra, chapter VIII, § 1. Dimension de Krull d’un anneau
Let be a field and a nonzero integral -algebra. Then one has . This results from cor. 1 to prop. 1 of V, § 2, No. 1, and from the fact that .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.