交换代数

If the Krull dimension of the semigroup ring is greater than one, then affine semigroups of maximal projective dimension ($\mathrm{MPD}$) are not Cohen-Macaulay, but they may be Buchsbaum. We give a necessary and sufficient condition for…

A subset $S$ of an integral domain $R$ is called a semidomain provided that the pairs $(S,+)$ and $(S, \cdot)$ are semigroups with identities. The study of factorizations in integral domains was initiated by Anderson, Anderson, and…

Given an ideal $I$ in a polynomial ring $K[x_1,\dots,x_n]$ over a field $K$, we present a complete algorithm to compute the binomial part of $I$, i.e., the subideal ${\rm Bin}(I)$ of $I$ generated by all monomials and binomials in $I$. This…

We generalize signature Gr\"obner bases, previously studied in the free algebra over a field or polynomial rings over a ring, to ideals in the mixed algebra $R[x_1,...,x_k]\langle y_1,\dots,y_n \rangle$ where $R$ is a principal ideal…

Let $n_0, n_1, \ldots, n_p$ be a sequence of positive integers such that $n_0 < n_1 < \cdots < n_p$ and $\mathrm{gcd}(n_0,n_1, \ldots,n_p) = 1$. Let $S = \langle (0,n_p), (n_0,n_p-n_0),\ldots,(n_{p-1},n_p-n_{p-1}), (n_p,0) \rangle$ be an…

Cellular resolutions are a technique for constructing resolutions of monomial ideals by giving a cell complex labeled by monomials, or more generally, by monomial modules. This \verb|Macaulay2| package allows us to work with cellular…

Rings of integer-valued polynomials are known to be atomic, non-factorial rings furnishing examples for both irreducible elements for which all powers factor uniquely (\emph{absolutely irreducibles}) and irreducible elements where some…

Let $R$ be a commutative noetherian ring and $I$ an ideal of $R$. Assume that for all integers $i$ the local cohomology module $H_I^i(R)$ is $I$-cofinite. Suppose that $R_\mathfrak{p}$ is a regular local ring for all prime ideals…

Let $k$ be a field with characteristic zero, $R$ be the ring $k[x_1, \cdots, x_n]$ and $I$ be a monomial ideal of $R$. We study the Artinian local algebra $R/I$ when considered as an $R$-module $M$. We show that the largest reduced…

In this article, we give a comprehensive survey of the recent progress of research on binomial edge ideal of a graph since 2018.

Let $R$ be a commutative Noetherian $F$-finite ring of prime characteristic and let $\mathcal{D}$ be a Cartier algebra. We define a self-map on the Frobenius split locus of the pair $(R,\mathcal{D})$ by sending a point $P$ to the splitting…

Perfect graphs form one of the distinguished classes of finite simple graphs. In 2006, Chudnovsky, Robertson, Seymour and Thomas proved that a graph is perfect if and only if it has no odd holes and no odd antiholes as induced subgraphs,…

Let $(R, \mathfrak{m})$ be a $d$-dimensional Noetherian local ring that is formally equidimensional, and let $M$ be an arbitrary $R$-submodule of the free module $F = R^p$ with an analytic spread $s:=s(M)$. In this work, inspired by…

We consider fiber products of complete, local, noetherian algebras over a fixed residue field. Some of these rings cannot be minimally resolved with a free resolution using the recent work of the second author. We develop techniques to…

Let $H = \langle n_1, n_2, n_3\rangle$ be a numerical semigroup. Let $\tilde H$ be the interval completion of $H$, namely the semigroup generated by the interval $\langle n_1, n_1+1, \ldots, n_3\rangle$. Let $K$ be a field and $K[H]$ the…

We present a proof that all straight domains are locally divided$\unicode{x2014}$thereby answering two open problems posed by Dobbs and Picavet, which appeared in the survey "Open Problems in Commutative Ring Theory" written by Cahen,…

We study the behavior of various properties of commutative Noetherian rings under Segre products, with a special focus on properties in positive prime characteristic defined using the Frobenius endomorphism. Specifically, we construct…

Let $k$ be an infinite field of characteristic $p > 0$ and let $R = k[Y_1,\ldots, Y_d]$ (or $R = k[[Y_1,\ldots, Y_d]]$). Let $F \colon \text{Mod}(R) \rightarrow \text{Mod}(R)$ be the Frobenius functor and let $\mathcal{M}$ be a $F_R$-finite…

Let $K$ be a field of characteristic zero. We deal with the algebraic closure of the field of fractions of the ring of formal power series $K[[x_1,\ldots,x_r]]$, $r\geq 2$. More precisely, we view the latter as a subfield of an iterated…

Consider a reductive linear algebraic group $G$ acting linearly on a polynomial ring $S$ over an infinite field; key examples are the general linear group, the symplectic group, the orthogonal group, and the special linear group, with the…