[论文解读] Separability of Solvable Subgroups in Linear Groups

Roger C. Alperin, Benson Farb|ArXiv.org|Jul 26, 2004

Finite Group Theory Research参考文献 13被引用 4

一句话总结

本文证明，在特征零域上的有限生成线性群中，若所有可解子群均为幂零可解群，则每个可解子群都是可分的。证明利用了幂零可解群的子群可分性、同余拓扑与习性拓扑，并通过模有限指数理想进行约化，借助有限商群将元素与子群分离。

ABSTRACT

Let G be a finitely generated linear group over a field of characteristic 0. Suppose that every solvable subgroup of G is polycyclic. Then the claim is made that any solvable subgroup of G is separable. This is proven for G=SL_n(Z). However, the proof of the main theorem in section 4 is incomplete.

研究动机与目标

• 确定有限生成线性群中可解子群可分的条件。
• 解决线性群中一般子群可分性失效的问题，特别是针对非幂零可解的可解子群。
• 建立一个充分条件——即所有可解子群均为幂零可解群——以保证在特征零域上的线性群中可解子群的可分性。
• 将关于特殊线性群与算术格点的子群可分性已知结果推广至更广泛的线性群类。
• 通过将可解李群的浸入上拉至具有线性基本群的流形的有限覆盖，提供一个拓扑应用。

提出的方法

• 利用Lie-Kolchin-Malcev定理，将可解子群约化为在有限生成环上上三角矩阵群的实现形式。
• 通过整环或其局部化中的有限指数理想构造同余商群，以分离不在可解子群中的元素。
• 利用在局部化整环上上三角矩阵群子群中，习性拓扑与同余拓扑等价的性质。
• 构造一个指数为素数幂的有限指数正规子群，以确保与同余拓扑兼容，并实现分离。
• 应用幂零可解群的子群可分性，在生成群的有限商群中分离子群外的元素。
• 利用同态下理想的原像，通过有限商群将分离性上拉至整个线性群。

实验结果

研究问题

• RQ1 在特征零域上的有限生成线性群中，可解子群在何种条件下是可分的？
• RQ2 为何假设所有可解子群均为幂零可解群成为可解子群可分性的必要条件？
• RQ3 能否利用同余拓扑与习性拓扑来建立线性群中可解子群的可分性？
• RQ4 幂零可解群的导出列结构如何促进构造分离元素的有限商群？
• RQ5 在何种程度上，可通过线性基本群中的子群可分性保证可解李群浸入在有限覆盖中的上拉？

主要发现

• 在特征零域上的有限生成线性群中，若群的所有可解子群均为幂零可解群，则其任意可解子群都是可分的。
• 该结果推广了已知情形，如SL(2,C)的离散子群、秩一李群中的算术格点，以及整环上Borel子群的子群。
• 在局部化整环上的上三角矩阵群子群中，习性拓扑与同余拓扑一致，从而可使用同余商群。
• 对任意不在可解子群S中的元素，存在一个有限商群，使其与S分离，该分离通过模有限指数理想实现。
• 该构造确保即使分离核的指数不与某固定整数m互素，仍可找到指数兼容的合适有限指数子群。
• 该结果意味着，若所有有限生成可解子群均为幂零可解群，则任一基本群为线性群的闭流形中，可解李群的π₁-正则浸入均可上拉为有限覆盖中的嵌入。