有理点の分母

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

$a,b\in\mathbb{Z}$ とする。 $(x,y)\in E(\mathbb{Q})$ は、整数 $m,n$ と正の整数 $e$ で $\gcd(m,e)=\gcd(n,e)=1$ を満たすものにより $x=m/e^2$ 、 $y=n/e^3$ と書ける。

閉包の状態

✓ 公理まで証明済み

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

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

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

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