English
Related papers

Related papers: Containment Counterexamples for ideals of various …

200 papers

In this article we study inequalities of ideal norms. We prove that in a subring $R$ of a number field every ideal can be generated by at most $3$ elements if and only if the ideal norm satisfies $N(IJ) \geq N(I)N(J)$ for every pair of…

Number Theory · Mathematics 2022-01-19 Stefano Marseglia

Given a radical ideal $I$ in a regular ring $R$, the Containment Problem of symbolic and ordinary powers of $I$ consists of determining when the containment $I^{(a)} \subseteq I^b$ holds. By work of Ein-Lazersfeld-Smith, Hochster-Huneke and…

Commutative Algebra · Mathematics 2017-08-21 Eloísa Grifo , Craig Huneke

Given a homogeneous ideal $I \subseteq k[x_0,\dots,x_n]$, the Containment problem studies the relation between symbolic and regular powers of $I$, that is, it asks for which pair $m, r \in \mathbb{N}$, $I^{(m)} \subseteq I^r$ holds. In the…

Commutative Algebra · Mathematics 2021-01-19 Edoardo Ballico , Giuseppe Favacchio , Elena Guardo , Lorenzo Milazzo , Abu Chackalamannil Thomas

Guided by evidence coming from a few key examples and attempting to unify previous work of Chudnovsky, Esnault-Viehweg, Eisenbud-Mazur, Ein-Lazarsfeld-Smith, Hochster-Huneke and Bocci-Harbourne, Harbourne and Huneke recently formulated a…

Algebraic Geometry · Mathematics 2013-06-18 Cristiano Bocci , Susan Cooper , Brian Harbourne

Let R denote a commutative Noetherian ring and let I be an ideal of R such that H_i^I(R) = 0, for all integers i greater than or equal to 2. In this paper we shall prove some results concerning the homological properties of I.

Commutative Algebra · Mathematics 2017-05-05 G. Pirmohammadi , K. Ahmadi Amoli , K. Bahmanpour

In this paper, the containment problem for the defining ideal of a special type of zero dimensional subschemes of $\mathbb{P}^2$, so called quasi star configurations, is investigated. Some sharp bounds for the resurgence of these types of…

Algebraic Geometry · Mathematics 2017-03-09 Hassan Haghighi , Mohammad Mosakhani

In this note we show that in a commutative ring $R$ with unity, for any $n > 0$, if $I$ is an $n$-absorbing ideal of $R$, then $(\sqrt{I})^{n} \subseteq I$.

Commutative Algebra · Mathematics 2016-11-01 Hyun Seung Choi , Andrew Walker

Let $R$ be a polynomial ring in $N$ variables over an arbitrary field $K$ and let $I$ be an ideal of $R$ generated by $n$ polynomials of degree at most 2. We show that there is a bound on the projective dimension of $R/I$ that depends only…

Commutative Algebra · Mathematics 2011-06-07 Tigran Ananyan , Melvin Hochster

One point compactification is studied in the light of ideal of subsets of $\mathbb{N}$. $\mathcal{I}$-proper map is introduced and showed that a continuous map can be extended continuously to the one point $\mathcal{I}$-compactification if…

General Topology · Mathematics 2021-12-06 Manoranjan Singha , Sima Roy

Given an ideal $I$, the containment problem is concerned about finding the values $m$ and $n$ such that the $m$-th symbolic power of $I$ is contained in its $n$-th ordinary power. In this paper we consider this problem focusing on two…

Commutative Algebra · Mathematics 2019-12-24 Iman Bahmani Jafarloo , Giuseppe Zito

In this paper, we consider the N-pure notion. An ideal $I$ of a ring $R$ is said to be N-pure, if for every $a\in I$ there exists $b\in I$ such that $a(1-b)\in N(R)$, where N(R) is nil radical of $R$. We provide new characterizations for…

Commutative Algebra · Mathematics 2022-07-26 Mohsen Aghajani

In the paper we prove the containment $I^{(nm)}\subset M^{(n-1)m}I^m$, for a radical ideal $I$ of $s$ general points in $\mathbb{P}^n$, where $s\geq 2^n$. As a corollary we get that the Chudnovsky Conjecture holds for a very general set of…

Algebraic Geometry · Mathematics 2016-11-28 Marcin Dumnicki , Halszka Tutaj-Gasinska

We prove an assortment of results on (commutative and unital) NIP rings, especially $\mathbb{F}_p$-algebras. Let $R$ be a NIP ring. Then every prime ideal or radical ideal of $R$ is externally definable, and every localization $S^{-1}R$ is…

Logic · Mathematics 2022-07-20 Will Johnson

Let $R$ be a commutative ring with identity. An ideal $I$ of $R$ is said to be a big ideal (resp. an upper big ideal) if whenever $J\subsetneqq I$ (resp. $I\subsetneqq J$), $J^{n}\subsetneqq I^{n}$ (resp. $I^{n}\subsetneqq J^{n}$) for every…

Commutative Algebra · Mathematics 2022-03-10 Abdeslam Mimouni

Let $R$ be a polynomial ring over a field of characteristic zero and let $I \subset R$ be a graded ideal of height $N$ which is minimally generated by $N+1$ homogeneous polynomials. If $I=(f_1,...,f_{N+1})$ where $f_i$ has degree $d_i$ and…

Commutative Algebra · Mathematics 2010-10-20 Bahman Engheta

We consider a combinatorial property isolated in the field of ideal convergence, a P-property for two ideals on natural numbers. We show that among selected ideals induced by disjoint families, not all pairs satisfy P-property for two…

General Topology · Mathematics 2023-06-16 Adam Marton , Jaroslav Supina

In [2] the author claims to provide a counterexample to a result in a recent paper [1]. In this note, we prove that the details of his example is false and this example is compatible with our result in [1] and so is not a countreexample.

Functional Analysis · Mathematics 2025-07-03 Elmiloud Chil

Let R be an excellent local ring, m its maximal ideal and I an ideal. Then there exists a positive integer c such that for all integers n, the integral closure of (I + m^n) is contained in m^(n/c) + the integral closure of I. In the proof,…

Commutative Algebra · Mathematics 2007-05-23 Donatella Delfino , Irena Swanson

In this note we show that Harbourne's conjecture is true for symbolic powers of ideals of points, we check that the stable version of this conjecture is valid for ideals of very general points (resp. generic points) in $\mathbb P_{\mathbb…

Commutative Algebra · Mathematics 2019-03-27 Stefan Tohaneanu , Yu Xie

This paper is concerned with determining the number of generators in each degree for minimal sets of homogeneous generators for saturated ideals defining fat point subschemes $Z=m_1p_1+ ... +m_rp_r$ for general sets of points $p_i$ of…

alg-geom · Mathematics 2008-02-03 Brian Harbourne