On a generalization of the support problem of Erdős and its analogues for abelian varieties and \(K\)-theory (Q2655009)

In [J. Number Theory 64, No. 2, 276--290 (1997; Zbl 0922.11086)] \textit{C. Corrales-Rodrigáñez} and \textit{R. Schoof} proved the following result (answering a question of P. Erdős): Let \(F\) be a number field and let \(x,y\in F^*\). If for almost all prime ideals \(P\) of the ring of integers of \(F\) and for all positive integers \(n\) one has \(x^n \equiv 1\pmod P\) implies \(y^n \equiv 1\pmod P\), then \(y\) is a power of \(x\). In the same paper they proved an analogue of this result for elliptic curves (replacing \(S\)-units with the Mordell-Weil group). Subsequently, a number of authors generalized the result to various classes of Abelian varieties; \textit{G. Banaszak}, \textit{W. Gajda} and \textit{P. Krasoń} [(J. Number Theory 100, No. 1, 133--168 (2003; Zbl 1088.11040)], \textit{C. Khare} and \textit{D. Prasad} [J. Number Theory 105, No. 2, 322--332 (2004; Zbl 1080.11046)] and \textit{M. Larsen} [J. Number Theory 101, No. 2, 398--403 (2003; Zbl 1039.11040)]. Banaszak, Gajda and Krasoń also proved analogous theorems for the \(K\)-theory of number fields, and the author of the paper under review extended some of these results [J. Number Theory 119, No. 1, 1--17 (2006; Zbl 1107.14033)]. In the paper under review, the author provides a generalization of these results in the context of an an elementary formalism which applies to the contexts named above: We suppose given an Abelian group \(B\) and an infinite family of homomorphisms \(r_v: B\to B_v\) whose targets, \(B_y\) are finite Abelian groups. We suppose further that the following two conditions are satisfied: 1. Let \(\ell\) be a prime number, \(k_1,\dots, k_m\) a sequence of nonnegative integers. If \(P_1,\dots, P_m\in B\) are points linearly independent over \(\mathbb Z\), then there is an infinite set of \(v\) such that, for each \(i\), \(k_i\) is the exact power of \(\ell\) which divides the order of \(r_v(P)\). 2. For almost all \(v\) the map \(B_{\text{tors}}\to B_v\) is injective. Given this set-up the author proves the following theorem: Let \(\Lambda\) be a finitely generated subgroup of \(B\) and suppose given \(P_1,\dots, P_t\) linearly independent in \(B\) satisfying, for every \(n\in\mathbb N\), the condition that \(nr_v(P_{i_v})= 0\) for some \(i_v\in \{1,\dots, t\}\) whenever \(nR_v(\Lambda)= 0\). Then \(\alpha P_i\in\Lambda\) for some \(i\in\{1,\dots, t\}\) and \(\alpha\in \mathbb Z\setminus\{0\}\).