A Mordell-Weil theorem for abelian varieties over fields generated by torsion points
arXiv:math/0503378
Abstract
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.
8 pages