展开 整数加法群的子群一定是某个nz