数学 › 数論 › 楕円曲線・モジュラー形式と現代数論

指数の還元

命題 7.2（「楕円曲線・モジュラー形式と現代数論」§7）・ ✓公理まで証明済み

$n = 4$ と、すべての奇素数 $p$ について指数 $n = 4$ 、 $n = p$ の非自明解が存在しないならば、すべての $n \ge 3$ について指数 $n$ の非自明解は存在しません。

本文で読む（証明と前後の説明）→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

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

前提をたどる証明が使う定理・定義

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

これを使っている定理証明で参照している 2 件

主張のみの 7 定理からフェルマーの最終定理が従う△定理 8.1・フェルマーの最終定理 I
系 7.4✓楕円曲線・モジュラー形式と現代数論

関連するノック 1 問

数論第 48 問