有限生成でないアーベル群.