Let $(R,𝔪)$ be a complete Noetherian local ring, $I$ an ideal of $R$ and $M$ a nonzero Artinian $R$-module. In this paper it is shown that if $𝔭$ is a prime ideal of $R$ such that $dimR/𝔭=1$ and $\left(0{:}_M𝔭\right)$ is not finitely generated and for each $i\ge 2$ the $R$-module ${\mathrm{Ext}}_R^i(M,R/𝔭)$ is of finite length, then the $R$-module ${\mathrm{Ext}}_R^1(M,R/𝔭)$ is not of finite length. Using this result, it is shown that for all finitely generated $R$-modules $N$ with $Supp\left(N\right)\subseteq V\left(I\right)$ and for all integers $i\ge 0$, the $R$-modules ${\mathrm{Ext}}_R^i(N,M)$ are of finite length, if and only if, for all finitely generated $R$-modules $N$ with $Supp\left(N\right)\subseteq V\left(I\right)$ and...

Let $𝔞$ be an ideal of Noetherian local ring $(R,𝔪)$ and $M$ a finitely generated $R$-module of dimension $d$. In this paper we investigate the Artinianness of formal local cohomology modules under certain conditions on the local cohomology modules with respect to $𝔪$. Also we prove that for an arbitrary local ring $(R,𝔪)$ (not necessarily complete), we have ${\mathrm{Att}}_R\left({𝔉}_{𝔞}^d\left(M\right)\right)=\mathrm{Min}\mathrm{V}\left({\mathrm{Ann}}_R{𝔉}_{𝔞}^d\left(M\right)\right).$

In 2012, Ananthnarayan, Avramov and Moore gave a new construction of Gorenstein rings from two Gorenstein local rings, called their connected sum. In this article, we investigate conditions on the associated graded ring of a Gorenstein Artin local ring $Q$, which force it to be a connected sum over its residue field. In particular, we recover some results regarding short, and stretched, Gorenstein Artin rings. Finally, using these decompositions, we obtain results about the rationality of the Poincaré...

Let R be a commutative ring and let M be an R-module. The aim of this paper is to establish an efficient decomposition of a proper submodule N of M as an intersection of primal submodules. We prove the existence of a canonical primal decomposition, $N={\bigcap }_{}{N}_{\left(\right)}$, where the intersection is taken over the isolated components $N_{\left(\right)}$ of N that are primal submodules having distinct and incomparable adjoint prime ideals . Using this decomposition, we prove that for ∈ Supp(M/N), the submodule N is an intersection of -primal...

Let ⊆ be ideals of a Noetherian ring R, and let N be a non-zero finitely generated R-module. The set Q̅*(,N) of quintasymptotic primes of with respect to N was originally introduced by McAdam. Also, it has been shown by Naghipour and Schenzel that the set $A{*}_a(,N):={\bigcup }_{n\ge 1}As{s}_{R}R/{\left(ⁿ\right)}_a^{\left(N\right)}$ of associated primes is finite. The purpose of this paper is to show that the topology on N defined by ${{\left(ⁿ\right)}_a^{\left(N\right)}{:}_R⟨⟩}_{n\ge 1}$ is finer than the topology defined by ${{\left(ⁿ\right)}_a^{\left(N\right)}}_{n\ge 1}$ if and only if $A{*}_a(,N)$ is disjoint from the quintasymptotic primes of with respect to N. Moreover, we show...