よって、有限生成アーベル群の構造定理により、自由アーベル群zrと、に対しアーベル多様体のランク(rank)と呼ばれるある非負な整数rが存在してr個の有限な可換群との積となる。