无限循环群同构于Z
它的非e子群也是循环群,即{kn| k是整数}
所以陪集是{kn},{kn+1},{kn+2}...{kn+n-1},共n个,指数为n,有限.