|
gptkbp:instanceOf
|
gptkb:mathematical_concept
|
|
gptkbp:concerns
|
rational points
abelian varieties
|
|
gptkbp:field
|
gptkb:algebraic_geometry
number theory
|
|
gptkbp:generalizes
|
abelian varieties
Mordell–Weil–Lang theorem
|
|
gptkbp:implies
|
gptkb:Mordell's_theorem
|
|
gptkbp:namedAfter
|
gptkb:André_Weil
gptkb:Louis_Mordell
|
|
gptkbp:originallyProvedFor
|
elliptic curves
|
|
gptkbp:publishedIn
|
gptkb:Proceedings_of_the_Cambridge_Philosophical_Society
|
|
gptkbp:relatedTo
|
gptkb:Birch_and_Swinnerton-Dyer_conjecture
gptkb:Faltings's_theorem
|
|
gptkbp:state
|
the group of rational points of an abelian variety over a number field is finitely generated
|
|
gptkbp:usedIn
|
Diophantine geometry
arithmetic geometry
|
|
gptkbp:yearProved
|
1922
|
|
gptkbp:bfsParent
|
gptkb:Tate's_theorem_on_the_Galois_cohomology_of_abelian_varieties_over_algebraic_extensions
gptkb:Tate's_theorem_on_the_Galois_cohomology_of_abelian_varieties_over_infinite_extensions
gptkb:Tate's_theorem_on_the_Galois_cohomology_of_elliptic_curves
|
|
gptkbp:bfsLayer
|
7
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Mordell-Weil theorem
|