內容主要分成三部分,第一部分介紹一些後面章節會用到的基本定義以及定理。第二部分介紹如何透過計算 Selmer 群跟 Shafarevich-Tate 群來計算 Mordell-Weil 群的一組基底。第三部分則是介紹如何透過 Manin's 算則來計算Mordell-Weil 群的一組基底。
From some basic results of Algebraic Number Theory and Algebraic Geometry, we know that the set of points of an elliptic curve E over Q has a group structure, and the rational points form a subgroup (called the Mordell-Weil group) which is denoted by E(Q). Moreover, by the well-known Mordell-Weil Theorem, we know that E(Q) is finitely generated. It arises a question that can we find a basis for the Mordell-Weil group? Unfortunately, for the time being, there is no any valid algorithm for computing a basis for the Mordell-Weil group. However, several methods to find a basis for Mordell-Weil groups are available under some specific conditions. In this thesis, we would like to study two of them. The content is divided into three sections. In section one, we recall some basic definitions and theorems that would be used in the remaining sections, including basic properties of elliptic curves, height functions, and group cohomology. In section two, we study how to compute a basis of Mordell-Weil group via phi-Selmer group and Shafarevich-Tate group under the hypothesis that f(x) has rational roots, where the elliptic curve E is given by y2 = f(x). We would discuss the case where f(x) has only one rational root and the case where f(x) has three rational roots. In each case, we shall give an example. Finally, in section three, we would study computing a basis of Mordell-Weil group via Manin’s conditional algorithm.