English
Related papers

Related papers: A cancellation theorem for ideals

200 papers

One of the many equivalent formulation of the K\"othe's conjecture is the assertion that there exists no ring which contains two nil right ideals whose sum is not nil. We discuss several consequences of an observation that if the Koethe…

Rings and Algebras · Mathematics 2020-01-30 Peter Kálnai , Jan Žemlička

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

In this paper, we introduce generalized Gorenstein local (GGL) rings. The notion of GGL rings is a natural generalization of the notion of almost Gorenstein rings, which can thus be treated as part of the theory of GGL rings. For a…

Commutative Algebra · Mathematics 2026-01-26 Shiro Goto , Shinya Kumashiro

In this article we investigate when a complete ideal in a two-dimensional regular local ring is a multiplier ideal of some ideal with an integral multiplying parameter. In particular, we show that this question is closely connected to the…

Commutative Algebra · Mathematics 2007-05-23 Eero Hyry , Yukio Nakamura , Lauri Ojala

We consider trace ideals in Noetherian rings and focus our attention to one-dimensional analytically irreducible local rings. For such rings we classify those Gorenstein rings which admit only a finite number of trace ideals.

Commutative Algebra · Mathematics 2021-12-09 Jürgen Herzog , Masoomeh Rahimbeigi

In this paper, we prove some well-known results on local cohomology with respect to a pair of ideals in graded version, such as, Independence Theorem, Lichtenbaum-Harshorne Vanishing Theorem, Basic Finiteness and Vanishing Theorem, among…

Commutative Algebra · Mathematics 2015-01-28 P. H. Lima , V. H. Jorge Perez

We introduce an idea for generalization of a local cohomology module, which we call a local cohomology module with respect to a pair of ideals (I,J), and study their various properties. Some vanishing and nonvanishing theorems are given for…

Commutative Algebra · Mathematics 2008-08-01 Ryo Takahashi , Yuji Yoshino , Takeshi Yoshizawa

Let $R$ be a commutative ring with identity, $S\subseteq R$ be a multiplicative set and $J$ be an ideal of $R$. In this paper, we introduce the concept of $S$-$J$-Noetherian rings, which generalizes both $J$-Noetherian rings and…

Commutative Algebra · Mathematics 2025-12-18 Tushar Singh , Ajim Uddin Ansari , Shiv Datt Kumar

In this paper we characterize, in algebraic and geometric terms, when a graded vanishing ideal is generated by binomials over any field K.

Commutative Algebra · Mathematics 2015-04-28 Azucena Tochimani , Rafael H. Villarreal

We study criteria for a ring - or more generally, for a small category - to be Gorenstein and for a module over it to be of finite projective dimension. The goal is to unify the universal coefficient theorems found in the literature and to…

K-Theory and Homology · Mathematics 2020-07-27 Ivo Dell'Ambrogio , Greg Stevenson , Jan Stovicek

Given a minimal set of generators $\bold{x}$ of an ideal $I$ of height d in a regular local ring ($R, m, k$) we prove several cases for which the map $K_d(\bold{x}; R) \otimes k \to \Tor_d^R (R/I, k)$ is the 0-map. As a consequence of the…

Commutative Algebra · Mathematics 2013-05-09 Sankar P. Dutta

Let $K$ be a field, and $A=K[a_1,\ldots ,a_n]$ a solvable polynomial algebra in the sense of [K-RW, {\it J. Symbolic Comput.}, 9(1990), 1--26]. Based on the Gr\"obner basis theory for $A$ and for free modules over $A$, an elimination theory…

Rings and Algebras · Mathematics 2019-01-15 Huishi Li

Quasi-socle ideals, that is the ideals $I$ of the form $I= Q : \mathfrak{m}^q$ in a Noetherian local ring $(A, \mathfrak{m})$ with the Gorenstein tangent cone $\mathrm{G}(\mathfrak{m}) = \bigoplus_{n \geq…

Commutative Algebra · Mathematics 2008-07-29 Shiro Goto , Satou Kimura , Naoyuki Matsuoka , Tran Thi Phuong

In this article we first compare the set of elements in the socle of an ideal of a polynomial algebra $K[x_1,\ldots,x_d]$ over a field $K$ that are not in the ideal itself and Macaulay's inverse systems of such polynomial algebras in a…

Commutative Algebra · Mathematics 2023-09-26 Geir Agnarsson , Neil Epstein

We establish a series of results showing that the Jacobian ideal is contained in the test ideal. We first prove a new result in characteristic $p$ for complete rings over a field $K$. Then we prove some results showing that Jacobian ideals…

Commutative Algebra · Mathematics 2022-09-20 Zhan Jiang

We give a sufficient condition for a model theoretic structure $B$ to 'inherit' quantifier elimination from another structure $A$. This yields an alternative proof of one of the main result from \cite{kle}, namely quantifier elimination for…

Logic · Mathematics 2025-03-25 Maximilian Illmer , Tim Netzer

The theory of small cancellation groups is well known. In this paper we introduce the notion of Group-like Small Cancellation Ring. This is the main result of the paper. We define this ring axiomatically, by generators and defining…

Rings and Algebras · Mathematics 2022-06-16 A. Atkarskaya , A. Kanel-Belov , E. Plotkin , E. Rips

We give a new proof of the main theorem in the theory of C(6) small cancellation complexes. We prove the fundamental theorem of cubical small cancellation theory for C(9) cubical small cancellation complexes.

Group Theory · Mathematics 2017-12-01 Kasia Jankiewicz

This paper explores the structure of quasi-socle ideals I=Q:m^2 in a Gorenstein local ring A, where Q is a parameter ideal and m is the maximal ideal in A. The purpose is to answer the problem of when Q is a reduction of I and when the…

Commutative Algebra · Mathematics 2007-07-28 Shiro Goto , Naoyuki Matsuoka , Ryo Takahashi

Walker's cancellation theorem says that if B+Z is isomorphic to C+Z in the category of abelian groups, then B is isomorphic to C. We construct an example in a diagram category of abelian groups where the theorem fails. As a consequence, the…

Logic · Mathematics 2015-10-09 Robert Lubarsky , Fred Richman