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

トレース apa_p

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

EE を Q\mathbb{Q} 上の楕円曲線とし、素数 pp が EE の良い還元の素数である（適当に座標変換した整数係数の方程式の判別式が pp で割り切れない）とする。このとき EE を法 pp で還元して得られる Fp\mathbb{F}_p 上の楕円曲線 E~\tilde{E} に対し

ap:=p+1−#E~(Fp)a_p := p + 1 - \#\tilde{E}(\mathbb{F}_p)

とおく。

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

閉包の状態

定義

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

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

これを使っている定理

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

関連するノック 1 問