A Mordell-Weil theorem for abelian varieties over fields generated by   torsion points
  If A is an abelian variety over a number field K, and L is a (possibly infinite) extension of K generated by torsion points of A, then the quotient of A(L) by its torsion subgroup is a free abelian group. 
Michael Larsen