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$.

We are concerned with solving polynomial equations over rings. More precisely, given a commutative domain A with 1 and a polynomial equation antn + ...+ a0 = 0 with coefficients ai in A, our problem is to find its roots in A.We show that when A = B[x] is a polynomial ring, our problem can be reduced to solving a finite sequence of polynomial equations over B. As an application of this reduction, we obtain a finite algorithm for solving a polynomial equation over A when A is F[x1, ..., xN] or F(x1,...

Let $R$ be a commutative ring with identity and $A\left(R\right)$ be the set of ideals with nonzero annihilator. The strongly annihilating-ideal graph of $R$ is defined as the graph $\mathrm{SAG}\left(R\right)$ with the vertex set $A{\left(R\right)}^{*}=A\left(R\right)\setminus \left\{0\right\}$ and two distinct vertices $I$ and $J$ are adjacent if and only if $I\cap \mathrm{Ann}\left(J\right)\ne \left(0\right)$ and $J\cap \mathrm{Ann}\left(I\right)\ne \left(0\right)$. In this paper, the perfectness of $\mathrm{SAG}\left(R\right)$ for some classes of rings $R$ is investigated.

The Dedekind-Mertens lemma relates the contents of two polynomials and the content of their product. Recently, Epstein and Shapiro extended this lemma to the case of power series. We review the problem with a special emphasis on the case of power series, give an answer to a question posed by Epstein-Shapiro and investigate extensions of some related results. This note is of expository character and discusses the history of the problem, some examples and announces some new results.

We introduce and study a new class of ring extensions based on a new formula involving the heights of their primes. We compare them with the classical altitude inequality and altitude formula, and we give another characterization of locally Jaffard domains, and domains satisfying absolutely the altitude inequality (resp., the altitude formula). Then we study the extensions R ⊆ S where R satisfies the corresponding condition with respect to S (Definition 3.1). This leads to a new characterization...

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)$.

An extension $D\subseteq R$ of integral domains is strongly$t$-compatible (resp., $t$-compatible) if ${\left(IR\right)}^{-1}={\left(I^{-1}R\right)}_v$ (resp., ${\left(IR\right)}_v={\left(I_{v}R\right)}_v)$ for every nonzero finitely generated fractional ideal $I$ of $D$. We show that strongly $t$-compatible implies $t$-compatible and give examples to show that the converse does not hold. We also indicate situations where strong $t$-compatibility and its variants show up naturally. In addition, we study integral domains $D$ such that $D\subseteq R$ is strongly $t$-compatible (resp., $t$-compatible) for every overring $R$ of $D$.

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...