n阶交换群中f(a)=aᵏ的同构性证明问询（含同态验证）

嘿，你的同态验证完全没问题！先给你点个赞——这一步精准抓住了交换群的核心性质，因为G是交换群，所以$(ab)^k = a^k b^k$这个等式成立，完美满足同态映射的定义，这部分逻辑毫无漏洞。

接下来咱们一步步搞定单射和满射的证明：

证明f是单射 #

对于群同态来说，单射等价于核是平凡子群（也就是$\text{Ker}(f) = {e}$，其中$e$是G的单位元），我们用这个性质来证：

• 假设$a \in \text{Ker}(f)$，也就是$f(a) = a^k = e$。
• 已知$(k,n)=1$，根据贝祖定理，必然存在整数$s,t$使得$ks + nt = 1$。
• 对$a$做指数展开：$a = a^{ks + nt} = (a^k)s \cdot (aⁿ⁾t$。
• 因为G是n阶群，根据拉格朗日定理，群中任意元素的n次幂都是单位元，也就是$a^n = e$。代入上式得：$(e)^s \cdot (e)^t = e \cdot e = e$。
• 这说明$\text{Ker}(f)$里只有单位元，所以f是单射。

证明f是满射 #

这里有两种思路，一种是利用有限群的特性，另一种是直接构造原像：

思路1：有限集合的映射性质 #

因为G是n阶有限群，而f是从G到自身的单射——有限集合上的单射必然是满射（反过来也成立），这是集合论的基本结论，直接就能得出f是满射。

思路2：直接构造原像 #

如果想严谨推导的话，还是用贝祖定理：

• 任取$b \in G$，我们要找一个$a \in G$使得$f(a) = a^k = b$。
• 还是因为$(k,n)=1$，存在整数$s,t$满足$ks + nt = 1$，对$b$做指数展开：$b = b^{ks + nt} = (b^s)k \cdot (bⁿ⁾t$。
• 同样由拉格朗日定理，$b^n = e$，所以$b = (b^s)k = f(b^s)$。
• 这就找到了对应的$a = b^s$，满足$f(a)=b$，所以f是满射。

综上，f既是同态，又是单射和满射，所以f是同构映射。

内容的提问来源于stack exchange，提问作者Inverse Problem