On primitive points of elliptic curves with complex multiplication (Q2566184): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 08:36, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On primitive points of elliptic curves with complex multiplication |
scientific article |
Statements
On primitive points of elliptic curves with complex multiplication (English)
0 references
22 September 2005
0 references
Let \(E\) be an elliptic curve defined over \(\mathbb{Q}\) with complex multiplication by an order \({\mathcal O}\) in an imaginary quadratic field \(k\), and let \(P\in E(\mathbb{Q})\) be a rational point of infinite order. Let \(M_{E,P}\) denote the set of rational primes \(\ell\) such that \(\ell\) splits in \(k\), \(E\) has good reduction at \(\ell\), and \(P\) is a primitive point modulo \(\ell\). When \(k= \mathbb{Q}(\sqrt{-p})\) with \(p\in\{11,19,43,67,163\}\) and \({\mathcal O}\) is the maximal order of \(k\), \textit{R. Gupta} and \textit{M. R. Murty} [Compos. Math. 58, 13--44 (1986; Zbl 0598.14018)] showed under the assumption of the generalized Riemann hypothesis that \(M_{E,P}\) has a positive density. In the present paper the authors extend the results to several cases of non-maximal orders. The main theorem shows the following: Under the assumption that \(E_{\text{tor}}(k)\) is cyclic, \(M_{E,P}\) has a positive density if and only if for any prime \(q|\# E_{\text{tor}}(k)\), there exists no \(k\)-rational \(q\)-isogeny \(\phi: E'\to E\) such that \(\phi^{-1}(P)\subset E'(k)\).
0 references
elliptic curve
0 references
complex multiplication
0 references
primitive point
0 references