莫代爾定理

任意給定一個整體域上的阿貝爾簇，它的有理點形成一個有限生成阿貝爾羣。

整體域是指代數數域（即有理數域的有限擴張）或有限域上曲線的函數域。

橢圓曲線是指虧格為1的光滑射影曲線，阿貝爾簇是它的高維推廣。它在某個固定的域上面的點形成一個交換羣。