Milnors förmodan

Från Wikipedia

Inom matematiken är Milnors förmodan en förmodan framlagd av John Milnor (1970) om en beskrivning av Milnors K-teori (mod 2) av en allmän kropp F med karakteristik skild från 2 med hjälp av Galoiskohomologi (eller ekvivalent étalekohomologi) av F med koefficienter i Z/2Z. Den bevisades av Vladimir Voevodsky (1996, 2003a, 2003b).

Satsen[redigera | redigera wikitext]

Låt F vara en kropp av karakteristik skild från from 2. Då finns det en isomorfi

för alla n ≥ 0, där K betecknar Milnorringen.

Om beviset[redigera | redigera wikitext]

Vladimir Voevodskys bevis använder sig av flera idéer av Voevodsky, Alexander Merkurjev, Andrei Suslin, Markus Rost, Fabien Morel, Eric Friedlander och flera, däribland den nyligen utvecklade teorin av motivisk kohomologi och den motiviska Steenrodalgebran.

Generaliseringar[redigera | redigera wikitext]

Analogin av detta resultat för primtal andra än 2 var känt som Bloch–Katos förmodan. Arbete av Voevodsky och Markus Rost resulterade i ett bevis av denna förmodan år 2009; resultatet är numera känt som normrestisomorfissatsen.

Källor[redigera | redigera wikitext]

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Milnor conjecture, 30 oktober 2014.

Vidare läsning[redigera | redigera wikitext]

  • Kahn, Bruno (2005), ”La conjecture de Milnor (d'après V. Voevodsky)”, i Friedlander, Eric M.; Grayson, D.R. (på franska), Handbook of K-theory, "2", Springer-Verlag, s. 1105–1149, ISBN 3-540-23019-X