●命題1.1

C上定義された有理型関数f(u)の
周期全体のなす集合Ωは
Cの加法群の部分群になる