同じ体の上の次元mのアーベル多様体aと次数nのアーベル多様体bの積は、次元m+nのアーベル多様体である。