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.13012MaRDI QIDQ947482

Henri Lombardi, Ihsen Yengui, 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 theorem; finitely generated projective modules; constructive mathematics; arithmetical rings; local-global principles; Lequain-Simis induction theorem; Prufer domains

Mathematics Subject Classification ID

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

Related Items

The Hermite ring conjecture in dimension one, Dynamical Gröbner bases over Dedekind rings, Making the use of maximal ideals constructive, Stably free modules over $\mathbf{R}[X$ of rank $> \dim\mathbf{R}$ are free]

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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.