information:extraction, quality:corruption, structural:reformatting, linguistic:voice_change
K-theory

The norm residue isomorphism theorem, proved around 2000 by Vladimir Voevodsky, relates this to Galois cohomology by means of an isomorphism