ARTICLE · 1218316
Dummit抽象代数习题讨论:探讨对称群与交替群中的共轭类分裂(4.3.19,4.3.20,4.3.21)
在群论中，对称群 及其正规子群交替群 的共轭类结构是一个核心课题。这三道相互关联的题目构成了一个完整的逻辑链，严密地证明了 中的共轭类在限制到 时，何时会保持不变，何时会分裂为两个大小相等的共轭类。
第19题：共轭类分裂的一般性定理
问题陈述： 假设 是 的正规子群， 是 的一个包含在 中的共轭类，且 。证明 在 中是 个大小相等的共轭类的并集，其中 。由此推导，在 中由偶置换组成的共轭类在 的作用下，要么是一个单一的共轭类，要么是两个大小相等的共轭类的并集。
证明解析：
在 中的总大小为 。因为 ，我们可以考察 对 元素的共轭作用。
对于 中的任意元素 ，其在 中的中心化子为 。
由于 是正规子群，满足 。代入可得 。
这意味着包含 的 -共轭类的大小为 ，即 中所有划分出的 -共轭类都具有完全相同的大小。
设共有 个这样的共轭类，计算公式为 。
根据第二同构定理，令 且 ，可知 。将其代入 的方程，得出 。
对于具体情况 和 ，已知指数 。
由于存在子群链 ，指数 必须整除总指数 2。
因此 只能是 1 或 2。这意味着由偶置换组成的共轭类在 中要么保持为单一的共轭类，要么分裂为两个大小相等的类。
第20题：在交替群中共轭的充要条件
问题陈述： 设 。证明： 中 的共轭类（即所有与 具有相同轮换类型的元素）在 中全部共轭，当且仅当 与某个奇置换可换。
证明解析：
设 为 在 中的共轭类。由于 ，。由第19题推论可知，共轭类数量 。
充分性（）： 假设该共轭类中的所有元素在 中共轭。这意味着 ，即 。因为 是真子群，中心化子 必须包含至少一个不在 中的元素。这些不在 中的元素即为奇置换，故 与一个奇置换可换。
必要性（）： 假设 与某个奇置换 可换。则 且 。这说明 ，因此生成的子群 必定严格大于 ，只能是 。此时 ，表明 在 中依然是一个单一的共轭类，其中的元素在 中共轭。
第21题：基于轮换类型的最终判定准则
问题陈述： 设 为 中的共轭类，且 。证明 不与任何奇置换可换，当且仅当 的轮换类型由不相等的奇数组成。由此推导， 在 中分裂为两个共轭类，当且仅当 中元素的轮换类型由不相等的奇数组成。
证明解析：
第一部分：与奇置换不可换的等价条件
充分性（）： 假设 不与任何奇置换可换。首先， 与其分解中的每一个单独轮换可换。如果存在偶数长度的轮换，该轮换本身就是奇置换，这将产生矛盾，因此所有轮换的长度必须都是奇数。其次，假设有两个长度均为奇数 的轮换。我们可以构造一个交换这两个轮换对应元素的置换 。因为 是奇数， 是 个对换的乘积，所以 是奇置换。同时可以证明 与 可换，这再次产生矛盾。因此，不仅所有轮换必须是奇数长度，而且这些长度必须互不相同。
必要性（）： 假设 的轮换类型由互不相等的奇数组成。若有置换 与 可换，由于各个轮换长度具有唯一性， 只能将每个轮换内部的元素映射回该轮换自身。因此， 只能与 分解中轮换所生成的群可换。这意味着 必然是这些奇数长度轮换的幂的乘积。由于奇数长度的轮换是偶置换，它们的任意幂及乘积也必然是偶置换。这就证明了 绝不与任何奇置换可换。
第二部分：推导分裂条件
结合第20题的结论， 中的元素在 中不全共轭，当且仅当 不与任何奇置换可换。
结合第19题的结论，不全共轭意味着 必定分裂为恰好两个共轭类。
综上所述， 包含两个 -共轭类，当且仅当该类中元素的轮换类型由互不相等的奇数组成。
