Bourbaki

Exercise 8, § 2

Commutative Algebra, IX, p. 71

Let CC be a pp-ring of infinite length, with residue field kk. Every automorphism of kk extends to an automorphism of CC. In order that every automorphism of CC inducing the identity on kk by passing to quotients should be the identity, it is necessary and sufficient that kk be perfect.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5.4. Not checked by a person.