关于Zₙ的自同构必为x↦xᵃ形式的严谨证明请求

嗨，我完全懂你这种“直觉上明白但总觉得缺了点严谨性”的感受——当初我啃群论的时候也在类似的地方卡过壳。咱们一步步把这个证明拆碎了说，保证每一步都扎实：

首先先明确前提：$Z_n$是n阶循环群，假设它的一个生成元是$x$，也就是说$Z_n$里的每一个元素都能写成$x^k$的形式，其中$k = 0,1,2,...,n-1$。

接下来，任取一个自同构$\varphi \in \operatorname{Aut}(Z_n)$，自同构的定义是双射的群同态，咱们就从这两个性质入手：

1. 群同态的性质决定了$\varphi$由生成元的像完全确定
   对于$Z_n$里的任意元素$x^k$，根据群同态的“保持运算”特性：
   $$\varphi(x^k) = \varphi(\underbrace{x \cdot x \cdot ... \cdot x}{k次}) = \underbrace{\varphi(x) \cdot \varphi(x) \cdot ... \cdot \varphi(x)}{k次} = [\varphi(x)]^k$$
   这意味着，只要知道$\varphi$把生成元$x$映射到了哪里，整个群里所有元素的像就都确定了。

2. 双射的要求决定了$\varphi(x)$必须是$Z_n$的生成元
   自同构是满射（因为是双射），所以$\varphi$的像必须是整个$Z_n$群。如果$\varphi(x)$不是生成元，那它生成的子群$\langle \varphi(x) \rangle$就是$Z_n$的真子群，$\varphi$的像最多就是这个真子群，不可能覆盖整个$Z_n$，这就违背了满射的要求。
   而循环群$\langle x \rangle$的生成元是什么呢？结论是：$x^a$是生成元当且仅当$a$和$n$互质，也就是$a \in (\mathbb Z/n\mathbb Z)^\times$（这个是循环群生成元的基本结论，要是你对这个也存疑，咱们也可以单独补证）。

3. 结合前两点得到最终结论
   既然$\varphi(x)$一定是某个$x^a$（其中$\gcd(a,n)=1$），那把它代入第一步的式子，对$Z_n$里的任意元素$y = x^k$，就有：
   $$\varphi(y) = \varphi(x^k) = [x^a]k = x^{ak} = (x^k)a = y^a$$
   这不就说明，任意自同构$\varphi$都必然是“把每个元素映射到它的a次幂”的形式吗？

至于你说的“其他映射生成元的方式会不会不保持结构”——其实不是“其他方式不行”，而是所有能保持群结构（也就是同态）且是双射的生成元映射，都只能是把生成元映射到另一个生成元，而这些生成元本身就都是$x^a$的形式，所以最终对应的自同构自然就是$y \mapsto y^a$的样子。

备注：内容来源于stack exchange，提问作者dav