如何证明：若a生成m阶循环群Cm，则同构映射φ(a)也生成Cm

先把已知条件再明确一遍，方便我们梳理逻辑：

• ( C_m ) 是 ( m ) 阶循环群（( m \in \mathbb{Z}_{\geq1} )）
• ( \varphi: C_m \to C_m ) 是群同构
• ( a ) 是 ( C_m ) 的生成元，即 ( C_m = \langle a \rangle = { a^k \mid k \in \mathbb{Z} } )

我们要证的是：( \varphi(a) ) 也是 ( C_m ) 的生成元，也就是 ( C_m = \langle \varphi(a) \rangle )。

思路1：从生成元的定义出发（覆盖所有群元素） #

因为 ( \varphi ) 是群同构，所以它是满射——换句话说，( C_m ) 里的任意一个元素 ( c )，都能找到某个 ( b \in C_m )，使得 ( c = \varphi(b) )。

又因为 ( a ) 是 ( C_m ) 的生成元，这个 ( b ) 肯定能写成 ( a^k ) 的形式（( k ) 是某个整数）。

接下来用到同构的核心性质：保持群运算。简单说就是，同构映射会把群里的幂运算“传递”过去，对任意整数 ( k )，都有 ( \varphi(a^k) = (\varphi(a))^k )。这个结论可以用归纳法快速验证：

• 当 ( k=1 ) 时，显然成立；
• 假设 ( k=n ) 时 ( \varphi(a^{n)=(\varphi(a))}n )，那么 ( k=n+1 ) 时，( \varphi(a^{{n+1})=\varphi(a}n \cdot a)=\varphi(a^{n)\cdot\varphi(a)=(\varphi(a))}n \cdot \varphi(a)=(\varphi(a))^{n+1} )；
• 负整数的情况同理，利用 ( \varphi(a^{{-1})=(\varphi(a))}{-1} )（因为 ( \varphi(a \cdot a^{{-1})=\varphi(e)=e=\varphi(a)\cdot\varphi(a}{-1}) )）。

把这两步结合起来：任意 ( c \in C_m )，都存在 ( k \in \mathbb{Z} )，使得 ( c = \varphi(b) = \varphi(a^k) = (\varphi(a))^k )。这就意味着 ( C_m ) 里的所有元素都能表示成 ( \varphi(a) ) 的幂次，所以 ( \varphi(a) ) 是 ( C_m ) 的生成元。

思路2：通过元素的阶来推导（循环群的阶对应性质） #

另一种更直接的思路是证明 ( \varphi(a) ) 的阶等于 ( m )——因为在 ( m ) 阶循环群里，阶等于群阶的元素就是生成元。

设 ( \varphi(a) ) 的阶为 ( d )，那么 ( (\varphi(a))^d = e )（( e ) 是群的单位元）。根据同构的运算保持性，这等价于 ( \varphi(a^d) = e )。

又因为 ( \varphi ) 是同构，所以它是单射——单射的关键性质是：如果 ( \varphi(x)=e )，那么 ( x=e )（因为 ( \varphi(e)=e )，单射要求只有单位元能映射到单位元）。所以 ( a^d = e )。

而 ( a ) 是生成元，它的阶就是 ( m )，也就是说 ( m ) 是满足 ( a^k=e ) 的最小正整数。因此 ( m \mid d )（( d ) 是 ( m ) 的倍数）。

另一方面，( (\varphi(a))^m = \varphi(a^m) = \varphi(e) = e )，所以 ( d \mid m )（元素的阶必然整除群的阶）。

结合 ( m \mid d ) 和 ( d \mid m )，可得 ( d=m )，所以 ( \varphi(a) ) 的阶是 ( m )，自然就是 ( C_m ) 的生成元。

两种思路本质是相通的，都是围绕同构的核心性质和生成元的定义展开，选哪种都能完成证明~

内容的提问来源于stack exchange，提问作者White Mamba