交换代数

In this paper, we plan to build upon significant results by Amnon Neeman regarding the homotopy category of flat modules to study ${\mathbb{K}}({S\rm{SF}}\mbox{-}R)$, the homotopy category of $S$-strongly flat modules, where $S$ is a…

For a commutative ring $R$, the zero-divisor graph of $R$ is a simple graph with the vertex set as the set of all zero-divisors of $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if $xy = 0$. This article attempts to…

In this paper we consider the graded going-down property of graded integral domains in pullbacks. It then enables us to give original examples of these domains.

Consider the conjugation action of the general linear group $\operatorname{GL}_{2}(K)$ on the polynomial ring $K[X_{2 \times 2}]$. When $K$ is an infinite field, the ring of invariants is a polynomial ring generated by the trace and the…

Let $(R,m,k)$ be a Golod ring. We show a recurrent formula for high syzygies of $k$ interms of previous ones. In the case of embedding dimension at most $2$, we provided complete descriptions of all indecomposable summands of all syzygies…

We systematically study the intersection flatness and Ohm-Rush properties for modules over a commutative ring, drawing inspiration from the work of Ohm and Rush and of Hochster and Jeffries. We establish new structural results for modules…

We describe an algorithm which computes the ring laws for Witt vectors of finite length over a polynomial ring with coefficients in a finite field. This algorithm uses an isomorphism of Illusie in order to compute in an adequate polynomial…

Let $A$ be a commutative ring with identity. A proper submodule $N$ of $A$-module $M$ is said to be prime submodule if $ax \in N$ where $a \in A, x \in M$, implies $x \in N$ or $aM \subseteq N$. A proper submodule $N \subset M$ is said to…

Every finite local principal ideal ring is the homomorphic image of a discrete valuation ring of a number field, and is determined by five invariants. We present an action of a group, non-commutative in general, on the set of Eisenstein…

As a higher analogue of the edge ideal of a graph, we study the $t$-connected ideal $\operatorname{J}_{t}$. This is the monomial ideal generated by the connected subsets of size $t$. For chordal graphs, we show that $\operatorname{J}_{t}$…

We define a local homomorphism $(Q,k)\to (R,\ell)$ to be Koszul if its derived fiber $R \otimes^{\mathsf{L}}_Q k$ is formal, and if $\operatorname{Tor}^Q(R,k)$ is Koszul in the classical sense. This recovers the classical definition when…

We show a certain existence of a lifting of modules under the self-$\mathrm{Ext}^2$-vanishing condition over the "derived quotient" by using the notion of higher algebra. This refines a work of Auslander-Ding-Solberg's solution of the…

A density function for an algebraic invariant is a measurable function on $\mathbb{R}$ which measures the invariant on an $\mathbb{R}$-scale. This function carries a lot more information related to the invariant without seeking extra data.…

In this paper, we introduce (weakly) square-difference factor absorbing hyperideals in a multiplicative hyperring

In this paper, we introduce the notion of $\gamma$-regular sequences to characterize the property that graded modules have componentwise linear syzygies. This extends Harima and Watanabe's characterization of componentwise linear ideals in…

Let $S$ be a submonoid of a free Abelian group of finite rank. We show that if $k$ is a field of prime characteristic such that the monoid $k$-algebra $k[S]$ is split $F$-regular, then $k[S]$ is a finitely generated $k$-algebra, or…

We characterize symbolic powers of prime ideals in polynomial rings over any field in terms of $\mathbb{Z}$-linear differential operators, and of prime ideals in polynomial rings over complete discrete valuation rings with a $p$-derivation…

Let $(R, \mathcal{M})$ be a local ring over a field $k$ with $k = R/\mathcal M$ and $J$ an ideal in $R$ such that $A =R/J$ is an Artinian Gorenstein (AG) $k$-algebra. In 1989, A. Iarrobino introduced the symmetric decomposition of the…

Given integers $2 \leq p \leq c \leq q$, we construct a finite simple graph $G$ with $\nu_1(G) = p$ and $\nu(G) = q$ for which the squarefree power $I(G)^{[k]}$ of the edge ideal $I(G)$ of $G$ has linear quotients for each $c \leq k \leq q$…

We prove a theorem on the intersection theory over a Noetherian local ring $R$, which gives a new proof of a classical theorem of Rees about degree functions. To obtain this, we define an intersection product on schemes that are proper and…