Algebraic K-theory and the related motivic cohomology are a systematic way of producing invariants for algebraic or geometric structures. Its definition and methods are taken from algebraic topology, but it has also proved ...