Bourbaki

Exercise 13, § 1

Commutative Algebra, IX, p. 44

Let A be a ring of characteristic pp. The filtration of W(A)W(A) by the ideals Vn(A)V_n(A) is compatible with the ring structure of W(A)W(A), and grV(W(A))\mathrm{gr}_V(W(A)) denotes the associated graded ring. For every integer n≥0n \geq 0, let φ∗nA\varphi^n_*A denote the ring A endowed with the structure of an A-algebra given by the homomorphism φn:A→A\varphi^n : A \to A, where φ\varphi denotes raising to the pp-th power. Prove that, for every integer n≥0n \geq 0, the mapping of A into Vn(A)/Vn+1(A)V_n(A)/V_{n+1}(A) which to x∈Ax \in A associates the class of Vnτ(x)V^n \tau(x) is an isomorphism of the A-module φ∗nA\varphi^n_*A onto the A-module grVn(W(A))\mathrm{gr}_V^n(W(A)). Endow the A-module ⨁n∈Nφ∗nA\bigoplus_{n \in \mathbf{N}} \varphi^n_*A with the structure of a graded ring given by the mappings (x,y)↦φnx⋅φmy(x, y) \mapsto \varphi^n x \cdot \varphi^m y of φ∗mA×φ∗nA\varphi^m_*A \times \varphi^n_*A into φ∗m+nA\varphi^{m+n}_*A (for every pair of positive integers (m,n)(m, n)). Now prove that the preceding isomorphisms define an isomorphism of graded A-algebras of ⨁n∈Nφ∗nA\bigoplus_{n \in \mathbf{N}} \varphi^n_*A onto grV(W(A))\mathrm{gr}_V(W(A)).

Solution

No solution has been written yet.

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