English
Related papers

Related papers: A test for monomial containment

200 papers

For a monomial ideal $I$, let $G(I)$ be its minimal set of monomial generators. If there is a total order on $G(I)$ such that the corresponding Lyubeznik resolution of $I$ is a minimal free resolution of $I$, then $I$ is called a Lyubeznik…

Commutative Algebra · Mathematics 2013-12-03 Jin Guo , Tongsuo Wu , Houyi Yu

An ideal $I$ in a Noetherian ring is called \textit{normal} if $I^n$ is integrally closed for all $n \geq 1$. Zariski proved that in two-dimensional regular local rings, every integrally closed ideal is normal. However, in dimension three…

Commutative Algebra · Mathematics 2026-02-03 Maki Ataka , Naoyuki Matsuoka

We study the problem of factoring univariate polynomials over finite fields. Under the assumption of the Extended Riemann Hypothesis (ERH), (Gao, 2001) designed a polynomial time algorithm that fails to factor only if the input polynomial…

Data Structures and Algorithms · Computer Science 2008-02-21 Chandan Saha

We give an algorithm for computing the factor ring of a given ideal in a Dedekind domain with finite rank, which runs in deterministic and polynomial-time. We provide two applications of the algorithm: judging whether a given ideal is prime…

Rings and Algebras · Mathematics 2017-03-30 Dandan Huang , Yingpu Deng

Vanishing polynomials are polynomials over a ring which output $0$ for all elements in the ring. In this paper, we study the ideal of vanishing polynomials over specific types of rings, along with the closely related ring of polynomial…

Commutative Algebra · Mathematics 2023-10-04 Matvey Borodin , Ethan Liu , Justin Zhang

We present a generalization of a polynomial factorization algorithm that works with ideals in maximal orders of global function fields. The method presented in this paper is intrinsic in the sense that it does not depend on the embedding of…

Commutative Algebra · Mathematics 2018-05-08 Mawunyo Kofi Darkey-Mensah , Przemysław Koprowski

We introduce the combinatorial Lyubeznik resolution of monomial ideals. We prove that this resolution is isomorphic to the usual Lyubezbnik resolution. As an application, we give a combinatorial method to determine if an ideal is a…

Commutative Algebra · Mathematics 2017-08-25 Luis A. Dupont , Daniel G. Mendoza , Miriam Rodríguez

In a commutative ring $R$ with unity, given an ideal $I$ of $R$, Anderson and Badawi in 2011 introduced the invariant $\omega(I)$, which is the minimal integer $n$ for which $I$ is an $n$-absorbing ideal of $R$. In the specific case that $R…

Commutative Algebra · Mathematics 2018-12-17 Hyun Seung Choi , Andrew Walker

Irreducible decompositions of monomial ideals in polynomial rings over a field are well-understood. In this paper, we investigate decompositions in the set of monomial ideals in the semigroup ring A[\mathbb{R}_{\geq 0}^d] where A is an…

Commutative Algebra · Mathematics 2012-05-21 Daniel Ingebretson , Sean Sather-Wagstaff

We study the existence of polynomial kernels for the problem of deciding feasibility of integer linear programs (ILPs), and for finding good solutions for covering and packing ILPs. Our main results are as follows: First, we show that the…

Computational Complexity · Computer Science 2013-02-18 Stefan Kratsch

Let $S=K[x_1,\ldots,x_n]$ be the ring of polynomials over a field $K$. Given two monomial ideals $0\subset I\subsetneq J \subset S$, we present a new method to compute the Hilbert depth of $J/I$. As an application, we show that if $u\in S$…

Commutative Algebra · Mathematics 2025-09-12 Silviu Balanescu , Mircea Cimpoeas , Christian Krattenthaler

Let $I$ be a monomial squarefree ideal of a polynomial ring $S$ over a field $K$ such that the sum of every three different of its minimal prime ideals is the maximal ideal of $S$, or more general a constant ideal. We associate to $I$ a…

Commutative Algebra · Mathematics 2011-05-06 Dorin Popescu

It gives a class of $p$-Borel principal ideals of a polynomial algebra over a field $K$ for which the graded Betti numbers do not depend on the characteristic of $K$ and the Koszul homology modules have monomial cyclic basis. Also it shows…

Commutative Algebra · Mathematics 2007-05-23 Dorin Popescu

The Koszul homology of modules of the polynomial ring $R$ is a central object in commutative algebra.It is strongly related with the minimal free resolution of these modules, and thus with regularity, Hilbert functions, etc. Here we…

Commutative Algebra · Mathematics 2007-05-23 Eduardo Saenz de Cabezon

Let $R$ be a finite ring and let $M, N$ be two finite left $R$-modules. We present two distinct deterministic algorithms that decide in polynomial time whether or not $M$ and $N$ are isomorphic, and if they are, exhibit an isomorphism. As…

Rings and Algebras · Mathematics 2015-12-29 Iuliana Ciocănea-Teodorescu

This paper describes a Buchberger-style algorithm to compute a Groebner basis of a polynomial ideal, allowing for a selection strategy based on "signatures". We explain how three recent algorithms can be viewed as different strategies for…

Commutative Algebra · Mathematics 2011-06-14 Christian Eder , John Perry

Let $R=K[x_1,...,x_n]$ be the polynomial ring in $n$ variables over a field $K$ and $I$ be a monomial ideal generated in degree $d$. Bandari and Herzog conjectured that a monomial ideal $I$ is polymatroidal if and only if all its monomial…

Commutative Algebra · Mathematics 2019-01-23 Amir Mafi , Dler Naderi

The paper presents two algorithms for finding irreducible decomposition of monomial ideals. The first one is recursive, derived from staircase structures of monomial ideals. This algorithm has a good performance for highly non-generic…

Commutative Algebra · Mathematics 2008-11-24 Shuhong Gao , Mingfu Zhu

We give a necessary and sufficient condition on a homogeneous polynomial ideal for its Taylor complex to be exact. Then we give a combinatorial construction of a minimal resolution for ideals satisfying the above condition (in particular…

Commutative Algebra · Mathematics 2007-05-23 Sergey Yuzvinsky

We study the complexity of solving the \emph{generalized MinRank problem}, i.e. computing the set of points where the evaluation of a polynomial matrix has rank at most $r$. A natural algebraic representation of this problem gives rise to a…

Symbolic Computation · Computer Science 2015-03-19 Jean-Charles Faugère , Mohab Safey El Din , Pierre-Jean Spaenlehauer