什么是轮换？
轮换是置换的一种“循环结构”：对于n元集合( {1,2,dots,n} )，一个k-轮换指的是将k个元素按顺序循环移动、其余元素保持不变的置换。比如置换( (1 to 2 to 3 to 1, 4 to 4) )是一个3-轮换，记作( (123) )；置换( (1 to 2 to 1, 3 to 4 to 3) )是两个不相交的2-轮换的乘积，记作( (12)(34) )。更一般地，k-轮换( (a_1a_2dots a_k) )表示元素的循环移动：( a_1 mapsto a_2 mapsto dots mapsto a_k mapsto a_1 )，而其他元素固定不动。对称群是什么？
对称群( S_n )是n元集合上所有置换构成的群，群运算为置换的复合。比如( S_3 )3元集合的对称群包含6个置换：恒等置换( (1) )所有元素不动、三个2-轮换( (12),(13),(23) )交换两个元素、两个3-轮换( (123),(132) )循环移动三个元素。对称群的大小是( n! )n的阶乘，它描述了n个元素所有可能的“重新排列”方式。对称群与轮换的核心关系
任何置换都可以唯一分为互不相交的轮换的乘积——这是置换理论的“基石定理”，也是对称群与轮换最本质的联系。这里的“唯一”指的是：分后的轮换互不重叠即没有共同元素，且不考虑轮换的顺序比如( (12)(34) = (34)(12) )，也不考虑恒等置换即固定所有元素的1-轮换。比如( S_4 )中的置换( (1 to 3 to 4 to 1, 2 to 5 to 2) )假设n=5，可以分为( (134)(25) )；而置换( (1 to 2 to 4 to 1, 3 to 5 to 3) )则分为( (124)(35) )。这种分像“拆积木”：不管置换多复杂，都能拆成最基础的轮换“块”。
轮换是对称群的“生成元”
不仅如此，轮换是对称群的“细胞”——所有置换都能由轮换生成，而所有轮换又能由对换2-轮换生成。对换是最简单的轮换仅交换两个元素，比如3-轮换( (123) )可以写成( (13)(12) )，4-轮换( (1234) )可以写成( (14)(13)(12) )。因此，对称群( S_n )可以由所有2-轮换生成比如( S_n )由( (12),(13),dots,(1n) )生成，也可以由更长的轮换生成比如( S_n )由n-轮换( (123dots n) )和对换( (12) )生成。轮换定义对称群的“分类标准”
轮换还为对称群的元素提供了“身份标签”。对称群中的元素按其轮换分的类型分类——比如( S_4 )中的元素可分为5类： 1. 1-轮换恒等，类型( (1^4) )； 2. 2-轮换类型( (2^11^2) )； 3. 3-轮换类型( (3^11^1) )； 4. 4-轮换类型( (4^1) )； 5. 双2-轮换比如( (12)(34) )，类型( (2^2) )。同一类型的元素在对称群中是共轭的即存在群元素将一个元素映射到另一个，这意味着轮换类型直接决定了元素的“群内地位”——共轭类是对称群结构的核心特征，而轮换类型是共轭类的“身份证”。
简言之，轮换是对称群的“基本单位”：对称群的所有元素由轮换拼接而成，对称群的结构由轮换的性质如不相交轮换的交换性、轮换的分性决定。理轮换，就是理对称群的“分子结构”；掌握轮换与对称群的关系，就是打开了置换群理论的“大门”。