Katz–Langs ändlighetssats
Inom talteori är Katz–Langs ändlighetssats, bevisad av Katz och Lang (1981), ett resultat som säger att om X är ett slätt geometriskt sammanhängande schema av ändlig typ över en kropp K som är ändligt genererat över sin primkropp, och Ker(X/K) är nollrummet av funktionerna mellan deras abeliserade fundamentalgrupper, då är Ker(X/K) ändlig om K har karakteristik 0, och delen av nollrummet relativt primt till p är ändligt om K har karakteristik p > 0.
Källor[redigera | redigera wikitext]
- Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Katz–Lang finiteness theorem, 25 oktober 2014.
- Katz, Nicholas M.; Lang, Serge (1981), ”Finiteness theorems in geometric classfield theory”, L'Enseignement Mathématique. Revue Internationale. IIe Série 27 (3): 285–319, doi:, ISSN 0013-8584