Bourbaki

Exercise 7, § 2

Commutative Algebra, IX, p. 71

a) Let RR be a perfect ring of characteristic pp, and R′R' a ring of characteristic pp. Let ff be a homomorphism of RR into R′R'. Then the homomorphism W(f):W(R)→W(R′)W(f) : W(R) \to W(R') is the unique homomorphism making the following diagram commutative

W(R)→W(f)W(R′)↓Φ0↓Φ0R→fR′. \begin{array}{ccc} W(R) & \xrightarrow{W(f)} & W(R') \\ \downarrow \Phi_0 & & \downarrow \Phi_0 \\ R & \xrightarrow{f} & R' . \end{array}

(Use the preceding exercise.) In particular, taking for ff the raising to the pp-th power in RR, prove that FRF_R is the unique endomorphism of W(R)W(R) such that Φ0∘FR=f∘Φ0\Phi_0 \circ F_R = f \circ \Phi_0. It is characterized by the equalities

FR(τ(x))=τ(xp)for every x∈R. F_R(\tau(x)) = \tau(x^p) \quad \text{for every } x \in R .

b) Let AA be a ring separated and complete for the pp-adic topology. Suppose that multiplication by p.1Ap.1_A in AA is injective and that A/pAA/pA is a perfect ring. Then there exists a unique endomorphism σ\sigma of AA such that σ(x)≡xpmod  .pA\sigma(x) \equiv x^p \mod. pA for x∈Ax \in A, and the inverse of the isomorphism tσ:A→W(A/pA)t_\sigma : A \to W(A/pA) described in Exercise 14, p. 44 is given by

(ai)i∈N↦∑i=0∞φ(ai)p−ipi, (a_i)_{i \in \mathbf{N}} \mapsto \sum_{i=0}^{\infty} \varphi(a_i)^{p^{-i}} p^i ,

where φ:A/pA→A\varphi : A/pA \to A is the unique mapping which yields the identity of A/pAA/pA on passing to the quotient and satisfies φ(xp)=φ(x)p\varphi(x^p) = \varphi(x)^p for x∈Rx \in R (cf. Exercise 6, a)).

Solution

No solution has been written yet.

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