A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem

DOI10.1016/j.jalgebra.2007.12.004zbMath1147.13012OpenAlexW4317639527MaRDI QIDQ947482

Ihsen Yengui, Henri Lombardi, Afef Ellouz

Publication date: 6 October 2008

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

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

zbMATH Keywords

Quillen-Suslin theoremfinitely generated projective modulesconstructive mathematicsarithmetical ringslocal-global principlesLequain-Simis induction theoremPrufer domains

Mathematics Subject Classification ID

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

Related Items

Stably free modules over $\mathbf{R}[X$ of rank $> \dim\mathbf{R}$ are free] ⋮ The Gröbner ring conjecture in the lexicographic order case ⋮ The Gröbner ring conjecture in one variable ⋮ The Hermite ring conjecture in dimension one ⋮ Making the use of maximal ideals constructive ⋮ Dynamical Gröbner bases over Dedekind rings ⋮ Unimodular rows over Laurent polynomial rings

Cites Work

• Generating non-Noetherian modules constructively
• Faisceaux algébriques cohérents
• Dynamical Gröbner bases
• Projective modules over R[\(X_ 1,\)\dots ,X//n, R a Prüfer domain]
• A course in constructive algebra
• Serre's conjecture
• Constructive rereading of Artin-Schreier theory
• Krull dimension, Nullstellensätze and dynamical evaluation
• 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.)
• Suslin's algorithms for reduction of unimodular rows
• An algorithm for unimodular completion over noetherian rings
• Making the use of maximal ideals constructive
• Projective modules over polynomial rings: a constructive approach
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Projective modules over polynomial rings
• Projective modules over some non-noetherian polynomial rings
• Dynamical method in algebra: Effective Nullstellensätze
• Hidden constructions in abstract algebra. I: Integral dependance.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item