English
Related papers

Related papers: Ideal containment vs. powers

200 papers

We define the notion of a power stable ideal in a polynomial ring $ R[X]$ over an integral domain $ R $. It is proved that a maximal ideal $\chi$ $ M $ in $ R[X]$ is power stable if and only if $ P^t $ is $ P$- primary for all $ t\geq 1 $…

Commutative Algebra · Mathematics 2019-03-22 Pramod K. Sharma

The existence of a maximal ideal in a general nontrivial commutative ring is tied together with the axiom of choice. Following Berardi, Valentini and thus Krivine but using the relative interpretation of negation (that is, as "implies 0 =…

Commutative Algebra · Mathematics 2022-07-11 Ingo Blechschmidt , Peter Schuster

A homogeneous ideal $I$ of a polynomial ring $S$ is said to have the Rees property if, for any homogeneous ideal $J \subset S $ which contains $I$, the number of generators of $J$ is smaller than or equal to that of $I$. A homogeneous ideal…

Commutative Algebra · Mathematics 2013-05-14 Juan Migliore , Rosa M. Miró-Roig , Satoshi Murai , Uwe Nagel , Junzo Watanabe

Let $I$ be an ideal in a Noetherian ring $R$ and let $\widetilde{I}$ be its Ratliff-Rush closure. In this paper we study the asymptotic Ratliff-Rush number, i.e. $h(I)=\min\{n\in\mathbb N_+ \mid I^m=\widetilde{I^m}, \ \forall \ m\ge n\}$,…

Commutative Algebra · Mathematics 2025-07-04 Veronica Crispin Quinonez , Marco D'Anna , Vincenzo Micale

Let C be a commutative noetherian domain, G be a finitely generated abelian group which acts on C and B = C#G be the skew group ring. For a prime ideal I in C, we study the largest subring of B in which the right ideal IB becomes a…

Rings and Algebras · Mathematics 2020-09-24 Ruth A. Reynolds

There has arisen in recent years a substantial theory of "multiplier ideals'' in commutative rings. These are integrally closed ideals with properties that lend themselves to highly interesting applications. But how special are they among…

Commutative Algebra · Mathematics 2007-05-23 Joseph Lipman , Keiichi Watanabe

Broadening existing results in the literature to much wider classes of rings, we prove among other things: 1. Reduced quotients of excellent regular rings of characteristic $p$ admit big test elements, 2. The set of F-jumping numbers of a…

Commutative Algebra · Mathematics 2022-03-07 Neil Epstein

We introduce a new class of commutative {non-noetherian} rings, called $n$-subperfect rings, generalizing the almost perfect rings that have been studied recently by Fuchs-Salce. For an integer $n \ge 0$, the ring $R$ is $n$-subperfect if…

Commutative Algebra · Mathematics 2017-12-06 Laszlo Fuchs , Bruce Olberding

Let $B$ be a reduced local (Noetherian) ring with maximal ideal $M$. Suppose that $B$ contains the rationals, $B/M$ is uncountable and $|B| = |B/M|$. Let the minimal prime ideals of $B$ be partitioned into $m \geq 1$ subcollections $C_1,…

Commutative Algebra · Mathematics 2021-12-28 Cory H. Colbert , S. Loepp

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

Let $R$ be a maximal subring of a ring $T$, and $(R:T)$, $(R:T)_l$ and $(R:T)_r$ denote the greatest ideal, left ideal and right ideal of $T$ which are contained in $R$, respectively. It is shown that $(R:T)_l$ and $(R:T)_r$ are prime…

Rings and Algebras · Mathematics 2024-10-22 Alborz Azarang

We develop tools to study the problem of containment of symbolic powers $I^{(m)}$ in powers $I^r$ for a homogeneous ideal $I$ in a polynomial ring $k[{\bf P}^N]$ in $N+1$ variables over an algebraically closed field $k$. We obtain results…

Algebraic Geometry · Mathematics 2009-06-24 Cristiano Bocci , Brian Harbourne

Let R be an associative ring.In the paper we study n-generalized commutators of rings and prove that if R is a noncommutative prime ring and n > 2, then every nonzero n-generalized Lie ideal of R contains a nonzero ideal. Therefore, if R is…

Rings and Algebras · Mathematics 2021-06-28 Peter V. Danchev , Tsiu-Kwen Lee

In commutative ring theory, there is a theorem of Cohen which states that if in a commutative ring all prime ideals are finitely generated then every ideal is finitely generated. However, it is known that having only maximal ideals finitely…

Commutative Algebra · Mathematics 2018-07-10 Souvik Dey

This paper investigates situations where a property of a ring can be tested on a set of "prime right ideals." Generalizing theorems of Cohen and Kaplansky, we show that every right ideal of a ring is finitely generated (resp. principal) iff…

Rings and Algebras · Mathematics 2013-03-14 Manuel L. Reyes

For $a\in R$, let $P_a$ denote the intersection of all minimal prime ideals of $R$ containing $a$. An ideal $I$ of a ring $R$ is called a $z^{\circ}$-ideal if $P_a\subseteq I$ for all $a\in I$. In this paper, we first investigate the class…

General Topology · Mathematics 2025-05-22 A. Taherifar

Let $R$ be a commutative ring with a collection of ideals $\{ N_1, N_2, \dots, N_{k-1}\}$ satisfying certain conditions, properties of the set of invertible quadratic residues of the ring $R$ are described in terms of properties of the set…

Commutative Algebra · Mathematics 2022-07-11 Fernanda D. de Melo Hernández , Cesar A. Hernández Melo , Horacio Tapia-Recillas

In this paper we introduce the definition of a noetherian disjoint ring and that of a noetherian non-disjoint ring . For a noetherian ring R , with nilradical N if P and Q represent the semiprime ideals of R called as the right and the left…

Rings and Algebras · Mathematics 2016-08-31 C. L. Wangneo

Let $R$ be a finitely generated $\mathbb N$-graded algebra domain over a Noetherian ring and let $I$ be a homogeneous ideal of $R$. Given $P\in Ass(R/I)$ one defines the $v$-invariant $v_P(I)$ of $I$ at $P$ as the least $c\in \mathbb N$…

Commutative Algebra · Mathematics 2024-01-02 Aldo Conca

Let $R$ be a commutative ring, $Y\subseteq \mathrm{Spec}(R)$ and $ h_Y(S)=\{P\in Y:S\subseteq P \}$, for every $S\subseteq R$. An ideal $I$ is said to be an $\mathcal{H}_Y$-ideal whenever it follows from $h_Y(a)\subseteq h_Y(b)$ and $a\in…

Commutative Algebra · Mathematics 2018-07-31 A. R. Aliabad , M. Badie , S. Nazari