On the kernel of a monadic transformation (Q1104987)

Soit A un anneau commutatif, unitaire et noethérien, I un idéal de A et \(b_ 0,...,b_ h\) des éléments de A qui ne sont pas des unités. On note - \(A^*(I)=:\cap_{n\gg 0}Ass(A/(\overline{I^ n}))\quad l'ensemble\) des premiers asymptotiques de I, où la barre désigne la clôture intégrale de \(I^ n\) dans A, - \(Q(I)=:\{{\mathfrak p}\in Spec(A)\); \(\exists {\mathfrak z}\in Ass(A^*_{{\mathfrak p}})\) tel que \((I.A^*_{{\mathfrak p}},{\mathfrak z})\) est \({\mathfrak p}.A^*_{{\mathfrak p}}\)-primaire\(\}\) l'ensemble des premiers quintessentiels de I, où \(A^*_{{\mathfrak p}}\) désigne la complétion naturelle de l'anneau \(A_{{\mathfrak p}}\) localisé de A en \({\mathfrak p},\) - \(E(I)=:\{{\mathfrak p}\cap A\); \({\mathfrak p}\in Q(uR(A,I))\}\) l'ensemble des premiers essentiels de I, où \textit{R}(A,I)\(=:A[u,tI]\) \((u=1/t)\) est l'anneau (gradué) de Rees de A par rapport à I. On a des notions de suite asymptotique et essentielle parallèlant celle de suite régulière. Posons \(B=A[X_ 1,...,X_ h]\) et H le noyau de l'homomorphisme \(B\to A[b_ 1/b_ 0,...,b_ h/b_ 0]\) appliquant \(X_ i\) sur \(b_ i/b_ 0\) \((i=1,...,h)\). H contient l'idéal K engendré dans B par les formes \(b_ 0X_ i-b_ i\) \((i=1,...,h)\) et l'auteur décrit précisément les premiers asymptotiques, quintessentiels et essentiels de K. Lorsque \(b_ 0,...,b_ h\) est une suite asymptotique, essentielle ou régulière cette description est substantiellement raffinée. Enfin, comme application de ces résultats l'auteur montre, en particulier, que \(b_ 0,...,b_ h\) est une suite essentielle dans A si est seulement si K a exactement g premiers essentiels où \(g=card\{{\mathfrak z}\in Ass(A); b_ 0\not\in {\mathfrak z}\}\).