展开 整数加法群的子群都是循环群