Teorema de Bass-Heller-Swan controlado

Sea R un anillo regular. El teorema de Bass-Heller-Swan asegura que el grupo K_{1} de R[t^{-1},t] es K_{0}(R) \oplus K_{1}(R). Veremos un enfoque de este teorema que ilustra herramientas de topología controlada utilizadas en la prueba de la conjetura de Farrell-Jones para algunos casos.