Bourbaki

Exercise 2, § 1

Commutative Algebra, IX, p. 42

Let AA denote the ring Z[(Xn)n∈N,(Yn)n∈N]\mathbf{Z}[(X_n)_{n \in \mathbf{N}}, (Y_n)_{n \in \mathbf{N}}] of polynomials in the two families of indeterminates (Xn)(X_n) and (Yn)(Y_n), and BB the ring Z[X,Y]\mathbf{Z}[X, Y] of polynomials in two indeterminates XX and YY. For every polynomial RR of BB, there exists a unique sequence of polynomials (Rn)n∈N(R_n)_{n \in \mathbf{N}} of AA such that, for every n∈Nn \in \mathbf{N}, one has

R(Φn(X0,...,Xn),Φn(Y0,...,Yn))=Φn(R0,...,Rn). R(\Phi_n(X_0, ..., X_n), \Phi_n(Y_0, ..., Y_n)) = \Phi_n(R_0, ..., R_n).

One has R0=R(X0,Y0)R_0 = R(X_0, Y_0) and RnR_n does not depend on the XiX_i and YiY_i for i>ni > n. If RR is homogeneous of degree rr with respect to XX (resp. YY, resp. (X,Y)(X, Y)) and if for every i∈Ni \in \mathbf{N} one assigns the weight pip^i to XiX_i and YiY_i, then RnR_n is isobaric of weight rpnrp^n with respect to (Xi)i∈N(X_i)_{i \in \mathbf{N}} (resp. (Yi)i∈N(Y_i)_{i \in \mathbf{N}}, resp. ((Xi)i∈N,(Yi)i∈N)((X_i)_{i \in \mathbf{N}}, (Y_i)_{i \in \mathbf{N}})). If RR is constant, RnR_n is constant. Examine the cases R=0,1,−1,X+Y,XY,−XR = 0, 1, -1, X + Y, XY, -X.

Solution

No solution has been written yet.

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