English
Related papers

Related papers: On Gr\"obner bases over Dedekind domains

200 papers

Gr\"obner bases can be used for computing the Hilbert basis of a numerical submonoid. By using these techniques, we provide an algorithm that calculates a basis of a subspace of a finite-dimensional vector space over a finite prime field…

Algebraic Geometry · Mathematics 2013-03-27 Natalia Dück , Karl-Heinz Zimmermann

In this paper, we study ideals spanned by polynomials or overconvergent series in a Tate algebra. With state-of-the-art algorithms for computing Tate Gr{\"o}bner bases, even if the input is polynomials, the size of the output grows with the…

Symbolic Computation · Computer Science 2022-02-16 Xavier Caruso , Tristan Vaccon , Thibaut Verron

Resultants and Gr\"obner bases are crucial tools in studying polynomial elimination theory. We investigate relations between the variety of the resultant of two polynomials and the variety of the ideal they generate. Then we focus on the…

Commutative Algebra · Mathematics 2015-11-02 Matteo Gallet , Hamid Rahkooy , Zafeirakis Zafeirakopoulos

Developed by Buchberger for commutative polynomial rings, Groebner Bases are frequently applied to solve algorithmic problems, such as the congruence problem for ideals. Until now, these ideas have been transmitted to different in part…

Rings and Algebras · Mathematics 2009-03-31 Birgit Reinert

We study pairs of finitely generated modules over a principal ideal domain and their corresponding matrix representations. We introduce equivalence relations for such pairs and determine invariants and canonical forms.

Commutative Algebra · Mathematics 2018-04-03 Pudji Astuti , Harald K. Wimmer

Motivated by the question of whether Chow polynomials of matroids have only real roots, this article revisits the known relationship between Eulerian polynomials and the Hilbert series of Chow rings of permutohedral varieties. This is done…

Combinatorics · Mathematics 2024-10-21 Basile Coron

Let $I$ be an ideal of the polynomial ring $A[x]=A[x_1,...,x_n]$ over the commutative, noetherian ring $A$. Geometrically $I$ defines a family of affine schemes over $\Spec(A)$: For $\p\in\Spec(A)$, the fibre over $\p$ is the closed…

Commutative Algebra · Mathematics 2007-05-23 Michael Wibmer

We consider the problem of determining Gr\"obner bases of binomial ideals associated with linear error correcting codes. Computation of Gr\"obner bases of linear codes have become a topic of interest to many researchers in coding theory…

Information Theory · Computer Science 2017-07-25 Arunkumar R. Patil , Nitin S. Darkunde

We define a new type of ideal basis called the proper basis that improves both Gr\"obner basis and Buchberger's algorithm. Let $x_1$ be the least variable of a monomial ordering in a polynomial ring $K[x_1,\dotsc,x_n]$ over a field $K$. The…

Commutative Algebra · Mathematics 2025-01-06 Sheng-Ming Ma

Classically, Groebner bases are computed by first prescribing a set monomial order. Moss Sweedler suggested an alternative and developed a framework to perform such computations by using valuation rings in place of monomial orders. We build…

Commutative Algebra · Mathematics 2007-05-23 Edward Mosteig

Assuming sufficiently many terms of a n-dimensional table defined over a field are given, we aim at guessing the linear recurrence relations with either constant or polynomial coefficients they satisfy. In many applications, the table terms…

Symbolic Computation · Computer Science 2021-11-19 Jérémy Berthomieu , Mohab Safey El Din

Let $I = ( f_1, \dots, f_n )$ be a homogeneous ideal in the polynomial ring $K[x_1, \dots,x_n]$ over a field $K$ generated by generic polynomials. Using an incremental approach based on a method by Gao, Guan and Volny, and properties of the…

Commutative Algebra · Mathematics 2017-12-11 Juliane Capaverde , Shuhong Gao

Parametric Gr\"obner bases have been studied for more than 15 years and are now a further developed subject. Here we propose a general study of parametric standard bases, that is with local orders. We mainly focus on the commutative case…

Commutative Algebra · Mathematics 2007-05-23 Rouchdi Bahloul

Here we study the problem of generalizing one of the main tools of Groebner basis theory, namely the flat deformation to the leading term ideal, to the border basis setting. After showing that the straightforward approach based on the…

Commutative Algebra · Mathematics 2007-10-16 Martin Kreuzer , Lorenzo Robbiano

Two correspondences have been provided that associate any linear code over a finite field with a binomial ideal. In this paper, algorithms for computing their Graver bases and universal Gr\"obner bases are given. To this end, a connection…

Commutative Algebra · Mathematics 2014-05-08 Natalia Dück , Karl-Heinz Zimmermann

The notion of initial ideal for an ideal of a polynomial ring appears in the theory of Gr\"obner basis. Similarly to the initial ideals, we can define the initial algebra for a subalgebra of a polynomial ring, or more generally of a Laurent…

Commutative Algebra · Mathematics 2021-10-19 Shigeru Kuroda

In this paper we give versions of Hilbert's syzygy theorem for finitely generated modules over polynomial rings over direct product of principal ideal rings.

Commutative Algebra · Mathematics 2020-01-07 Babak Jabarnejad

We develop a Gr\"obner basis theory for a class of algebras that generalizes both PBW-algebras and rings of differential algebras on smooth varieties. Emphasis lies on methods to compute filtrations and graded structures defined by weight…

Rings and Algebras · Mathematics 2018-09-28 Cornelia Rottner , Mathias Schulze

By employing the (de)homogenization technique in a relatively extensive setting, this note studies in detail the relation between non-homogeneous Gr\"obner bases and homogeneous Gr\"obner bases. As a consequence, a general principle of…

Rings and Algebras · Mathematics 2009-07-16 Huishi Li

Let $\mathbb{K}$ be a field, $\mathcal{X}$ be an infinite set (of indeterminates), and $\mathcal{G}$ be a group acting on $\mathcal{X}$. An ideal in the polynomial ring $\mathbb{K}[\mathcal{X}]$ is called equivariant if it is invariant…

Logic in Computer Science · Computer Science 2025-07-15 Arka Ghosh , Aliaume Lopez