Torsion points on elliptic curves over a global field

Let C be an elliptic curve defined over a global field K and denote by C_K the group of rational points of C over K. The classical Nagell-Lutz-Cassels theorem states, in the case of an algebraic number field K as groud field, a necessary condition for a point in C_K to be a torsion point, i.e. a point of finite order. We shall prove here two generalized and strongthened versions of this classical result, one in the case where K is an algebraic number field and another one in the case where K is an algebraic function field. The theorem in the number field case turns out to be particularly useful for actually computing torsion points on given families of elliptic curves.