Elliptic curves with a point of order \(13\) defined over cyclic cubic fields (Q2075021)

Given an elliptic curve \(E\) over a number field \(K\), the question ``What the possible orders of torsion points in \(E(K)\) are?'' was the main focus of lots of works in the literature. For example, in the recent work, \textit{D. Jeon} [Math. Comput. 85, No. 299, 1485--1502 (2016; Zbl 1354.11044)] determined which torsions structures occur infinitely often over cyclic cubic fields. In the paper under review, the authors completed the work of Jeon by showing that there is essentially a unique elliptic curve \(E\) over a cyclic Galois extension \(K\), not defined over \(\mathbb{Q}\), with have a point of order \(13\). More precisely, the main result of the paper is the following: {Theorem.} Let \(K\) be a cubic Galois extension of \(\mathbb{Q}\) and let \(E\) be an elliptic curve defined over \(K\) with \(E(K)[13] \not = 0\). Then either \(E\) can be defined over \(\mathbb{Q}\), or else \(K= {\mathbb Q}( \alpha)\) with \(\alpha^3-\alpha^2-82\alpha +64 = 0,\) and \(E\) is isomorphic to a Galois conjugate of the curve \[E: y^2 + (1-c) x y - by = x^3 - b x^2,\] where \[b=\frac{10 \alpha^2+ 90 \alpha - 1938}{19773}, \ c= \frac{6 \alpha^2+ 50 \alpha - 208}{1521}.\]