Prescribing valuations of the order of a point in the reductions of abelian varieties and tori (Q999725): Difference between revisions

Let \(G\) be the product of an abelian variety and a torus over a number field \(K\) and \(R\) a \(K\)-rational point of \(G\). The problem is how the order of \((R\text{\,mod\,}{\mathfrak p})\) behaves if the finite prime \({\mathfrak p}\) of \(K\) varies. The main result of the paper under review is the following: If \(n_R\) is the number of connected components of the smallest \(K\)-algebraic subgroup of \(G\) containing \(R\), then \(n_R\) is the greatest positive integer which divides the order of \((R\text{\,mod\,}{\mathfrak p})\) for all but finite many primes \({\mathfrak p}\) of \(K\). Furthermore, if \(m> 0\) is a multiple of \(n_R\) and \(S\) a finite set of rational primes, then there exist a positive Dirichlet density of primes \({\mathfrak p}\) of \(K\) such that, for every \(\ell\) in \(S\), the \(\ell\)-adic valuation of the order of \((R\text{\,mod\,}{\mathfrak p})\) is equal to \(v_\ell(m)\). If now \(G\) is a semi-abelian variety, then \(n_R\) divides the order of \((R\text{\,mod\,}{\mathfrak p})\) for all but finitely many primes \({\mathfrak p}\) of \(K\) and for every integer \(m> 0\) there exists a positive Dirichlet density of primes of \(K\) such that the orer of \((R\text{\,mod\,}{\mathfrak p})\) is a multiple of \(m\). The results strengthen different previous results of different authors in the case of abelian varieties.