Detecting linear dependence by reduction maps (Q2581377)

Let \(E\) be non-CM elliptic curve defined over a number field \(F\). The authors provide the complete solution of the problem of detecting linear dependence of non-torsion points in the Mordell-Weil group \(E(F)\) by reduction maps (see Theorem 4.2 for a more general result). They prove similar result in the case of the group \(B(F):=K_{2n+ 1}(F)/C_F\) (Theorem 4.1), where \(C_F\) denotes the (finite) subgroup of \(K_{2n+1}(F)\) generated by \(l\)-parts of kernels of the Dwyer-Friedlander maps for all primes \(l\). The main ingredients in the proofs are: the Kummer theory developed by \textit{K. Ribet} [Duke Math. J. 46, 745--761 (1979; Zbl 0428.14018)] and the method worked out by the authors in [\textit{G. Banaszak}, \textit{W. Gajda} and \textit{P. Krasoń}, J. Number Theory 100, No. 1, 133--168 (2003; Zbl 1088.11040)]. Note that \textit{T. Weston} [Acta Arith. 110, No. 1, 77--88 (2003; Zbl 1041.11044)] has proven (by a different method) a result similar to Theorem 4.2.