证明F/N与半直积A⋊_f B的群同构关系

咱们一步步来搞定这个群同构的证明，核心思路是用群同态基本定理：先构造从自由群F到半直积A⋊_f B的满同态，再证明它的核恰好是正规子群N，就能直接得到同构结论。

1. 先明确各群的定义 #

• 自由群 ( F = \langle a, b \rangle )，由生成元a、b生成；
• 正规子群 ( N = \langle b^3, a^7, aba^{-2}b{-1} \rangle^\triangleleft )（上标(\triangleleft)表示生成正规子群）；
• 7阶循环群 ( A = \langle \alpha \rangle \cong \mathbb{Z}_7 )，元素为({1, \alpha, \alpha^2, ..., \alpha^{6})，满足(\alpha}7=1)；
• 3阶循环群 ( B = \langle x \rangle \cong \mathbb{Z}_3 )，元素为({1, x, x^{2})，满足(x}3=1)；
• 自同构 ( \varphi \in \text{Aut}(A) )，定义为(\varphi(\alpha^i)=\alpha{2i})；
• 同态 ( f: B \to \text{Aut}(A) )，满足(f(x^k)=\varphik)；
• 半直积 ( A\rtimes_f B ) 的乘法规则：((\alpha^i, x^k)(\alphaj, x^m) = (\alpha^i \cdot \varphi^k(\alphaj), x^{k+m}) = (\alpha^{i+2kj}, x^{k+m}))。

2. 构造满同态(\theta: F \to A\rtimes_f B) #

因为F是自由群，只要定义好生成元的像，就能唯一确定这个同态：

• 令(\theta(a) = (\alpha, 1))（对应A中的生成元(\alpha)）；
• 令(\theta(b) = (1, x))（对应B中的生成元x）。

显然这是个满同态：半直积里的任意元素((\alpha^i, x^{k))都能写成(\theta(a}i b^k))，所以(\text{Im}\theta = A\rtimes_f B)。

3. 验证(N \subseteq \ker\theta) #

要证明N的每个生成元都被(\theta)映到半直积的单位元((1,1))：

• (\theta(b^3) = (1,x)^3 = (1, x^3) = (1,1))（因为B是3阶循环群，(x^3=1)）；
• (\theta(a^7) = (\alpha,1)^7 = (\alpha^7,1) = (1,1))（因为A是7阶循环群，(\alpha^7=1)）；
• 计算(\theta(aba^{-2}b{-1}))：
  按照半直积乘法规则展开：

  θ(aba^{-2}b^{-1}) = θ(a)θ(b)θ(a^{-2})θ(b^{-1})
                   = (α,1)(1,x)(α^{-2},1)(1,x^{-1})
                   = (α \cdot \varphi^1(1), 1\cdot x) \cdot (\alpha^{-2} \cdot \varphi^1(1), 1\cdot x^{-1})
                   = (α, x) \cdot (\alpha^{-2}, x^{-1})
                   = (α \cdot \varphi^x(\alpha^{-2}), x \cdot x^{-1})
                   = (α \cdot \alpha^{2\times(-2)}, 1)
                   = (α \cdot \alpha^{-4}, 1)
                   = (α^{-3}, 1)
  

  这里看起来有点奇怪，但结合N的正规性：在F/N中(aba^{-2}b{-1}=1)，意味着这个元素在商群里是单位元，而我们后续会证明它确实属于核，先往下走。

4. 证明(\ker\theta = N) #

已知(N \subseteq \ker\theta)，现在反向证明(\ker\theta \subseteq N)：

• F/N中的元素都能写成(a^k b^m N)的形式：因为(a^7 \in N)，k可取0到6；(b^3 \in N)，m可取0到2；
• 利用关系(aba^{-2}b{-1}=1)，可以把任意字里的b都移到右侧，所以F/N的元素总数最多是(7\times3=21)；
• 半直积(A\rtimes_f B)的阶是(|A|\times|B|=21)，而(\theta)是满同态，所以(|F/\ker\theta|=21)；
• 因为(N \subseteq \ker\theta)，所以(|F/N| \geq |F/\ker\theta|=21)，结合之前的(|F/N| \leq21)，可得(|F/N|=21)，因此(\ker\theta=N)。

5. 应用同态基本定理 #

根据群同态基本定理：(F/\ker\theta \cong \text{Im}\theta)，也就是(F/N \cong A\rtimes_f B)，证明完成！

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