剩余类群的性质

• 任意无限循环群与整数加群 Z 同构
• 任意 n 阶循环群与 n 阶剩余类加群同构

$$\forall \bar{a}\in {\mathbb{Z}}_n[f(\bar{a})=g^a]$$