交换代数

Let p be a prime ideal in a commutative noetherian ring R and denote by k(p) the residue field of the local ring R_p. We prove that if an R-module M satisfies Ext_R^n(k(p),M) = 0 for some n >= dim R, then Ext_R^i(k(p),M) = 0 holds for all i…

The ring R of real-exponent polynomials in n variables over any field has global dimension n+1 and flat dimension n. In particular, the residue field k = R/m of R modulo its maximal graded ideal m has flat dimension n via a Koszul-like…

We introduce the Macaulay2 package HomologicalShiftIdeals. It allows to compute the homological shift ideals of a monomial ideal, and to check the homological shift properties, including having linear resolution, having linear quotients, or…

Let R be a commutative ring with identity and M be an R-module. The purpose of this paper is to introduced the dual notion of z-submodules of M and some of extensions. Moreover, we investigate some properties of these classes of modules…

We describe combinatorially the Cohen-Macaulay type of edge-weighted r-path suspensions of edge-weighted graphs for an arbitrary positive integer r. The computation of the Cohen-Macaulay type of edge-weighted suspensions of edge-weighted…

Motivated by some recent results of F. P\'erez and R. R.G connecting test ideal of module closure operations and trace ideals, we investigate the test ideal restricted to principal ideals corresponding to a module closure operation of a…

We study the set of algebraic objects known as vanishing polynomials (the set of polynomials that annihilate all elements of a ring) over general commutative rings with identity. These objects are of special interest due to their close…

We show that any quasi-Gorenstein deformation of a $3$-dimensional quasi-Gorenstein Buchsbaum local ring with $I$-invariant $1$ admits a maximal Cohen-Macaulay module, provided it is a quotient of a Gorenstein ring. Such a class of rings…

The reduced divisor class group of a normal Cohen--Macaulay graded domain together with its torsion number is introduced. They are studied in detail especially for normal affine semigroup rings.

The problem of expressing a specific polynomial as the determinant of a square matrix of affine-linear forms arises from algebraic geometry, optimisation, complexity theory, and scientific computing. Motivated by recent developments in this…

Let $\mathscr{k}=\overline{\mathbb{F}_2}$ and let $0\neq\alpha\in \mathscr{k}$. We present a conjecture supported by computer experimentation involving the Brenner-Monsky quartic $g_\alpha=\alpha x^2y^2+z^4+xyz^2+(x^3+y^3)z\in…

In this article, we establish initially regular sequences on cycles of the form $C_{3n+2}$ for $n\ge 1$, in the sense of \cite{FHM-ini}. These sequences accurately compute the depth of these cycles, completing the case of finding effective…

We show that every finite poset is isomorphic to a saturated subset of the spectrum of a Noetherian unique factorization domain. In addition, we show that every finite poset is isomorphic to a saturated subset of the spectrum of a…

In the local setting, Gr\"obner cells are affine spaces that parametrize ideals in $\mathbf{k}[\![x,y]\!]$ that share the same leading term ideal with respect to a local term ordering. In particular, all ideals in a cell have the same…

In this note, we study the generalized fraction properties and power series properties of $\mathcal{S}$-Noetherian rings. Actually, we investigate two questions proposed in [A. Dabbabi, A. Benhissi, Generalization of the $S$-Noetherian…

Let $R={\sf k}[x,y,z]$, the polynomial ring over a field $\sf k$. Several of the authors previously classified nets of ternary conics and their specializations over an algebraically closed field. We here show that when $\sf k$ is…

Let $S$ be the polynomial ring on the space of non-square generic matrices or the space of odd-sized skew-symmetric matrices, and let $I$ be the determinantal ideal of maximal minors or $\operatorname{Pf}$ the ideal of sub-maximal…

Let $R$ be a commutative noetherian ring. Denote by $\operatorname{mod}R$ the category of finitely generated $R$-modules, by $\operatorname{D^b}(R)$ the bounded derived category of $\operatorname{mod}R$, and by $\operatorname{D_{sg}}(R)$…

Let $G$ be an additive abelian group. A sequence $S=g_1\cdot\ldots\cdot g_{\ell}$ of terms from $G$ is a plus-minus weighted zero-sum sequence if there are $\varepsilon_1,\ldots,\varepsilon_{\ell}\in\{-1,1\}$ such that $\varepsilon_1…

The notion of naive lifting of DG modules was introduced by the authors in [16,17] for the purpose of studying problems in homological commutative algebra that involve self-vanishing of Ext. Our goal in this paper is to deeply study the…