を代数体として 上定義された楕円曲線の -有理点の群をモーデル・ヴェイユ群 といいます。モーデル・ヴェイユの定理によって、 が有限生成であることが示されていますが、その自由部分の生成元の個数、すなわちランクを決定するのは一筋縄ではありません。今…