Related papers: Compatible ideals in Gorenstein rings

We show that every integrally closed $\mathfrak{m}$-primary ideal $I$ in a commutative Noetherian local ring $(R,\mathfrak{m},k)$ has maximal complexity and curvature, i.e., $ {\rm cx}_R(I) = {\rm cx}_R(k) $ and $ {\rm curv}_R(I) = {\rm…

In \cite{Ouarghi}, the authors discuss the rings over which all modules are strongly Gorenstein projective. In this paper, we are interesting to an extension of this idea. Thus, we discuss the rings over which every Gorenstein projective…

We describe the support of $F$-finite $F$-modules over polynomial rings $R$ of prime characteristic. Our description yields an algorithm to compute the support of such modules; the complexity of our algorithm is also analyzed. To the best…

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…

In Commutative Algebra structure results on minimal free resolutions of Gorenstein modules are of classical interest. We define Gorenstein modules of finite length over the weighted polynomial ring via symmetric matrices in divided powers.…

We develop a formalism of unit $F$-modules in the style of Lyubeznik and Emerton-Kisin for rings which have finite $F$-representation type after localization and completion at every prime ideal. As applications, we show that if $R$ is such…

Let $R$ be a commutative ring. An $R$-module $M$ is said to be almost projective if ${\rm Ext}^1_R(M, N) = 0$ for any $R_{\mathfrak{m}}$-module $N$ and any maximal ideal $\mathfrak{m}$ of $R$. In this paper, we investigate rings $R$ over…

Let $R$ be a commutative ring with identity and $S$ a multiplicative subset of $R$. In this paper, we first introduce and study the notions of $s$-pure exact sequences and $s$-absolutely pure modules which extend the classical notions of…

Let p be a prime and q=p^g. We show that the Grothendieck ring of finitely generated F_{q}[SL(2,F_{q})]-modules is naturally isomorphic to the quotient of the polynomial algebra Z[x] by the ideal generated by f^[g](x)-x, where…

We prove that modules over an Artinian Gorenstein local ring $R$ have rational Poincar\'e series sharing a common denominator if $R/\soc(R)$ is a Golod ring. If $R$ is a Gorenstein local ring with square of the maximal ideal being generated…

Quasi-socle ideals, that is the ideals $I$ of the form $I= Q : \mathfrak{m}^q$ in Gorenstein numerical semigroup rings over fields are explored, where $Q$ is a parameter ideal, and $\mathfrak{m}$ is the maximal ideal in the base local ring,…

Let $R$ be a commutative noetherian ring. We prove that the class of modules of projective dimension bounded by $k$ is of finite type if and only if $R$ satisfies Serre's condition $(S_k)$. In particular, this answers positively a question…

In this paper, new algebraic and topological results on purely-prime ideals of a commutative ring (pure spectrum) are obtained. Especially, Grothendieck type theorem is obtained which states that there is a canonical correspondence between…

Let $R$ be a (commutative Noetherian) local ring of prime characteristic that is $F$-pure. This paper studies a certain finite set ${\mathcal I}$ of radical ideals of $R$ that is naturally defined by the injective envelope of the simple…

Let $R$ be a commutative Noetherian ring of prime characteristic $p$. The main goal of this paper is to study in some detail when \[ \overline{W^R}:=\{\mathfrak{p}\in\operatorname{Spec} (R):\ \mathcal{F}^{E_{\mathfrak{p}}}\text{ is finitely…

Let $I$ be an ideal of a commutative Noetherian complete local ring $R$. In the present paper, we establish the equality $\dim R/(I+\Ann_R M)=\dim M$ for all $I$-cofinite $R$-modules $M$.

Let $R$ be a commutative Noetherian local ring, $\mathfrak{G}$ a Gabriel topology on $R$, and $\mathfrak{G}^\ast$ the set of all maximal elements of Spec($R)\backslash \mathfrak{G}$. We determine all simple $\mathfrak{G}$-torsion free…

Let $(R, \m)$ be a commutative Noetherian local ring with $\m^3 =(0)$. We give a condition for $R$ to have a non-free module of G-dimension zero. We shall also construct a family of non-isomorphic indecomposable modules of G-dimension zero…

Let $R$ be a commutative ring with unity. The prime ideal sum graph of the ring $R$ is the simple undirected graph whose vertex set is the set of all nonzero proper ideals of $R$ and two distinct vertices $I$, $J$ are adjacent if and only…

Let $R$ be a commutative $F$-algebra, where $F$ is a field of characteristic 0, satisfying the following conditions: $R$ is equidimensional of dimension $n$, every residual field with respect to a maximal ideal is an algebraic extension of…