Dynamical Gröbner bases over Dedekind rings

DOI10.1016/j.jalgebra.2010.04.014zbMath1200.13047MaRDI QIDQ984989

Amina Hadj Kacem, Ihsen Yengui

Publication date: 20 July 2010

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jalgebra.2010.04.014

zbMATH Keywords

Gröbner basis; constructive mathematics; Gröbner rings; Dedekind rings; dynamical Gröbner basis; ideal membership problem; principal rings

Mathematics Subject Classification ID

13F20: Polynomial rings and ideals; rings of integer-valued polynomials

13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)

13F05: Dedekind, Prüfer, Krull and Mori rings and their generalizations

Related Items

The trailing terms ideal over a valuation domain, The syzygy theorem for Bézout rings, Noncommutative Gröbner Bases over Rings, Constructing Gröbner bases for Noetherian rings, Saturation of finitely-generated submodules of free modules over Prüfer domains, Standard bases in mixed power series and polynomial rings over rings, The Gröbner ring conjecture in one variable, On the leading terms ideals of polynomial ideals over a valuation ring, Computing the \textbf{V}-saturation of finitely-generated submodules of \(\mathbf{V} [X^m\) where \textbf{V} is a valuation domain], Corrigendum to ``Dynamical Gröbner bases and to ``Dynamical Gröbner bases over Dedekind rings, On syzygy modules over Laurent polynomial rings, A negative answer to a question about leading terms ideals of polynomial ideals, A counterexample to the Gröbner ring conjecture, An extension of Gröbner basis theory to indexed polynomials without eliminations, Computing syzygies over \(V [X_1, \ldots, X_k\), \(V\) a valuation domain], A zero-dimensional valuation ring is 1-Gröbner, Noether normalization theorem and dynamical Gröbner bases over Bézout domains of Krull dimension 1, The Gröbner ring conjecture in the lexicographic order case, Un Algorithme pour le Calcul des Syzygies surV[X dans le cas oùVest un Domaine de Valuation], Semi-ring Based Gröbner–Shirshov Bases over a Noetherian Valuation Ring

Uses Software

• SINGULAR

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamical Gröbner bases
• On the construction of Gröbner bases using syzygies
• A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem
• Syzygies of canonical curves and special linear series
• A course in constructive algebra
• Über B. Buchbergers Verfahren, Systeme algebraischer Gleichungen zu lösen
• Krull dimension, Nullstellensätze and dynamical evaluation
• Approximating rings of integers in number fields
• Algorithmic theory of arithmetic rings, Prüfer rings and Dedekind rings. (Théorie algorithmique des anneaux arithmétiques, des anneaux de Prüfer et des anneaux de Dedekind.)
• Gröbner bases with coefficients in rings
• Making the use of maximal ideals constructive
• Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa
• Stably free modules over $\mathbf{R}[X$ of rank $> \dim\mathbf{R}$ are free]
• A standard basis approach to syzygies of canonical curves.
• Sketches and computation – II: dynamic evaluation and applications
• Factoring into coprimes in essentially linear time
• Nontrivial Uses of Trivial Rings
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Dynamical method in algebra: Effective Nullstellensätze