フライ曲線は半安定

命題 9.5（「楕円曲線・モジュラー形式と現代数論」§9）・ ※主張のみ

定義 9.1 の正規化の下で、フライ曲線 $E_{a,b}$ は半安定であり、その最小判別式と導手は

\Delta_{\min} = \frac{(abc)^{2p}}{2^{8}}, \qquad N = \prod_{\ell \mid abc} \ell

で与えられます。

閉包の状態

※ 主張のみ

証明を Rikai に書かない命題です（研究最前線の結果や、証明が本 1 冊分になるもの）。主張のみの台帳に理由つきで登録されています。理由と出典は本文の注意にあります。

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

主張のみなので、Rikai の中で証明が使う前提はありません。