リベットの定理
リベットの定理（リベットのていり、Ribet's theorem）とは、モジュラー形式に関連するガロア表現の性質に関する定理である。ケン・リベットによって1986年に証明されるまではイプシロン予想（epsilon conjecture、ε-conjecture）とも呼ばれていた。谷山・志村予想とイプシロン予想からフェルマー予想（フェルマーの最終定理）が導かれるため、リベットによる証明はフェルマー予想の解決にとっても重要な一歩であった。
数学的な用語では、リベットの定理は、楕円曲線に関連するガロア表現が特定の性質を持つ場合、その曲線はモジュラーではあり得ない（同じ表現を生じさせるモジュラー形式が存在し得ないという意味で）ことを示す[1]。
主張
f を Γ0 (qN) に関する重さ2の新形式 (newform) – ここでレベル qN について q は N を割らない –[訳語疑問点] で付随する 2-次元絶対既約 mod p Galois 表現 ρf,p は qで不分岐（q ≠ p）かつ q = pで有限平坦とする。
リベットの定理は、このときレベル N 重さ2の新形式g が存在して、
- Ribet's theoremのページへのリンク
