Exercise 8, § 2
Commutative Algebra, IX, p. 71
Let be a -ring of infinite length, with residue field . Every automorphism of extends to an automorphism of . In order that every automorphism of inducing the identity on by passing to quotients should be the identity, it is necessary and sufficient that be perfect.
Solution
No solution has been written yet.