フライ曲線

定義 9.1（「楕円曲線・モジュラー形式と現代数論」§9）

$p \ge 5$ を素数、 $a, b, c$ を $0$ でない整数で対ごとに互いに素、 $a^p + b^p = c^p$ 、 $b$ は偶数、 $a \equiv 3 \pmod 4$ とします。このとき

E_{a,b} : \quad y^2 = x\,(x - a^p)(x + b^p)

で定まる $\mathbb{Q}$ 上の楕円曲線をフライ曲線と呼びます。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。