是循环群, 若 是 阶元, 则 , , 为 阶循环群.