using bott periodicity theorem made basis extraordinary cohomology theory played major role second proof atiyah singer index theorem circa furthermore approach led noncommutative k theory c algebras already jean pierre serre used analogy vector bundles projective modules formulate serre 's conjecture states every finitely generated projective module polynomial ring free assertion correct settled years later swan 's theorem another aspect analogy developments
Formal science Mathematics Pure mathematics Algebra K-theory