  In this paper we investigate linear dependence of points in Mordell-Weil
groups of abelian varieties via reduction maps. In particular we try to
determine the conditions for detecting linear dependence in Mordell-Weil groups
via finite number of reductions.
