Bourbaki

Exercise 44, § 1

Commutative Algebra, IX, p. 58

Let A be a ring. a) The set U^(A)\hat{U}(A) of elements of U(A)U(A) with nilpotent coordinates, zero except for a finite number of them, is an ideal of the ring U(A)U(A). For every n∈Jn \in J, it is stable under FnF_n and VnV_n. b) Let a∈U^(A)a \in \hat{U}(A). Then the element E(a)E(a) of Λ(A)\Lambda(A) is a polynomial in T. Its value at −1-1 is an invertible element of A, which is also, for every n∈Jn \in J, the value at −1-1 of the polynomial E(Vna)E(V_n a). c) If a∈U(A)a \in U(A) and b∈U^(A)b \in \hat{U}(A), we denote by ⟨a,b⟩\langle a, b \rangle the value at −1-1 of the polynomial E(ab)E(ab). Thus one defines a Z\mathbf{Z}-bilinear mapping of U(A)×U^(A)U(A) \times \hat{U}(A) into A∗A^*, and one has

⟨Fna,b⟩=⟨a,Vnb⟩⟨Vna,b⟩=⟨a,Fnb⟩for every n∈J. \langle F_n a, b \rangle = \langle a, V_n b \rangle \\ \langle V_n a, b \rangle = \langle a, F_n b \rangle \quad \text{for every } n \in J .

Solution

No solution has been written yet.

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