Torsion points on elliptic curves over all quadratic fields (Q1080490)

Let p be one of the primes 17, 19, 23, 29 or 31. Let X be the completion of the curve over \({\mathbb{Q}}\) that classifies isomorphism classes of elliptic curves together with a rational point of order p. It is proved that X has a nonhyperelliptic quotient whose jacobian has finite Mordell- Weil group over \({\mathbb{Q}}\). From this the author deduces that for any quadratic field K, there is no elliptic curve defined over K containing a K-rational point of order p. [See also part II of this paper (Zbl 0599.14030 below).]