For the rational torsion subgroup of is cyclic of order if is a cube, cyclic of order if is a cube, and trivial otherwise.
To bound torsion, use the Weierstrass equation of an elliptic curve . At every good prime , cubing is a bijection on , so the number of points is . Reduction injects the prime-to- torsion, since multiplication by an integer prime to is invertible in the formal group of an elliptic curve. For any prime , the Dirichlet theorem on primes in arithmetic progressions supplies a good , , excluding -torsion. Good primes exclude order , and good primes exclude order . Thus every rational torsion point is killed by .
The flexes of a diagonal cubic give rational three-torsion exactly when is a cube, and then it has order . Rational two-torsion requires , whose sole possible rational root exists exactly when is a cube. This equivalence follows by comparing prime valuations modulo , including the valuation at . The two conditions cannot hold together because is not a rational cube. The asserted classification follows.

Articles by others on the same topic (0)

There are currently no matching articles.