Commutative Algebra, IX, p. 44
a) Let A be a ring such that multiplication by p⋅1A in A is injective. Then there exists a unique ring homomorphism sA of W(A) into W(W(A)) satisfying
sA∘FA=FW(A)∘sA and
Φ0∘sA=IdW(A) (where
Φ0 is the projection of
W(W(A)) onto
W(A)). It is also the unique ring homomorphism satisfying
Φn∘sA=FAn for every integer
n∈N (where
Φn:W(W(A))→W(A) is the
n-th ghost component in
W(W(A))). b) Consider the ring
A=Z[(Xn)n∈N] of polynomials in a family of indeterminates
(Xn)n∈N. Let X be the element
(Xn)n∈N of
W(A). Put
sA(X)=(sn(X))n∈N, where
sn(X)∈W(A). For
EXERCISES
every ring A, define the mapping sA of W(A) into W(W(A)) by the formula sA(a)=(sn(a))n∈N. Prove that sA is a ring homomorphism satisfying
sA∘FA=FW(A)∘sA
and
Φ0∘sA=IdW(A).
c) For every ring homomorphism u:B→A, one has
sA∘W(u)=W(W(u))∘sB.
d) The mappings W(sA)∘sA and sW(A)∘sA of W(A) into W(W(W(A))) are equal.
e) For every x∈A, one has sA(τA(x))=τW(A)(τA(x)).
f) One has sA∘VA=VW(A)∘sA, and the mapping sA is continuous when W(A) and W(W(A)) are endowed with the G topologies.