ABC三つ組の質

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

ABC 三つ組 $(a,b,c)$ で $c \ge 2$ となるものに対し、

q(a,b,c) = \frac{\log c}{\log \operatorname{rad}(abc)}

を三つ組の質（quality）と呼びます。

閉包の状態

定義

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

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

証明で明示的に参照している定理は、まだありません。