English
Related papers

Related papers: Chains of Unusual Excellent Local Rings

200 papers

Let $(A,\mathfrak{m})$ be a regular local ring of dimension $d \geq 1$, $I$ an $\mathfrak{m}$-primary ideal. Let $N$ be a non-zero finitely generated $A$-module. Consider the functions \[ t^I(N, n) = \sum_{i = 0}^{ d}\ell(\text{Tor}^A_i(N,…

Commutative Algebra · Mathematics 2024-12-04 Tony J. Puthenpurakal

In this paper, we show examples of local cohomology modules over ramified regular local ring, having finite set of associated primes. In doing so we consider our ramified regular local ring as Eisenstein extension of an unramified regular…

Commutative Algebra · Mathematics 2024-04-09 Rajsekhar Bhattacharyya

This paper shows the existence of ideals whose localizations and completions at prime ideals are parameter test ideals of the localized and completed rings. We do this for Cohen-Macaulay localizations (resp., completions) of non-local…

Commutative Algebra · Mathematics 2017-05-09 Mordechai Katzman , Serena Murru , Juan D. Velez , Wenliang Zhang

In this article, we construct integrally closed modules of rank two over a two-dimensional regular local ring. The modules are explicitly constructed from a given complete monomial ideal with respect to a regular system of parameters. Then…

Commutative Algebra · Mathematics 2018-09-24 Futoshi Hayasaka

We address two aspects of finitely generated modules of finite projective dimension over local rings and their connection in between: embeddability and grade of order ideals of minimal generators of syzygies. We provide a solution of the…

Commutative Algebra · Mathematics 2014-07-02 Sankar P. Dutta

Let $M$ be a left module over a ring $R$ and $I$ an ideal of $R$. We call $(P, f)$ a (locally)projective $I$-cover of $M$ if $f$ is an epimorphism from $P$ to $M$, $P$ is (locally)projective, $Kerf\subseteq IP$, and whenever $P=Kerf+X$,…

Rings and Algebras · Mathematics 2011-08-11 Yongduo Wang

For each $i \geq 0$, we study the trace ideal of the $i$-th exterior power of the module of differentials. We show that these ideals characterize the polynomial rank of graded rings and the formal power series rank of complete local rings,…

Commutative Algebra · Mathematics 2026-05-04 Ryo Ishizuka , Sora Miyashita

If $R$ is a topological ring then $R^{\ast}$, the group of units of $R$, with the subspace topology is not necessarily a topological group. This leads us to the following natural definition: By an \emph{absolute topological ring} we mean a…

Commutative Algebra · Mathematics 2025-05-23 Abolfazl Tarizadeh

Let (R,m) be a complete Noetherian local ring and let M be a finite R--module of positive Krull dimension n. It is shown that any subset T of Assh_R(M) can be expressed as the set of attached primes of the top local cohomology module…

Commutative Algebra · Mathematics 2007-05-23 Mohammad T. Dibaei , Raheleh Jafari

Let $(A,\mathfrak{m})$ be an analytically un-ramified Noetherian local ring of dimension $d \geq 1$, $I$ a regular $\mathfrak{m}$-primary ideal of $A$ and let $\overline{I}$ be integral closure ideal of $I$. If $A$ is of characteristic $p >…

Commutative Algebra · Mathematics 2026-04-07 Tony J. Puthenpurakal , Samarendra Sahoo

Let (R,m) be a Noetherian local domain of dimension n that is essentially finitely generated over a field and let R^ denote the m-adic completion of R. Matsumura has shown that n-1 is the maximal height possible for prime ideals of R^ in…

Commutative Algebra · Mathematics 2014-04-11 William Heinzer , Christel Rotthaus , Sylvia Wiegand

Let $(R, \mathfrak m)$ be a commutative noetherian local ring and $I$ an ideal of $R$. For every $R$-module $M$, $\gamma_I(M) = \sum\{ \operatorname{Bi} f \,|\, f \in \operatorname{Hom}_R(I,M)\}$ is called the trace of $I$ in $M$. It is…

Commutative Algebra · Mathematics 2018-04-13 Helmut Zöschinger

In this paper, we study conditions guaranteeing that a product of ideals defines a Golod ring. We show that for a $3$-dimensional regular local ring (or $3$-variable polynomial ring) $(R , \m)$, the ideal $I \m$ always defines a Golod ring…

Commutative Algebra · Mathematics 2022-01-27 Keller VandeBogert

Let $R$ be a noetherian ring, $\fa$ an ideal of $R$ such that $\dim R/\fa=1$ and $M$ a finite $R$--module. We will study cofiniteness and some other properties of the local cohomology modules $\lc^{i}_{\fa}(M)$. For an arbitrary ideal $\fa$…

Commutative Algebra · Mathematics 2008-10-23 Moharram Aghapournahr , Leif Melkersson

Given an iterated skew polynomial ring C[y_1;t_1,d_1]ldots [y_n;t_n,d_n] over a complete local ring C with maximal ideal m, we prove, under suitable assumptions, that the completion at the ideal m + < y_1,y_2,ldots,y_n> is an iterated skew…

Rings and Algebras · Mathematics 2009-01-30 Linhong Wang

We find necessary and sufficient conditions for a complete local (Noetherian) ring to be the completion of an uncountable local (Noetherian) domain with a countable spectrum. Our results suggest that uncountable local domains with countable…

Commutative Algebra · Mathematics 2020-05-20 S. Loepp , Teresa Yu

The number of equations needed to cut out a variety given by an ideal is called the arithmetic rank (of the ideal). It was shown in [8] that the notion of arithmetic rank is strongly related to the concept of regular sequences on the Matlis…

Commutative Algebra · Mathematics 2007-05-23 Michael Hellus

This note begins the model-theoretic study of local real closed SV-rings of finite rank; to this end, a structure theorem for reduced local SV-rings of finite rank is given and branching ideals in local real closed rings of finite rank are…

Logic · Mathematics 2024-10-01 Ricardo Palomino Piepenborn

In this article, we prove a strong version of local Bertini theorem for normality on local rings in mixed characteristic. The main result asserts that a generic hyperplane section of a normal, Cohen-Macaulay, and complete local domain of…

Number Theory · Mathematics 2015-06-18 Tadashi Ochiai , Kazuma Shimomoto

Let $R=k[x_1,..., x_n]$ be a polynomial ring over a field $k$ of characteristic $p>0,$ and let $I=(f_1,...,f_s)$ be an ideal of $R.$ We prove that every associated prime $P$ of $H^i_I(R)$ satisfies $\text{dim}R/P\geqslant…

Commutative Algebra · Mathematics 2010-01-20 Yi Zhang