Algèbre commutative, IX, p. 42
Notons A l’anneau Z[(Xn)n∈N,(Yn)n∈N] des polynômes en les deux familles d’indéterminées (Xn) et (Yn), et B l’anneau Z[X,Y] des polynômes en deux indéterminées X et Y. Pour tout polynôme R de B, il existe une suite unique de polynômes (Rn)n∈N de A telle que l’on ait, pour tout n∈N,
R(Φn(X0,...,Xn),Φn(Y0,...,Yn))=Φn(R0,...,Rn).
On a R0=R(X0,Y0) et Rn ne dépend pas des Xi et Yi pour i>n. Si R est homogène de degré r par rapport à X (resp. Y, resp. (X,Y)) et qu’on attribue pour tout i∈N, le poids pi à Xi et Yi, alors Rn est isobare de poids rpn par rapport à (Xi)i∈N (resp. (Yi)i∈N, resp. ((Xi)i∈N,(Yi)i∈N)). Si R est constant, Rn est constant. Examiner les cas R=0,1,−1,X+Y,XY,−X.