Scholium
Tag 0CN5, permanent. Cite it as [Bourbaki, Tag 0CN5].
Commutative Algebra, chapter VIII, § 3. Dimension des anneaux noethériens
The dimension of a noetherian local ring A is the smallest of the integers d ≥ 0 for which there exists an ideal of definition of A generated by d elements.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.