Аннотация:
Будет доказана теорема Морделла-Вейля, в частности утверждающая конечную порождённость группы рациональных точек на эллиптической кривой над полем рациональных чисел. Для доказательства этой теоремы будет доказана конечность группы Зельмера эллиптической кривой. В ходе повествования будут сделаны замечания в сторону аналогичных утверждений для произвольных абелевых многообразий. Наконец, будет рассказано про высоты на проективных пространствах и абелевых многообразиях, также нужные для доказательства теоремы Морделла-Вейля.
