La K-théorie stable
Soit un corps complet pour une valuation discrète, de corps résiduel . Lorsque est fini, la structure de a été déterminée par C.C. Moore, J.E. Carroll et A.S. Merkurjev. On généralise ici leurs résultats au cas où est parfait de caractéristique positive . Les résultats principaux sont : est -divisible pour assez grand (explicite); le groupe de Milnor est discret, explicitement déterminé ; n’a pas de torsion première à , et sa -torsion est explicitement déterminée. On obtient...
Giffen in [1], and Gillet-Grayson in [3], independently found a simplicial model for the loop space on Quillen's Q-construction. Their proofs work for exact categories. Here we generalise the results to the K-theory of triangulated categories. The old proofs do not generalise. Our new proof, aside from giving the generalised result, can also be viewed as an amusing new proof of the old theorems of Giffen and Gillet-Grayson.