置换分解为对换乘积的等式分步推导问询

我完全理解你的困惑——当你刚习惯把循环拆成相邻对换的标准形式时，突然看到这种看似“跳着来”的对换乘积，确实会摸不着头脑。别担心，我们一步步拆解这两个等式，把每一步的置换作用都理清楚，你就能明白其中的逻辑了。

首先要明确一个关键前提：置换的复合顺序。在群论的常规约定中，我们默认置换的复合是右到左的作用顺序——也就是先应用最右边的置换，再依次往左应用后续的置换。这个规则是理解等式的核心，先记牢它。

第一步：验证 $(2 \space 3)(1 \space 2)(2 \space 5)(1 \space 3)(2 \space 4) = (1 \space 2 \space 4 \space 5)$ #

我们通过逐个元素追踪的方式，对比左边对换乘积和右边4-循环对每个元素的作用结果：

元素范围是1、2、3、4、5（所有置换都涉及这些元素）：

• 元素1：

  1. 先应用最右边的$(2 \space 4)$：1不在这个对换里，保持为1
  2. 再应用$(1 \space 3)$：将1映射为3
  3. 再应用$(2 \space 5)$：3不在这个对换里，保持为3
  4. 再应用$(1 \space 2)$：3不在这个对换里，保持为3
  5. 最后应用最左边的$(2 \space 3)$：将3映射为2
     最终结果：$1 \rightarrow 2$，和右边$(1 \space 2 \space 4 \space 5)$对1的作用一致。

• 元素2：

  1. $(2 \space 4)$：将2映射为4
  2. $(1 \space 3)$：4不在这个对换里，保持为4
  3. $(2 \space 5)$：4不在这个对换里，保持为4
  4. $(1 \space 2)$：4不在这个对换里，保持为4
  5. $(2 \space 3)$：4不在这个对换里，保持为4
     最终结果：$2 \rightarrow 4$，和右边4-循环的作用一致。

• 元素4：

  1. $(2 \space 4)$：将4映射为2
  2. $(1 \space 3)$：2不在这个对换里，保持为2
  3. $(2 \space 5)$：将2映射为5
  4. $(1 \space 2)$：5不在这个对换里，保持为5
  5. $(2 \space 3)$：5不在这个对换里，保持为5
     最终结果：$4 \rightarrow 5$，和右边4-循环的作用一致。

• 元素5：

  1. $(2 \space 4)$：5不在这个对换里，保持为5
  2. $(1 \space 3)$：5不在这个对换里，保持为5
  3. $(2 \space 5)$：将5映射为2
  4. $(1 \space 2)$：将2映射为1
  5. $(2 \space 3)$：1不在这个对换里，保持为1
     最终结果：$5 \rightarrow 1$，和右边4-循环的作用一致。

• 元素3：

  1. $(2 \space 4)$：3不在这个对换里，保持为3
  2. $(1 \space 3)$：将3映射为1
  3. $(2 \space 5)$：1不在这个对换里，保持为1
  4. $(1 \space 2)$：将1映射为2
  5. $(2 \space 3)$：将2映射为3
     最终结果：$3 \rightarrow 3$，右边的4-循环不涉及3，作用结果一致。

所有元素的作用结果都匹配，因此左边的对换乘积等价于右边的4-循环。

第二步：验证 $(1 \space 2 \space 4 \space 5) = (1 \space 5)(1 \space 4)(1 \space 2)$ #

同样用元素追踪法，遵循右到左的复合顺序：

• 元素1：

  1. 先应用$(1 \space 2)$：1→2
  2. 再应用$(1 \space 4)$：2不在这个对换里，保持为2
  3. 最后应用$(1 \space 5)$：2不在这个对换里，保持为2
     最终结果：$1 \rightarrow 2$，和4-循环一致。

• 元素2：

  1. $(1 \space 2)$：2→1
  2. $(1 \space 4)$：1→4
  3. $(1 \space 5)$：4不在这个对换里，保持为4
     最终结果：$2 \rightarrow 4$，和4-循环一致。

• 元素4：

  1. $(1 \space 2)$：4不在这个对换里，保持为4
  2. $(1 \space 4)$：4→1
  3. $(1 \space 5)$：1→5
     最终结果：$4 \rightarrow 5$，和4-循环一致。

• 元素5：

  1. $(1 \space 2)$：5不在这个对换里，保持为5
  2. $(1 \space 4)$：5不在这个对换里，保持为5
  3. $(1 \space 5)$：5→1
     最终结果：$5 \rightarrow 1$，和4-循环一致。

• 元素3：
  三个对换都不涉及3，结果保持为3，和4-循环一致。

这里你会发现，$(1 \space 5)(1 \space 4)(1 \space 2)$其实是循环分解为对换的另一种标准形式：对于任意$k$-循环$(a_1 \space a_2 \space ... \space a_k)$，都可以写成$(a_1 \space a_k)(a_1 \space a_{k-1})...(a_1 \space a_2)$。这种形式和你熟悉的相邻对换分解（$(a_1 \space a_2)(a_2 \space a_3)...(a_{k-1} \space a_k)$）只是不同的拆解路径，本质都是利用置换复合的等价性来还原原循环。

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