K-theory via simplicial sets

The aim of the project will be to go through three descriptions of K1, and see that they yield the same abelian group. The first will be the description due to Bass. The second will be Quillen's plus-construction, and the third will be Quillen's Q-construction.