Bourbaki

Corollary 1

Tag 0CWC, permanent. Cite it as [Bourbaki, Tag 0CWC].

Commutative Algebra, chapter IX, § 2. Anneaux de Cohen

If the pp-ring CC is an integral domain, it is a discrete valuation ring, or a field of characteristic pp.

Suppose CC is an integral domain. If p1Cp 1_C is nilpotent, one has p1C=0p 1_C = 0, and {0}\{0\} is a maximal ideal of CC, hence CC is a field of characteristic pp. If p1Cp 1_C is not nilpotent, then CC 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.

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