Projective modules over polynomial rings: a constructive approach

DOI10.1002/mana.200610772zbMath1169.13003OpenAlexW2094976779MaRDI QIDQ3634628

Sami Barhoumi, Ihsen Yengui, Henri Lombardi

Publication date: 25 June 2009

Published in: Mathematische Nachrichten (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/mana.200610772

zbMATH Keywords

projective modules, Quillen-Suslin's theorem, arithmetical rings, constructive mathematics

Mathematics Subject Classification ID

Projective and free modules and ideals in commutative rings (13C10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Other constructive mathematics (03F65) Stability for projective modules (19A13)

Related Items (4)

Unnamed Item ⋮ 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 ⋮ Making the use of maximal ideals constructive

Cites Work

• Unnamed Item
• Unnamed Item
• A course in constructive algebra
• Serre's conjecture
• Making the use of maximal ideals constructive
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Projective modules over some non-noetherian polynomial rings
• Projective modules over polynomial rings

This page was built for publication: Projective modules over polynomial rings: a constructive approach