[论文解读] Bounded generation of SL(n,A) (after D. Carter, G. Keller and E. Paige)

Dave Witte Morris|ArXiv.org|Mar 5, 2005

Advanced Topics in Algebra参考文献 22被引用 19

一句话总结

本文介绍了 Carter、Keller 和 Paige 关于数域（或其局部化）环上特殊线性群中有界生成的未发表工作。研究证明，当 $ n \geq 3 $，或当 $ n = 2 $ 且环具有无限多个单位时，初等矩阵有界地生成 $ \mathrm{SL}(n,A) $ 的有限指数子群，且更一般地，任意非数量矩阵的共轭有界地生成一个有限指数的正规子群。

ABSTRACT

We present unpublished work of D.Carter, G.Keller, and E.Paige on bounded generation in special linear groups. Let n be a positive integer, and let A = O be the ring of integers of an algebraic number field K (or, more generally, let A be a localization O_S.) If n = 2, assume that A has infinitely many units. We show there is a finite-index subgroup H of SL(n,A), such that every matrix in H is a product of a bounded number of elementary matrices. We also show that if T is in SL(n,A), and T is not a scalar matrix, then there is a finite-index, normal subgroup N of SL(n,A), such that every element of N is a product of a bounded number of conjugates of T. For n > 2, these results remain valid when SL(n,A) is replaced by any of its subgroups of finite index.

研究动机与目标

• 建立在数域（或其局部化）的环 $ A $ 上 $ \mathrm{SL}(n,A) $ 的有界生成性，其中当 $ n = 2 $ 时需对单位群施加条件。
• 将有界生成结果从 $ n \geq 3 $ 扩展到 $ n = 2 $，前提是 $ A $ 具有无限多个单位。
• 证明 $ \mathrm{SL}(n,A) $ 中任意非数量矩阵的共轭有界地生成一个有限指数的正规子群。
• 在 $ n \geq 3 $ 的情况下，通过模型论与代数技巧，将有界生成推广至 $ \mathrm{SL}(n,A) $ 的有限指数子群。
• 证明在稳定范围条件成立时，普遍梅尼克群是有限的，从而可通过紧致性论证实现有界生成结果的转移。

提出的方法

• 使用一阶逻辑与紧致性定理，将有限商群中的有界生成性质转移到完整群上。
• 应用稳定范围条件 $ \mathsf{SR}_m $ 以控制 $ \mathrm{SL}(n,A) $ 及其初等子群的结构。
• 运用梅尼克符号与普遍梅尼克群分析 $ \mathrm{SL}(n,A) $ 及其商群的结构。
• 利用非标准分析研究 $ \mathrm{SL}(n,A) $ 的有界生成性，特别是在数环背景下的情形。
• 借助代数数论中的结果，如类群的有限性与单位群的结构，以验证对 $ A $ 的条件。
• 通过紧致性与理想理论，将 $ \mathrm{SL}(2,A) $ 中的有界生成性归约为 $ \mathrm{SL}(2,A;\mathfrak{q})/\mathrm{E}^{\triangleleft}(2,A;\mathfrak{q}) $ 的有限性。

实验结果

研究问题

• RQ1 在何种环 $ A $（例如数域的整数环）条件下，$ \mathrm{SL}(n,A) $ 可由初等矩阵有界地生成？
• RQ2 是否可在 $ \mathrm{SL}(n,A) $ 中建立由单个非数量矩阵的共轭有界地生成？何种条件可确保这一点？
• RQ3 稳定范围条件 $ \mathsf{SR}_m $ 如何影响 $ \mathrm{SL}(n,A) $ 及其子群的有界生成性？
• RQ4 有界生成结果在多大程度上可从 $ \mathrm{SL}(n,A) $ 推广至其有限指数子群，特别是当 $ n \geq 3 $ 时？
• RQ5 梅尼克符号群的有限性在证明 $ \mathrm{SL}(n,A) $ 的有界生成性中起何作用？

主要发现

• 当 $ n \geq 3 $，或当 $ n = 2 $ 且 $ A $ 具有无限多个单位时，初等矩阵有界地生成 $ \mathrm{SL}(n,A) $ 的一个有限指数子群，且该有界性仅依赖于 $ n $ 与数域对 $ \mathbb{Q} $ 的次数 $ k $。
• 在 $ \mathrm{SL}(n,A) $ 中，$ \mathrm{E}(n,A) $ 的指数由与 $ \mathrm{E}(n,A) $ 中元素的词长有界性相同的常数 $ r(n,k) $ 控制。
• 若 $ T \in \mathrm{SL}(n,A) $ 不是数量矩阵，则 $ T $ 的所有共轭有界地生成 $ \mathrm{SL}(n,A) $ 的一个有限指数正规子群。
• 当 $ n \geq 3 $ 时，非数量矩阵的共轭在 $ \mathrm{SL}(n,A) $ 的任意有限指数子群中仍保持有界生成，这是由于 $ \mathsf{SR}_2 $ 条件的稳定性。
• 通过紧致性论证，利用 $ \mathrm{SL}(n,A;\mathfrak{q})/\mathrm{E}(n,A;\mathfrak{q}) $ 的有限性，建立了 $ \mathrm{E}^{\triangleleft}(n,A;\mathfrak{q}) $ 的有界生成性。
• 在 $ \mathsf{SR}_m $ 条件下，普遍梅尼克群 $ \mathrm{M}(n,A) $ 是有限的，这使得可通过模型论紧致性，将有界生成性从商群转移到完整群。