そもそも有限生成Abel群は、巡回群の直和なのだから有限位数の点を調べるのは当然