English
Related papers

Related papers: Uniform Harbourne-Huneke Bounds via Flat Extension…

200 papers

Let $\mathbf{k}$ be a field which is either finite or algebraically closed and let $R = \mathbf{k}[x_1,\ldots,x_n].$ We prove that any $g_1,\ldots,g_s\in R$ homogeneous of positive degrees $\le d$ are contained in an ideal generated by an…

Commutative Algebra · Mathematics 2023-10-02 Amichai Lampert

Let $d_1,...,d_r$ be positive integers and let $I = (F_1,...,F_r)$ be an ideal generated by general forms of degrees $d_1,...,d_r$, respectively, in a polynomial ring $R$ with $n$ variables. When all the degrees are the same we give a…

Commutative Algebra · Mathematics 2007-05-23 J. Migliore , R. M. Miró-Roig

Let $I$ and $J$ be two ideals of a commutative Noetherian ring $R$ and $M$ be an $R$-module. For a non-negative integer $n$ it is shown that, if the sets $\Ass_R(\Ext^{n} _{R}(R/I,M))$ and $\Supp_R(\Ext^{i}_{R}(R/I,H^{j}_{I,J} (M)))$ are…

Commutative Algebra · Mathematics 2015-02-18 Kh. Ahmadi Amoli , Z. Habibi , M. Jahangiri

Building on previous work by the same authors, we show that certain ideals defining Gorenstein rings have expected resurgence, and thus satisfy the stable Harbourne Conjecture. In prime characteristic, we can take any radical ideal defining…

Commutative Algebra · Mathematics 2020-07-28 Eloísa Grifo , Craig Huneke , Vivek Mukundan

When $I$ is the radical homogeneous ideal of a finite set of points in projective $N$-space, ${\bf P}^N$, over a field $K$, it has been conjectured that $I^{(rN-N+1)}$ should be contained in $I^r$ for all $r\geq 1$. Recent counterexamples…

Algebraic Geometry · Mathematics 2013-06-18 Brian Harbourne , Alexandra Seceleanu

In [HSS], Conjecture 5.5.2, Harbourne, Schenck and Seceleanu conjectured that, for $r=6$ and all $r\ge 8$, the artinian ideal $I=(\ell _1^2,\dots ,l_{r+1}^2)\subset K[x_1, \dots ,x_r]$ generated by the square of $r+1$ general linear forms…

Commutative Algebra · Mathematics 2016-06-03 Rosa M. Miró-Roig

Let $A$ be a Dedekind domain of characteristic zero such that for each height one prime ideal $\mathfrak{p}$ in $A$, the local ring $A_{\mathfrak{p}}$ has mixed characteristic with finite residue field. Suppose that $R=A[X_1,\ldots,X_n]$ is…

Commutative Algebra · Mathematics 2026-03-27 Sayed Sadiqul Islam , Tony J. Puthenpurakal

Given a unital associative ring S and a subring R, we say that S is an ideal (or Dorroh) extension of R if for some ideal I of S, S = R + I, where the sum is direct. In this note we investigate the ideal structure of an arbitrary ideal…

Rings and Algebras · Mathematics 2010-08-12 Zachary Mesyan

Over a field of characteristic zero, we prove that for each r, there exists a constant C(r) so that the prime ideal of the rth secant variety of any Veronese embedding of any projective space is generated by polynomials of degree at most…

Commutative Algebra · Mathematics 2017-01-12 Steven V Sam

Let $(A,\mathfrak{m})$ be a hypersurface local ring of dimension $d \geq 1$ and let $I$ be an $\mathfrak{m}$-primary ideal. We show that there is a non-negative integer $r_I$ (depending only on $I$) such that if $M$ is any non-free maximal…

Commutative Algebra · Mathematics 2025-08-13 Tony J. Puthenpurakal

Let I be a finitely supported complete m-primary ideal of a regular local ring (R, m). A theorem of Lipman implies that I has a unique factorization as a *-product of special *-simple complete ideals with possibly negative exponents for…

Commutative Algebra · Mathematics 2014-01-15 William Heinzer , Mee-Kyoung Kim , Matthew Toeniskoetter

In this paper, we study defining ideals of numerical semigroup rings. Let $H$ be a numerical semigroup with multiplicity $a_0$ and embedding dimension $n$. Assuming $a_0/2+1\leq n$, we prove that the defining ideal of $H$ is determinantal…

Commutative Algebra · Mathematics 2025-12-17 Kou Takahashi

$(1)$ Let $M\subset N$ be a commutative cancellative torsion-free and subintegral extension of monoids. Then we prove that in the case of ring extension $A[M]\subset A[N]$, the two notions, subintegral and weakly subintegral coincide…

Commutative Algebra · Mathematics 2025-07-21 Md Abu Raihan , Leslie G. Roberts , Husney Parvez Sarwar

Suppose that R is a two-dimensional normal standard-graded domain over a finite field. We prove that there exists a uniform Frobenius test exponent b for the class of homogeneous ideals in R generated by at most n elements. This means that…

Commutative Algebra · Mathematics 2007-05-23 Holger Brenner

A minimum depth d^I(S --> R) is assigned to a ring homomorphism S --> R and a R-R-bimodule I. The recent notion of depth of a subring d(S,R)in a paper by Boltje-Danz-Kuelshammer is recovered when I = R and S --> R is the inclusion mapping.…

Rings and Algebras · Mathematics 2010-12-09 Lars Kadison

Let $I = ( f_1, \dots, f_n )$ be a homogeneous ideal in the polynomial ring $K[x_1, \dots,x_n]$ over a field $K$ generated by generic polynomials. Using an incremental approach based on a method by Gao, Guan and Volny, and properties of the…

Commutative Algebra · Mathematics 2017-12-11 Juliane Capaverde , Shuhong Gao

Let $\mathcal{I}$ be a meager ideal on $\mathbf{N}$. We show that if $x$ is a sequence with values in a separable metric space then the set of subsequences [resp. permutations] of $x$ which preserve the set of $\mathcal{I}$-cluster points…

General Topology · Mathematics 2020-09-22 Marek Balcerzak , Paolo Leonetti

Let $(R, \frak m)$ be a local ring of prime characteristic $p$ of dimension $d$ with the embedding dimension $v$. Suppose the Frobenius test exponent for parameter ideals $Fte(R)$ of $R$ is finite, and let $Q = p^{Fte(R)}$. It is shown that…

Commutative Algebra · Mathematics 2019-10-17 Duong Thi Huong , Pham Hung Quy

We study the ring extensions R \subseteq T having the same set of prime ideals provided Nil(R) is a divided prime ideal. Some conditions are given under which no such T exist properly containing R. Using idealization theory, the examples…

Commutative Algebra · Mathematics 2020-05-13 Rahul Kumar , Atul Gaur

Let $R$ be a commutative Noetherian ring, $I$ an ideal, $M$ and $N$ finitely generated $R$-modules. Assume $V(I)\cap Supp(M)\cap Supp(N)$ consists of finitely many maximal ideals and let ${\l}(\e^i(N/I^nN,M))$ denote the length of…

Commutative Algebra · Mathematics 2007-05-23 Emanoil Theodorescu