Classical modular curve: Difference between revisions

Revision as of 21:28, 28 August 2006

Revision as of 06:38, 6 September 2006

Line 29:

A curve ''C'' over the rationals '''Q''' such that there exists a surjective morphism from ''X''<sub>0</sup>(''n'') to ''C'' for some ''n'', given by a rational map with integer coefficients

:φ:''X''<sub>0</sup>(''n'') &rarr; ''C]]'',

is a [[modular curve]]. The famous [[modularity theorem]] tells us that all [[elliptic curve]]s over '''Q''' are modular.