This is the first part of the talk on the Quillen-Suslin theorem, formerly known as Serre's Conjecture. The assertion is that a finitely generated projective module over a polynomial ring over a field is always free. In 1976, Quillen and Suslin independently provided a complete proof of this theorem. Quillen was awarded a fields medal in part because of his proof this conjecture. In this talk we'll discuss a simplification of Suslin's proof given by Vaserstein. 

In the first part, we'll develop the required machinery, starting with the concepts such as stably free modules and unimodular column extension property (UCEP). Based on these, we'll see what stably free modules of a commutative ring having UCEP look like. Also, we'll see the proof of Horrock's theorem and will draw some observations required to prove the main theorem.