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