循环群的性质

如果 $i\equiv j(modn)$ ，则 $g^i=g^j$

如果 G 是无限循环群，那么在这个群里任意挑一个元素作为生成元生成一个都是它的子群（但不见得都是无限的，比如单位元）