Tanijamova–Šimurova domněnka

Tanijamova–Šimurova domněnka nebo také teorém modularity je matematická věta. Původně šlo pouze o domněnku formulovanou Jutakou Tanijamou a Góro Šimurou v padesátých letech 20. století. Byla dokázána v roce 1994 Andrewem Wilesem v rámci důkazu velké Fermatovy věty. Týká se souvislosti eliptických křivek s modulárními formami.

Modulární formy a eliptické rovnice jsou si ekvivalentní.

To znamená, že členy M-řady jisté modulární formy souhlasí s členy E-řady dané eliptické rovnice (zjednodušeně). De facto to znamená, že daná eliptická rovnice je svázána s modulární formou pomocí odpovídající si E-řady a M-řady, přičemž obě tyto řady splývají.