Bourbaki

Corollary 2

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

Commutative Algebra, chapter IX, § 3. Corps de représentants

Let AA be a separated and complete local ring of characteristic p≠0p \neq 0. Assume that the residue field κA\kappa_A is perfect. Then there exists a unique field of representatives of AA, namely the set of multiplicative representatives. Cor. 2 follows immediately from th. 1 and prop. 7 of § 2, no. 4.

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.