置换σ生成群的阶及商群⟨σ⟩/⟨σ³⟩相关技术问询

咱们一步步来拆解这个置换群相关的问题：

1. 置换$\boldsymbol{\sigma}$的循环分解 #

给定$S_9$中的置换乘积：
$$\sigma=(1\ 9\ 7)(8\ 6\ 9\ 7\ 5)(3\ 1\ 2\ 6\ 7)$$
通过手动追踪每个元素在置换乘积下的像，可以将其化简为不相交循环的乘积：
$$\sigma=(1\ 2\ 7\ 3\ 9)(4)(5\ 8\ 6)$$
这里的(4)是单独的固定点，不影响置换的阶。

2. 循环群$\boldsymbol{G=\langle\sigma\rangle}$的阶 #

对于循环群$G=\langle\sigma\rangle$，它的阶等于生成元$\sigma$在$S_9$中的阶，而置换的阶是其不相交循环长度的最小公倍数。
在$\sigma$的循环分解中，非平凡循环的长度分别是5和3，因此：
$$O(\sigma)=\text{lcm}(3,5)=15$$
也就是说，$G$是一个15阶循环群。

3. 子群$\boldsymbol{H=\langle\sigma^3\rangle}$的结构 #

先计算$\sigma^3$，我们可以对$\sigma$的每个不相交循环分别求幂：

• 对于5-循环$(1\ 2\ 7\ 3\ 9)$：因为3和5互质，所以$(1\ 2\ 7\ 3\ 9)^3$仍是一个5-循环，计算得$(1\ 3\ 2\ 9\ 7)$
• 对于3-循环$(5\ 8\ 6)$：$(5\ 8\ 6)^3$是恒等置换（循环长度的幂次等于循环长度时，置换变为恒等）
• 固定点4依然是固定点

因此：
$$\sigma^3=(1\ 3\ 2\ 9\ 7)(4)(5)(6)(8)=(1\ 3\ 2\ 9\ 7)$$
子群$H=\langle\sigma^{3\rangle$是由$\sigma}3$生成的循环群，其阶为$\frac{O(\sigma)}{\gcd(3,O(\sigma))}=\frac{15}{3}=5$，即$H$是一个5阶循环群。

4. 商群$\boldsymbol{G/H}$的性质 #

根据拉格朗日定理，商群的阶为：
$$|G/H|=\frac{|G|}{|H|}=\frac{15}{5}=3$$
3阶群是唯一的循环群（同构于$\mathbb{Z}/3\mathbb{Z}$），且商群的生成元为$\sigma H$，因为：
$$(\sigma H)^3=\sigma3 H=H$$
且$\sigma H$的阶为3，正好等于商群的阶。

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