交换代数

We give a criterion for almost Gorenstein property for semigroup rings associated with simplicial semigroups. We extend Nari's theorem for almost symmetric numerical semigroups to simplicial semigroups with higher rank. By this criterion,…

Let $I\subset A$ and $J\subset B$ be two monomial ideals, where $A$ and $B$ are two polynomial rings with disjoint variables. Considering a general set-up of monomial filtrations, we study the behaviour of the $\mathrm{v}$-function under…

Let $K$ be a field of characteristic 0 and $S=K[x_1,\ldots,x_m]/I$ be an affine domain. Consider $R=S_P$ where $P\in Spec(S)$ such that $R$ is regular. In this paper we construct a field $F$ which is contained in $R$ such that (1) The…

Let $S=K[x_1,\ldots,x_n]$ and let $I$ be the $t$-path ideal of the line graph $L_n$ with $n$-vertices. It is shown that the set of associated prime ideals of $I^s$ is equal to the set of minimal prime ideals of $I$ for all $s\geq 1$, and we…

Let $L_n$ be a line graph with $n$ vertices and let $I$ be its $t$-path ideal. It is shown that $I^s$ has a linear resolution for some $s\geq 1$ (or equivalently for all $s\geq 1$) if and only if $I^s$ has linear quotients for some $s\geq…

In this paper we introduce toric rings of multicomplexes. We show how to compute the divisor class group and the class of the canonical module when the toric ring is normal. In the special case that the multicomplex is a discrete…

We consider the ideal of inner $2$-minors $I_{\mathcal{P}}$ of a finite set of cells $\mathcal{P}$, which we call the cell ideal of $\mathcal{P}$. A nice interpretation for the height of an unmixed ideal $I_{\mathcal{P}}$, in terms of the…

For projective Reed--Muller-type codes we give a global duality criterion in terms of the v-number and the Hilbert function of a vanishing ideal. As an application, we provide a global duality theorem for projective Reed--Muller-type codes…

The main goal of the paper is the discussion of a deeper interaction between matrix theory over polynomial rings over a field and typical methods of commutative algebra and related algebraic geometry. This is intended in the sense of…

Given a commutative algebra $\mathcal O$, a proper ideal $\mathcal I$, and a resolution of $\mathcal O/ \mathcal I$ by projective $\mathcal O $-modules, we construct an explicit Koszul-Tate resolution. We call it the arborescent Koszul-Tate…

Consider an infinite minimal free resolution of a module $M$ over a local Noetherian ring $R$. It was shown by Eisenbud that if $R$ is a complete intersection ring, then a minimal resolution is periodic iff it is bounded. Over more general…

Let $L$ be an $(m\vert n)$-dimensional nilpotent Lie superalgebra where $m + n \geq 4$ and $n \geq 1$. This paper classifies such nilpotent Lie superalgebras $L$ with a derived subsuperalgebra of dimension $m+n-2$ such that $\gamma(L) = m +…

Let $H$ be a commutative multiplicative hyperring and $\alpha, \beta \in \mathbb{Z}^+$. A proper hyperideal $P$ of $H$ is called (weakly) $(\alpha,\beta)$-prime if $x^\alpha \circ y \subseteq P$ for $x,y \in H$ implies $x^\beta \subseteq P$…

Let I be the ideal of minors of a 2 by n matrix of linear forms with the expected codimension. In this paper we prove that the Rees algebra of I and its special fiber ring are Cohen-Macaulay and Koszul; in particular, they are quadratic…

The Hilbert scheme of points $\mathrm{Hilb}^n(S)$ of a smooth surface $S$ is a well-studied parameter space, lying at the interface of algebraic geometry, commutative algebra, representation theory, combinatorics, and mathematical physics.…

In algebra, atomicity is the study of divisibility by and factorizations into atoms (also called irreducibles). In one side of the spectrum of atomicity we find the antimatter algebraic structures, inside which there are no atoms and,…

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…

We describe a recently revived version of the software package SubalgberaBases, which is distributed in the Macaulay2 computer algebra system. The package allows the user to compute and manipulate subagebra bases -- which are also known as…

$ $Let $k$ be a field of characteristic zero. If $c_1, c_2\in k\setminus \{0\}, s,t\geq 1$ and $u\geq 0$, then it is shown that the $k$-derivations $\partial_x + x^u(c_1x^ty^s+c_2)\partial_y$ and $\partial_x +…

We describe the notion of stability of coherent systems as a framework to deal with redundancy. We define stable coherent systems and show how this notion can help the design of reliable systems. We demonstrate that the reliability of…