Let $K$ be a field and $S=K[x_1,...,x_m,y_1,...,y_n]$ be the standard bigraded polynomial ring over $K$. In this paper, we explicitly describe the structure of finitely generated bigraded “sequentially Cohen-Macaulay” $S$-modules with respect to $Q=(y_1,...,y_n)$. Next, we give a characterization of sequentially Cohen-Macaulay modules with respect to $Q$ in terms of local cohomology modules. Cohen-Macaulay modules that are sequentially Cohen-Macaulay with respect to $Q$ are considered.

In this note we give a description of a morphism related to the structure of the canonical model of the Rees algebra R(I) of an ideal I in a local ring. As an application we obtain Ikeda's criteria for the Gorensteinness of R(I) and a result of Herzog-Simis-Vasconcelos characterizing when the canonical module of R(I) has the expected form.

Let $(R,𝔪)$ be a standard graded $K$-algebra over a field $K$. Then $R$ can be written as $S/I$, where $I\subseteq {(x_1,...,x_n)}^2$ is a graded ideal of a polynomial ring $S=K[x_1,...,x_n]$. Assume that $n\ge 3$ and $I$ is a strongly stable monomial ideal. We study the symmetric algebra ${\mathrm{Sym}}_R\left({\mathrm{Syz}}_1\left(𝔪\right)\right)$ of the first syzygy module ${\mathrm{Syz}}_1\left(𝔪\right)$ of $𝔪$. When the minimal generators of $I$ are all of degree 2, the dimension of ${\mathrm{Sym}}_R\left({\mathrm{Syz}}_1\left(𝔪\right)\right)$ is calculated and a lower bound for its depth is obtained. Under suitable conditions, this lower bound is reached.

We describe an ultrametric version of the Stone-Weierstrass theorem, without any assumption on the residue field. If $E$ is a subset of a rank-one valuation domain $V$, we show that the ring of polynomial functions is dense in the ring of continuous functions from $E$ to $V$ if and only if the topological closure $\widehat{E}$ of $E$ in the completion $\widehat{V}$ of $V$ is compact. We then show how to expand continuous functions in sums of polynomials.

Let be a proper ideal of a commutative Noetherian ring R of prime characteristic p and let Q() be the smallest positive integer m such that ${{(}^F)}^{\left[p^m\right]}{=}^{\left[p^m\right]}$, where ${}^F$ is the Frobenius closure of . This paper is concerned with the question whether the set $Q{(}^{\left[p^m\right]}):m\in \mathbb{N}₀$ is bounded. We give an affirmative answer in the case that the ideal is generated by an u.s.d-sequence c₁,..., cₙ for R such that (i) the map $R/{\sum }_{j=1}^{n}R{c}_j\to R/{\sum }_{j=1}^{n}Rc{²}_j$ induced by multiplication by c₁...cₙ is an R-monomorphism; (ii) for all $\in ass(c{₁}^j,...,c{ₙ}^j)$, c₁/1,..., cₙ/1 is a $R_{}$-filter regular sequence...

In 2000 A. Alesina and M. Galuzzi presented Vincent’s theorem “from a modern point of view” along with two new bisection methods derived from it, B and C. Their profound understanding of Vincent’s theorem is responsible for simplicity — the characteristic property of these two methods. In this paper we compare the performance of these two new bisection methods — i.e. the time they take, as well as the number of intervals they examine in order to isolate the real roots of polynomials — against that...

In this paper, we define Gorenstein injective rings, Gorenstein injective modules and their envelopes. The main topic of this paper is to show that if $D$ is a Gorenstein integral domain and $M$ is a left $D$-module, then the torsion submodule $tGM$ of Gorenstein injective envelope $GM$ of $M$ is also Gorenstein injective. We can also show that if $M$ is a torsion $D$-module of a Gorenstein injective integral domain $D$, then the Gorenstein injective envelope $GM$ of $M$ is torsion.