One version of Mordell-Weil theorem is as follows:

**Suppose is a number field, is an elliptic curve in , then is an Abelian group of finite type.**

In other words, where is a non-negative integer and is a finite Abelian group. At first sight, this theorem is indeed surprising, at least for me, because I do not know, a priori, anything on the algebraic structure, except that it is an Abelian group.

The proof of this theorem relies heavily on the height function defined on the elliptic curves as we will give right now. Suppose is a point in the projective space, we denote the set of places of , finite places() and infinite places() as well. And we set . Another height function is defined on , that is for , we set if , and if . This height function is the Weil height function. We can verify that

**There exists constants such that (1);(2).**

The first inequality inspires us that is perhaps a ‘polynomial function’ on in . Indeed, we can define . Note that , due to the first inequality, this limit does exist, and in this way we have that

**.**

As for the second inequality, we can also show that for

**.**

So, for the present, we have shown that we can define a positive quadratic form on the Abelian group .

To prove the Mordell-Weil theorem, we can proceed in two steps:(1)show that is a finite set;(2) show that is an Abelian group of finite type.

Note that, the whole argument is not valide in general. It uses essentially the following fact:

**The set for some constant is a finite set.**

Let’s first assume this fact, and then we observe that for a point , , and the set is finite(of course, we can change here the by , the conclusion remains unchanged since the difference between these two functions is uniformly bounded).

Now combine the first argument that is finite and the above result, in using the descent method due to Fermat, we can show that is of finite type as an Abelian group. The argument is rather classic. First we find a set of representatives of the quotient , and since it is finite, we can set . For convenience, we can set . So for any with , there is such that . Yet, the crucial fact is

This is the famous descent method! So, as long as , we can continue to use this method, and with the important fact that is always finite, we get that this process will eventually get terminated, and at last we get with . This means that can be spanned by the finite set .

So, it remains to show that is finite. This is the most difficult part of the proof. The idea is to construct a homomorphism . And we can show that the induced morphism has kernel exactly . What is more, we can show that where will be defined in the following and the quotient is a finite set because can to be shown to be an Abelian group of finite type.

Now for any finite subset , we define . What does this set mean? It can be easily shown that is in fact a ring, a subring of . An important fact due to Dirichlet, Chevalley and Hasse is

**The group of units is of finite type.**

A typical proof consists of constructing a map, where are the real(complex) infinite places of and with . It is indeed a group morphism. What is more, we can show that is discret in . How to intuitively show this? The last factors take discret values simple because the function takes discret values. And the first factors takes discret values because there can not be too many elements all of whose conjugates are very close to . Note that by multiplying by some integers, an algebraic number can become an algebraic integer. So the precedent sentence can by verified for the algebraic integers. Yet, if the conjugates of an algebraic integer are close to , then the coefficients of the minimal polynomial(which is unitary, that is, the coefficients of the highest degree is ) are bounded, depending only on the degree . Thus the finiteness. To show the kernel of is also finite, it is equivalent to showing that is finite. Yet the argument is the same as above. So, we have shown that is of finite type.

Then we should try to give such a homomorphism . One remark is in order. Note that, in , the elliptic curve is . In a larger field , we can assume that . And note that . So, if we can show that is of finite type, then so is . The reason of enlarging the field, is just to make the polynomial decompose into three linear factor and so that we can define the function . So, we can suppose directly that in we already have, . For , for a point , if , the neutral element, we set , if , then we set , otherwise we set . We can show that, is indeed a homomorphism.

The difficult thing is to show that has a finite image. Suppose that . We can assume that with where is the ideal of generated by . Then we have that . Note that , so if where are prime ideals of with has only finite non-zero, this induces that has only finite many possibilities modulo square(we should also consider the units, yet from the above we know that the group of units in is of finite type). Thus this shows that has finite image, and thus the whole Mordell-Weil theorem.