Integral division points on curves

Let k be a number field with algebraic closure (k) over bar, and let S be a finite set of primes of k containing all the in finite ones. Let E/k be an elliptic curve, Gamma(0) be a finitely generated subgroup of E ((k) over bar), and Gamma subset of E ((k) over bar) the division group attached to Gamma(0). Fix an effective divisor D of E with support containing either: (i) at least two points whose difference is not torsion; or (ii) at least one point not in. We prove that the set of Gamma integral division points on E ((k) over bar)', i.e., the set of points of Gamma which are S-integral on E relative to D; is finite. We also prove the G(m)-analogue of this theorem, thereby establishing the 1-dimensional case of a general conjecture we pose on integral division points on semi-abelian varieties.