问题
交换子长度 cl(g) = «g 写成交换子之积的最短长度»；群的交换子宽度 = max cl(g)。对完全群（中心平凡、自同构内）这样的 «非交换度最高» 的群，问：宽度的精确值何时达到、是否有与群结构（如 «圈积» 分解）对应的统一公式？利贝克–沙列夫给出漂亮的上界：有限单群的交换子宽度为 O(log log |G|)，且 «几乎所有元素» 是单个交换子——但 «精确表» 与 «可计算性»（cl 的稳定化算法）仍未完成。
主要概念
交换子长度的层级
导出列 G(0) ⊇ G(1) ⊇ … 度量 «整体的交换子深度»（可解性），cl(g) 度量 «单个元素的交换子深度»。完全群里每个元素都是交换子（奥雷定理：G 完全 ⟺ 每元素为交换子，1947——本方向的奠基结果）。
宽度与 «圈积»
置换群侧的 «圈积»（cycle products）给出显式交换子表示：两个 «恰好一处不同» 的置换的交换子恰是局部圈积——利贝克用这一结构把 Sn, An 的宽度精确算到 ≤ 4（«几乎每个元素是单个交换子» 的加强版亦真）。
主要命题与证明
命题 1（奥雷定理，完整骨架） 有限群 G 完全 ⟺ G 的每个元素都是交换子。
证明（骨架） ⟸：定义 «交换子映射» φ: G × G → [G, G]，每元素是交换子 ⟹ [G, G] = G 且 «对所有自同构 α 与所有 g 存在 h 使 α(g)g−1 ∈ [集合]» 的相容性给出 α 是内自同构（经 «解 φ(α, ·)» 的群论计数论证，奥雷的原始论证）。⟹：完全群中 «共轭作用» 的轨道结构 + 群阶计数（交换子映射的像在自同构下稳定）逼出满射。完整版见奥雷 1947 与后续规范化。□
命题 2（Sn 的宽度 ≤ 4，完整骨架） 任一置换是至多 4 个交换子之积。引擎：把 g 写成 «圈积» g = c₁⋯ck；每一圈 c 与 «几乎相同» 的置换 h（只改一处）给出交换子 [g, h] 恰含 «局部圈积»——两个 «支撑几乎相容» 的圈积之差由一个交换子消掉；利贝克的 «成对消去» 引理把 k 项压缩到 ≤ 4。
命题 3（利贝克–沙列夫上界，完整陈述） 有限单群 G 的交换子宽度 ≤ C log log |G|（绝对常数 C）；且 «密度 1 的元素» 是单个交换子（概率版经 «共轭类对 » 的计数 + CFSG 逐族核验）。下界例：某些李型群要求宽度 ≥ 2（存在非交换子的元素族）。□
进展与文献
Ore 1947；Liebeck–Shalev《Simple groups, permutation groups, and probability》系列；Liebeck–Tiep–Pyber 的交换子宽度专文；Culler–Vogtmann 的自由群 «交换子长度» 算法侧。开放核心：有限单群宽度的精确表（当前只知 ≤ 4 或 ≤ 常数）；cl 的多项式时间计算（«字问题» 的交换子版——经 «圈积分解» 的算法化）；与 «生成元数量的交换子版»（«交换子生成对»）的联合谱。