On the ubiquity of trivial torsion on elliptic curves (Q992015)

For \(M\geq 0\) let \[ {\mathcal C}(M)=\{(A,B)\in{\mathbb Z}^2\mid 4A^3+27B^2\neq 0,|A|,|B|\leq M\}, \] \[ {\mathcal T}_p(M)=\{(A,B)\in{\mathcal C}(M)\mid E_{(A,B)}({\mathbb Q})[p]\neq \{\mathcal O\} \}, \] where \(p\) is a prime number and \(E_{(A,B)}\) the elliptic curve \( Y^2=X^3+AX+B\), \[ {\mathcal T}(M)=\cup_{p\,\text{prime}}{\mathcal T}_p(M). \] The authors prove that \[ \lim_{M\to\infty}\frac{|{\mathcal T}(M)|}{|{\mathcal C}(M)|}=0. \]