交换代数
Let $G_{n,r}$ denote the graph with $n$ vertices $\{x_1,\ldots,x_n\}$ in cyclic order and for each vertex $x_i$ consider the set $A_i=\{x_{i-r},\ldots,x_{i-1},x_{i+1},x_{i+2},\ldots, x_{i+r}\},$ where $x_{i-j}$ is the vertex $x_{n+i-j}$,…
Regarding non-unique factorization of integer-valued polynomials over a discrete valuation domain $(R,M)$ with finite residue field, it is known that there exist absolutely irreducible elements, that is, irreducible elements all of whose…
This works concerns cohomological support varieties of modules over commutative local rings. The main result is that the support of a derived tensor product of a pair of differential graded modules over a Koszul complex is the join of the…
The join-meet ideal was introduced by Takayuki Hibi in 1987. It is binomial ideals that are defined by finite lattices. We study the join-meet ideal of non-distributive finite lattices that do not always satisfy modular. In particular, we…
Let $(A,\mathfrak{m})$ be a hypersurface ring with dimension $d$, and $M$ a MCM $A-$module with red$(M)\leq 2$ and $\mu(M)=2$ or $3$ then we have proved that depth $G(M)\geq d-\mu(M)+1$. If $e(A)=3$ and $\mu(M)=4$ then in this case we have…
We study the category of Sp-equivariant modules over the infinite variable polynomial ring, where Sp denotes the infinite symplectic group. We establish a number of results about this category: for instance, we show that every finitely…
In this paper we prove that a classical theorem by McAdam about the analytic spread of an ideal in a Noetherian local ring continues to be true for divisorial filtrations on a two dimensional normal excellent local ring $R$, and that the…
Sets of monomials separating Zariski closed orbits under diagonalizable group actions are characterized in terms of the monoid of zero-sum sequences over the character group. This is applied to compare the degree bounds for separating…
In this work, we introduce the notion of $S$-1-absorbing primary submodule as an extension of 1-absorbing primary submodule. Let $S$ be a multiplicatively closed subset of a ring $R$ and $M$ be an $R$-module. A submodule $N$ of $M$ with…
For a graph $G$, Bolognini et al. have shown $J_{G}$ is strongly unmixed $\Rightarrow$ $J_{G}$ is Cohen-Macaulay $\Rightarrow$ $G$ is accessible, where $J_{G}$ denotes the binomial edge ideals of $G$. Accessible and strongly unmixed…
This paper mainly focuses on commutative local domains of dimension one. We then obtain a criterion for a ring to have a finite number of trace ideals in terms of integrally closed ideals. We also explore properties of such rings related to…
Let $R$ be a commutative ring with identity. An ideal $I$ of $R$ is said to be a big ideal (resp. an upper big ideal) if whenever $J\subsetneqq I$ (resp. $I\subsetneqq J$), $J^{n}\subsetneqq I^{n}$ (resp. $I^{n}\subsetneqq J^{n}$) for every…
Let $A, B$ be polynomial rings over a field $k$, and $I\subseteq A, J\subseteq B$ proper homogeneous ideals. We analyze the associated primes of powers of $I+J\subseteq A\otimes_k B$ given the data on the summands. The associated primes of…
Let $R=\Bbbk[x_1,\dots,x_n]$ be a polynomial ring over a field $\Bbbk$ and let $I\subset R$ be a monomial ideal preserved by the natural action of the symmetric group $\mathfrak S_n$ on $R$. We give a combinatorial method to determine the…
The complexity of Gr\"{o}bner computations has inspired many improvements to Buchberger's algorithm over the years. Looking for further insights into the algorithm's performance, we offer a threaded implementation of classical Buchberger's…
We present stdPairs.spyx, a SageMath library to compute standard pairs of a monomial ideal over a pointed (non-normal) affine semigroup ring. Moreover, stdPairs.spyx provides the associated prime ideals, the corresponding multiplicities,…
This note introduces the Macaulay2 package SchurVeronese, which gathers together data about Veronese syzygies and makes it readily accessible in Macaulay2. In addition to standard Betti tables, the package includes information about the…
We develop in this paper a stable theory for projective complexes, by which we mean to consider a chain complex of finitely generated projective modules as an object of the factor category of the homotopy category modulo split complexes. As…
In this paper, we are mainly interested in the two questions "which are the commutative rings on which every finitely presented modules is [Formula: see text]-periodic (respectively, [Formula: see text]-periodic)?". It is proved that these…
In this paper several characterizations of semi-compact modules are given. Among other results, we study rings whose semi-compact modules are injective. We introduce the property $\Sigma$-semi-compact for modules and we characterize the…