Detecting linear dependence by reduction maps

We consider the local-to-global principle for detecting linear dependence of points in groups of the Mordell-Weil type. As applications of our general setting we obtain corresponding statements for Mordell-Weil groups of non-CM elliptic curves and some higher-dimensional abelian varieties defined over number fields, and also for odd dimensional K-groups of number fields.