Savoir & Culture

Hello, on cherche à montrer qu'il existe une surjection de A[X1, Y1, ..... Xr,Yr] vers A[X1, X1-1;...;Xr;Xr-1]:
je vois d'où vient l'idée (essayer de lier les monoïdes ) mais ce que je ne comprends pas est comment on montre que v tilde est injectif , quelqu'un aurait une idée?

merci d'avance

up

Comme v est injective, les e_{v(n)} constituent une famille libre dans A[N_2], d'où l'injectivité de v tilde.

ah mais c'est trivial quand j'y pense cimer mec !

np