On projective modules over polynomial rings

Abstract

In 1955, Serre gave an open problem on freeness of projective modules over polynomial ring over a field. In fact, it was proved by Serre in 1958 that if P is a finitely generated projective module over R[x_1,…, x_n], then P is stably isomorphic to a free module.