Katz–Lang finiteness theorem
The template {{Wikify}} has been deprecated since 25 August 2012, and is retained only for old revisions. If this page is a current revision, please remove the template.
 | Template:Wikify is deprecated. Please use a more specific cleanup template as listed in the documentation. |
 | This article contains no links to other Wikipedia articles. (November 2012) |
In number theory, the Katz–Lang finiteness theorem, proved by Katz and Lang (1981), states that if X is a smooth geometrically connected scheme of finite type over a field K that is finitely generated over the prime field, and Ker(X/K) is the kernel of the maps between their abelianized fundamental groups, then Ker(X/K) is finite if K has characteristic 0, and the part of the kernel coprime to p is finite if K has characteristic p>0.
References
- 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:10.5169/seals-51753, ISSN 0013-8584, MR659153