Algèbre commutative, IX, p. 44
a) Soit A un anneau tel que la multiplication par p⋅1A dans A soit injective. Alors il existe un unique homomorphisme d’anneaux sA de W(A) dans W(W(A)) qui vérifie
sA∘FA=FW(A)∘sA et
Φ0∘sA=IdW(A) (où
Φ0 est la projection de
W(W(A)) sur
W(A)). C’est aussi l’unique homomorphisme d’anneaux qui vérifie
Φn∘sA=FAn pour tout entier
n∈N (où
Φn:W(W(A))→W(A) est la
n-ième composante fantôme dans
W(W(A))). b) Considérons l’anneau
A=Z[(Xn)n∈N] des polynômes en une famille d’indéterminées
(Xn)n∈N. Soit X l’élément
(Xn)n∈N de
W(A). Posons
sA(X)=(sn(X))n∈N, où
sn(X)∈W(A). Pour
EXERCICES
tout anneau A, définissons l’application sA de W(A) dans W(W(A)) par la formule sA(a)=(sn(a))n∈N. Prouver que sA est un homomorphisme d’anneaux vérifiant
sA∘FA=FW(A)∘sA
et
Φ0∘sA=IdW(A).
c) Pour tout homomorphisme d’anneaux u:B→A, on a
sA∘W(u)=W(W(u))∘sB.
d) Les applications W(sA)∘sA et sW(A)∘sA de W(A) dans W(W(W(A))) sont égales.
e) Pour tout x∈A, on a sA(τA(x))=τW(A)(τA(x)).
f) On a sA∘VA=VW(A)∘sA, et l’application sA est continue quand on munit W(A) et W(W(A)) des topologies G.