The endomorphism tower of a finite symmetric group

技术摘要：有限对称群的端同态塔

问题陈述
本文研究了单群 $M$ 的“端同态塔”（endomorphism tower），该塔定义为单群序列 $\text{End}_i(M)$，其中 $\text{End}_0(M) = M$ 且对于 $i \ge 1$，$\text{End}_i(M) = \text{End}(\text{End}_{i-1}(M))$。虽然有限无中心群的类比——自同构塔（automorphism tower）的行为已得到充分理解（对于有限无中心群，该塔在有限步内终止），但单群端同态塔的行为在很大程度上仍未被探索。作者首先证明，对于任何有限非平凡单群，序列 $\text{End}_i(M)$ 永远不会稳定（即对于任何有限的 $i$，$\text{End}_i(M) \not\cong \text{End}_{i+1}(M)$）。因此，研究重点转向了这些塔中单位群（自同构群）的稳定性模式。本文的主要焦点是当 $n \ge 7$ 时的有限对称群 $S_n$，此时自同构塔立即终止（$\text{Aut}(S_n) \cong S_n$）。核心问题在于：$\text{End}_i(S_n)$ 的单位群在更高的层级 $i$ 是否仍然同构于 $S_n$？

方法论
作者结合结构半群理论和对称群的特定性质，来分析单群 $\text{End}_1(S_n)$、$\text{End}_2(S_n)$ 和 $\text{End}_3(S_n)$。

1. 结构分解： 本文利用 Green 关系和幂等元的分类来对单群进行划分。对于 $\text{End}_1(S_n)$，文中引用了现有文献中的结构，区分了自同构、秩为 2 的奇异端同态（幂等与非幂等）以及零元素。
2. 特征子集与中心化子： 一种核心技术是识别端同态单群中的“特征子集”（在所有自同构下保持不变的子集）。作者利用了对于 $n \ge 7$， $S_n$ 是完全群（无中心且仅有内自同构）这一事实。这使得 $\text{Aut}(\text{End}_i(S_n))$ 可以分解为包含 $S_n$ 以及固定单位群的自同构核的直积。
3. 阶数为 2 的元素的中心化子分析： 文中的大部分技术工作（第 4.1 节和第 5 节）致力于分析 $S_n$ 中阶为 2 的元素的中心化子。作者证明了若干引理，确立了如果两个阶为 2 的元素具有嵌套或相等的中心化子，则在特定的奇偶条件下，它们必须相等或不相交。这对于区分奇异端同态中的共轭类至关重要。
4. 迭代构造： 作者通过基于其对单位群 $\text{Aut}(S_n)$ 和奇异部分 $\text{SEnd}(S_n)$ 作用的方式，显式地构造了 $\text{End}_2(S_n)$ 的元素。他们按秩和核结构对端同态进行分类，并提供了 $\text{End}_2(S_n)$ 的完整乘法表。
5. 自同构判定： 为了确定 $\text{End}_3(S_n)$ 的单位群（即 $\text{Aut}(\text{End}_2(S_n))$），作者系统地证明了 $\text{End}_2(S_n)$ 的任何逐点固定单位群 $\text{Aut}(S_n)$ 的自同构都必须是恒等映射。这是通过证明此类自同构必须固定特定的幂等元和特征子集，并最终迫使整个单群被固定来实现的。

主要贡献与结果

• 有限单群的非稳定性： 本文证明（命题 3.2）了任何有限非平凡单群的端同态塔永远不会在有限步内稳定，因为幂等元的数量在每一步都会严格增加。
• $\text{End}_2(S_n)$ 的结构： 作者提供了对于 $n \ge 7$ 时 $\text{End}_2(S_n)$ 元素的完整描述。他们将这些端同态分为不同的族（自同构、秩 2 映射、塌缩共轭类的映射等），并给出了完整的复合表（第 6 节）。
• 单位群的同构性：
  • 已验证 $\text{End}_1(S_n)$ 的单位群同构于 $S_n$。
  • 本文确定了 $\text{End}_2(S_n)$ 的结构，并证明其单位群 $\text{Aut}(\text{End}_1(S_n))$ 同构于 $S_n$。
  • 至关重要的是，作者确定了 $\text{End}_3(S_n)$ 的结构，并证明其单位群 $\text{Aut}(\text{End}_2(S_n))$ 也同构于 $S_n$（定理 7.23）。
• 自同构特征化： 本文证明了对于 $n \ge 7$，$\text{End}_2(S_n)$ 的自同构群仅由内自同构组成，镜像了 $S_n$ 本身的性质。

意义与主张
作者将这项工作定位为研究单群端同态塔的“开端”。他们承认，虽然 $S_n$ 的自同构塔在第一步就稳定了，但 $i=1$ 之上的端同态塔的行为此前是未知的。

其声称的主要意义在于确定了 $\text{End}_2(S_n)$ 的元素与结构，并验证了在塔的前三个层级（$i=0, 1, 2$）中单位群保持为 $S_n$。本文明确指出，它展示了此类研究所需的技巧，并指出了其中出现的复杂性。

作者对一般情况保持谦逊。他们提出了开放性问题（问题 8.1），即对于所有 $i \ge 3$，是否 $\text{Aut}(\text{End}_i(S_n)) \cong S_n$，并指出尚未发现元素从一个层级传递到下一个层级的普遍模式。他们还将这项工作框架化为研究其他变换单群（如 $T_n$）的基础，以及调查无限半群是否可能拥有稳定的端同态塔。