Algèbre commutative, IX, p. 58
Soit A un anneau. a) L’ensemble U^(A) des éléments de U(A) à coordonnées nilpotentes, nulles sauf un nombre fini d’entre elles, est un idéal de l’anneau U(A). Pour tout n∈J, il est stable par Fn et Vn. b) Soit a∈U^(A). Alors l’élément E(a) de Λ(A) est un polynôme en T. Sa valeur en −1 est un élément inversible de A, qui est aussi, pour tout n∈J, la valeur en −1 du polynôme E(Vna). c) Si a∈U(A) et b∈U^(A), on note ⟨a,b⟩ la valeur en −1 du polynôme E(ab). On définit ainsi une application Z-bilinéaire de U(A)×U^(A) dans A∗ et on a
⟨Fna,b⟩=⟨a,Vnb⟩⟨Vna,b⟩=⟨a,Fnb⟩pour tout n∈J.