Soient $k$ un corps commutatif et $I=(p_1,\cdots ,p_m)k_n\left[X\right]$ un idéal de l’anneau des polynômes $k[X_1,\cdots ,X_n]$ (éventuellement $I=k_n\left[X\right]$). Nous prouvons une conjecture de C. Berenstein - A. Yger qui affirme que pour tout polynôme $p$, élément de la clôture intégrale $\overline{I}$ de l’idéal $I$, on a une représentation$$p^m=\sum _{1\le i\le m}{p}_i{q}_i,\text{avec}maxdeg\left(q_i{p}_i\right)\le mdegp+m{d}_1\cdots d_m,$$où $d_i=deg{p}_i,1\le i\le m$.

Let $I$ and $J$ be ideals of a Noetherian local ring $(R,𝔪)$ and let $M$ be a nonzero finitely generated $R$-module. We study the relation between the vanishing of $H_{I,J}^{dimM}\left(M\right)$ and the comparison of certain ideal topologies. Also, we characterize when the integral closure of an ideal relative to the Noetherian $R$-module $M/JM$ is equal to its integral closure relative to the Artinian $R$-module $H_{I,J}^{dimM}\left(M\right)$.

Using the flatification by blow-up result of Raynaud and Gruson, we obtain new results for submersive and subtrusive morphisms. We show that universally subtrusive morphisms, and in particular universally open morphisms, are morphisms of effective descent for the fibered category of étale morphisms. Our results extend and supplement previous treatments on submersive morphisms by Grothendieck, Picavet and Voevodsky. Applications include the universality of geometric quotients and the elimination...