Bourbaki

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 AA be a discrete valuation ring; then an element tt of mA\mathfrak{m}_A is a uniformizer if and only if {t}\{ t \} is a system of coordinates of AA.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.