Corollary 1
Tag 0CWC, permanent. Cite it as [Bourbaki, Tag 0CWC].
Commutative Algebra, chapter IX, § 2. Anneaux de Cohen
If the -ring is an integral domain, it is a discrete valuation ring, or a field of characteristic .
Suppose is an integral domain. If is nilpotent, one has , and is a maximal ideal of , hence is a field of characteristic . If is not nilpotent, then is a discrete valuation ring by Prop. 1, c).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.