Stably free modules over $\mathbf{R}[X]$ of rank $> \dim\mathbf{R}$ are free
From MaRDI portal
Publication:3168742
DOI10.1090/S0025-5718-2010-02427-5zbMath1219.13006MaRDI QIDQ3168742
Publication date: 19 April 2011
Published in: Mathematics of Computation (Search for Journal in Brave)
Quillen-Suslin theorem; constructive mathematics; Hermite rings; stably free modules; Hermite ring conjecture; unimodular vectors
13C10: Projective and free modules and ideals in commutative rings
14Q20: Effectivity, complexity and computational aspects of algebraic geometry
03F65: Other constructive mathematics
19A13: Stability for projective modules
19B14: Stability for linear groups
Related Items
On the existence of unimodular elements and cancellation of projective modules over noetherian and non-noetherian rings, Dynamical Gröbner bases over Dedekind rings, Projective modules and orbit space of unimodular rows over discrete Hodge algebras over a non-Noetherian ring, On the action of the elementary group on the unimodular rows, On stably free modules over Laurent polynomial rings
Cites Work
- Generating non-Noetherian modules constructively
- Faisceaux algébriques cohérents
- A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem
- The Hermite ring conjecture in dimension one
- The Bass-Quillen conjecture in dimension three but characteristic \(\neq 2,3\) via a question of A. Suslin
- Projective modules over R[\(X_ 1,\)\dots ,X//n, R a Prüfer domain]
- A course in constructive algebra
- Serre's conjecture
- An algorithm for unimodular completion over noetherian rings
- Making the use of maximal ideals constructive
- On Stably Extended Projective Modules Over Polynomial Rings
- Projective modules over polynomial rings
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item