Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Theorem

Modularity Theorem

Number Theory

Every rational elliptic curve is modular, meaning it arises from a modular form. Formerly the Taniyama-Shimura-Weil conjecture, its proof for semistable curves by Andrew Wiles (with Richard Taylor) supplied the last step needed to prove Fermat's Last Theorem; the full theorem was completed shortly after.

Facts
Statement
Every elliptic curve defined over the rational numbers is modular: it arises from a modular form, meaning it can be obtained via a rational map with integer coefficients from a classical modular curve X0(N), where N is the curve's conductor. 1
Proof Year
2001 1
Wiles and Taylor proved the semistable case in 1994-1995, sufficient to imply Fermat's Last Theorem; Breuil, Conrad, Diamond and Taylor extended this to the full theorem in 2001.
Classification
Statement Form
Characterization Theorem 1
Connections

Associated With

Has Statement Form

Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.

In Branch

Sources
1. Modularity Theorem (Wikipedia)
Wikimedia FoundationLead section
Quote, Lead section
Andrew Wiles and Richard Taylor proved the modularity theorem for semistable elliptic curves, which was enough to imply Fermat's Last Theorem (FLT). Later, a series of papers by Wiles's former students Brian Conrad, Fred Diamond and Richard Taylor, culminating in a joint paper with Christophe Breuil, extended Wiles's techniques to prove the full modularity theorem in 2001.
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.