Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
From MaRDI portal
Publication:2348270
DOI10.1007/978-3-319-19494-3zbMath1360.13002OpenAlexW2499925185MaRDI QIDQ2348270
Publication date: 11 June 2015
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-19494-3
Projective and free modules and ideals in commutative rings (13C10) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Valuation rings (13F30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to commutative algebra (13-01) Injective and flat modules and ideals in commutative rings (13C11)
Related Items
A Gröbner basis algorithm for ideals over zero-dimensional valuation rings ⋮ The trailing terms ideal over a valuation domain ⋮ The Jacobson radical for an inconsistency predicate ⋮ Quillen–Suslin theory for the special linear group ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ A universal algorithm for Krull's theorem ⋮ Eliminating disjunctions by disjunction elimination ⋮ Radical theory of Scott-open filters ⋮ The multivariate Serre conjecture ring ⋮ A constructive picture of Noetherian conditions and well quasi-orders ⋮ Valuative Lattices and Spectra ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ Valuative dimension, constructive points of view ⋮ An elementary proof of Wiebe's theorem ⋮ Intersection of ideals in a polynomial ring over a dual valuation domain ⋮ Semi-ring Based Gröbner–Shirshov Bases over a Noetherian Valuation Ring ⋮ On the Computation of Minimal Free Resolutions with Integer Coefficients ⋮ Unnamed Item ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ Dynamic evaluation of integrity and the computational content of Krull's lemma ⋮ Unnamed Item ⋮ The trailing terms ideal ⋮ Ribenboim's order extension theorem from a constructive point of view ⋮ The syzygy theorem for Bézout rings ⋮ A counterexample to the Gröbner ring conjecture ⋮ The Hahn-Banach theorem by disjunction elimination ⋮ On syzygy modules over Laurent polynomial rings ⋮ Maximal ideals in countable rings, constructively ⋮ The computational significance of Hausdorff's maximal chain principle ⋮ Geometric Rules in Infinitary Logic ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem ⋮ An algorithmic version of Zariski's lemma ⋮ Unimodular rows over Laurent polynomial rings ⋮ A zero-dimensional valuation ring is 1-Gröbner
