There is a lemma in algebra, which is very interesting.
Suppose that is a commutative ring, and are three modules, and there are two morphisms, (in other words, we have a sequence, ), then we have an exact sequence,
This is a ‘lovely’ lemma , since it doesn’t require any conditions on the original sequence, no condition on the exactness of the short sequence, for example.
The proof to this lemma is rather simple, so we won’t give it here.
I believe that there are various applications of this lemma. Yet, perhaps because this lemma is too elementary, I do not get any results when I search this lemma on the Internet(perhaps I do not get its name right? I searched using the name, ‘kernel cokernel (exact) sequence’,.:)
I came across this lemma from Milne’s book, ‘elliptic curves’ when he defines the Selmer’s group.
Selmer’s group is an important tool in proving, in a modern way, the theorem of Mordell-Weil(which says that, any elliptc curve over any field of finite extension of the rationals is an abelian group of finite rank, or more precisely, is a group of which the torsion part is finite, and the free part is of finite rank). Yet the definition for this group is not so obvious.
Suppose that is an elliptic curve over some number field (finite extension of the rationals), which we write as . One important step in the classical proof to the theorem of Mordell-Weil is to show that is a finite group where is a positive integer(in the proof we just need to show that this is true for the case $latexn=2$, and then we can use the height function to finish the proof).
Start from the exact sequence,
and use the functor, from the category of -abelian groups to itself, where is a group, finite or profinite, then we can get a long exact sequence(here the group is , where is the algebraic closure of ),
In this way, we get that
(in the aobove we write for the torsion part of an abelian group , and for ).
What is more, there are obvious maps, where stands for the completion of with respect to a place of (finite place or infinite place).
Due to some examples where are not finite groups, we turn to consider the group,
Apply the above algebraic lemma to the sequence,
then we get that
For the present, wo do not concern with the before last term. We see that, there is an injection from into , so if we can show that is finite, then so will be .
An this is indeed the case, this is the modern version of the proof to the theorem of Morderll-Weil.