求证群G中φₐ(g)=aga⁻¹为群自同构，求证明思路

你猜得没错！要证明这个映射φₐ是群自同构，确实得按「先证群同态，再证双射」的路子来，这完全是自同构定义的要求嘛😉。下面给你一步步理清楚每一步的细节：

群同态的核心要求是：对任意g, h ∈ G，满足 φₐ(gh) = φₐ(g)φₐ(h)。我们直接计算两边：

• 左边：φₐ(gh) = a(gh)a⁻¹
• 右边：φₐ(g)φₐ(h) = (aga⁻¹)(aha⁻¹)，利用群的结合律展开：ag(a⁻¹a)ha⁻¹，而a⁻¹a是群的单位元e，所以式子变成ag e ha⁻¹ = agha⁻¹
  显然左边和右边相等，所以φₐ满足群同态的条件。

双射需要同时满足单射和满射，我们分别验证：

2.1 证明单射 #

单射的定义是：如果φₐ(g₁) = φₐ(g₂)，那么必然有g₁ = g₂。
假设φₐ(g₁) = φₐ(g₂)，也就是ag₁a⁻¹ = ag₂a⁻¹。我们对等式两边左乘a⁻¹，再右乘a：
a⁻¹(ag₁a⁻¹)a = a⁻¹(ag₂a⁻¹)a
利用结合律化简：(a⁻¹a)g₁(a⁻¹a) = (a⁻¹a)g₂(a⁻¹a)，也就是e g₁ e = e g₂ e，最终得到g₁ = g₂。所以φₐ是单射。

2.2 证明满射 #

满射的定义是：对任意h ∈ G，都存在某个g ∈ G，使得φₐ(g) = h。
我们直接构造这个g：取g = a⁻¹ha，代入φₐ的定义计算：
φₐ(g) = a(a⁻¹ha)a⁻¹ = (aa⁻¹)h(aa⁻¹) = e h e = h
完美！不管h是G里的哪个元素，我们都能找到对应的g，所以φₐ是满射。

既然φₐ既是群同态，又是双射，那它就满足群自同构的定义啦～顺便提一句，这类由群中元素共轭作用得到的自同构，我们通常叫它内自同构，是群论里很基础也很重要的一类自同构哦。

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