Norm residue isomorphism theorem
In mathematics, the norm residue isomorphism theorem is a long-sought result relating Milnor K-theory and Galois cohomology. The result has a relatively elementary formulation and at the same time represents the key juncture in the proofs of many seemingly unrelated theorems from abstract algebra, theory of quadratic forms, algebraic K-theory and the theory of motives. The theorem asserts that a certain statement holds true for any prime and any natural number . John Milnor speculated that this theorem might be true for and all , and this question became known as Milnor's conjecture. The general case was conjectured by Spencer Bloch and Kazuya Kato and became known as the Bloch–Kato conjecture or the motivic Bloch–Kato conjecture to distinguish it from the Bloch–Kato conjecture on values of L-functions. The norm residue isomorphism theorem was proved by Vladimir Voevodsky using a number of highly innovative results of Markus Rost. Statement For any integer ℓ invertible in a field there is a map where denotes the Galois module of ℓ-th roots of unity in some separable closure of k. It induces an isomorphism . The first hint that this is related to K-theory is that is the group K1(k). Taking the tensor products