An Entity of Type: software, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In number theory, the Katz–Lang finiteness theorem, proved by Nick Katz and Serge Lang, 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.

Property Value
dbo:abstract
  • In number theory, the Katz–Lang finiteness theorem, proved by Nick Katz and Serge Lang, 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. (en)
  • Inom talteori är Katz–Langs ändlighetssats, bevisad av och, ett resultat som säger att om X är ett geometriskt sammanhängande av ändlig typ över en kropp K som är ändligt genererat över sin , 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. (sv)
dbo:wikiPageID
  • 37661448 (xsd:integer)
dbo:wikiPageLength
  • 1355 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 971234186 (xsd:integer)
dbo:wikiPageWikiLink
dbp:author1Link
  • Nick Katz (en)
dbp:author2Link
  • Serge Lang (en)
dbp:first
  • Nick (en)
  • Serge (en)
dbp:last
  • Lang (en)
  • Katz (en)
dbp:wikiPageUsesTemplate
dbp:year
  • 1981 (xsd:integer)
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • In number theory, the Katz–Lang finiteness theorem, proved by Nick Katz and Serge Lang, 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. (en)
  • Inom talteori är Katz–Langs ändlighetssats, bevisad av och, ett resultat som säger att om X är ett geometriskt sammanhängande av ändlig typ över en kropp K som är ändligt genererat över sin , 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. (sv)
rdfs:label
  • Katz–Lang finiteness theorem (en)
  • Katz–Langs ändlighetssats (sv)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License