Quillen-suslin rings

Abstract

In this paper we introduce the Quillen-Suslin rings and investigate its relation with some other classes of rings as Hermite rings (each stably free module is free), PSF rings (each finitely generated projective module is stably free), PF rings (each finitely generated projective module is free), etc. Quillen-Suslin rings are induced by the famous Serre's problem formulated by J.P. Serre in 1955 ([30]) and solved independently by Quillen ([28]) and Suslin ([31]) in 1976. The solution is known as the Quillen-Suslin theorem and states that every ¯nitely generated projective module over the polynomial ring K [ₓ₁‚…,ₓₙ] is free, where K is a field. There are algorithmic proofs and some generalizations of this important theorem that we will also study in this paper. In particular, we will consider extended modules and rings, and the Bass-Quillen conjecture.