Example 1
Tag 0CPC, permanent. Cite it as [Bourbaki, Tag 0CPC].
Commutative Algebra, chapter VIII, § 5. Anneaux locaux réguliers
Regular noetherian local rings of dimension 0 (resp. 1) are fields (resp. discrete valuation rings) (VI, § 3, No. 6, Prop. 9 and Cor. 1 of Theorem 1 below). Let be a discrete valuation ring; then an element of is a uniformizer if and only if is a system of coordinates of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.