モーデルの定理
数学におけるモーデルの定理（モーデルのていり、）とは、有理数体 Q 上の楕円曲線 "E" の有理点と無限遠点 "O" のなすアーベル群 "E"(Q) が有限生成になる、という定理である。有限生成アーベル群の基本定理から有限生成アーベル群は次に同型であることが知られている。
ここで formula_2 は有限アーベル群（ねじれ部分群）である。（"r" は "E" の階数（ランク）と呼ばれ、関連する予想にミレニアム懸賞問題のBSD予想がある。）
有限生成アーベル群 "E"("Q") の場合、ねじれ部分群 "T" は次のいずれかに同型となる（メイザーのねじれ定理）。
モーデルの定理は後にアンドレ・ヴェイユによって代数体上のアーベル多様体の有理点のなす群に関するモーデル・ヴェイユの定理へと拡張された。