В теории чисел теорема о конечности Каца –Лэнга , доказанная Ником Кацем и Сержем Лэнгом (1981), утверждает, что если X — гладкая геометрически связная схема конечного типа над полем K , которая конечно порождена над простым полем , и Ker( X / K ) — ядро отображений между их абелианизированными фундаментальными группами , то Ker( X / K ) конечно, если K имеет характеристику 0, а часть ядра, взаимно простая с p, конечна, если K имеет характеристику p > 0.