[论文解读] Subgroups of the upper-triangular matrix group with maximal derived length and a minimal number of generators

S. P. Glasby|arXiv (Cornell University)|Oct 19, 2014

graph theory and CDMA systems参考文献 3被引用 3

一句话总结

该论文构建了上三角幺幂矩阵群 $U_n(\bbF)$ 在域 $\bbF$ 上的显式 2- 和 3-生成子群，其导出长度 $d = \lceil \log_2 n \rceil$ 达到最大可能值。论文证明，当且仅当 $\frac{21}{32}2^d < n \leq 2^d$ 时，存在一个 2-生成子群。该构造基于二叉树结构的递归换位子构造，结合自由群中的多项式恒等式，以确保在导出长度 $d$ 处非平凡。结果是构造性的，通过递归公式给出了显式的生成矩阵。

ABSTRACT

The group U_n(F) of all nxn unipotent upper-triangular matrices over F has derived length d := Ceiling(log_2 (n)), equivalently 2^{d-1} &lt; n &lt;= 2^d. We prove that U_n(F) has a 3-generated subgroup of derived length d, and it has a 2-generated subgroup of derived length d if and only if (21/32)* 2^d &lt; n &lt;= 2^d.

研究动机与目标

• 确定子群在 $U_n(\bbF)$ 中实现最大导出长度 $d = \lceil \log_2 n \rceil$ 所需的最少生成元数量。
• 精确刻画 $U_n(\bbF)$ 在何种 $n$ 下存在导出长度为 $d$ 的 2-生成子群。
• 通过换位子恒等式和自由群词构造，提供此类生成矩阵的显式递归构造。
• 建立 $U_n(\bbF)$ 拥有最大导出长度的 2-生成子群的 $n$ 的渐近密度，证明 $\liminf \pi(N) = \frac{11}{21}$ 且 $\limsup \pi(N) = \frac{11}{16}$。

提出的方法

• 通过满同态映射 $\pi: U_{2n-1} \to U_n \times U_n$ 的递归提升，从更小的子群构造 3-生成子群。
• 采用具有 $d$ 层的二叉树结构，其中每一层对应导出列中的一个元素，利用第 $k$ 层矩阵的换位子生成第 $k+1$ 层的元素。
• 通过在各层之间循环复用生成元，将所需生成元数量从 $n-1$ 减少至 3，方法是定义自由群 $F = \langle x_1,x_2,x_3 \rangle$ 的词。
• 对于 2-生成子群，使用嵌套换位子和自由群中的多项式恒等式构造词，通过乘法引理确保结果矩阵元素的系数为 $\pm 1$。
• 通过分析群代数中单项式的和项，验证顶层换位子的非平凡性，确保不同生成元类型之间的和项不相互整除。
• 对 $d$ 进行归纳，基础情形为 $d=1$ 至 $d=5$，并证明当 $d \geq 5$ 时，有 $F^{(d-1)} \subseteq \gamma_{21 \cdot 2^{d-5}}(F)$，从而将群词长度与矩阵大小约束联系起来。

实验结果

研究问题

• RQ1 对于哪些 $n$，$U_n(\bbF)$ 允许存在导出长度为 $d = \lceil \log_2 n \rceil$ 的 2-生成子群？
• RQ2 子群在 $U_n(\bbF)$ 中实现最大导出长度所需的最少生成元数量是多少？
• RQ3 能否基于换位子恒等式，使用递归公式显式构造此类子群？
• RQ4 对于 $U_n(\bbF)$ 拥有最大导出长度的 2-生成子群的 $n$ 的渐近密度是多少？
• RQ5 导出列的结构如何与自由群词中单项式的组合性质相关联？

主要发现

• 对所有满足 $2^{d-1} < n \leq 2^d$ 的 $n$，群 $U_n(\bbF)$ 都存在导出长度为 $d = \lceil \log_2 n \rceil$ 的 3-生成子群。
• 当且仅当 $\frac{21}{32}2^d < n \leq 2^d$ 时，$U_n(\bbF)$ 中存在导出长度为 $d$ 的 2-生成子群。
• 满足 $U_n(\bbF)$ 拥有最大导出长度的 2-生成子群的 $n \leq N$ 的比例 $\pi(N)$ 满足 $\frac{11}{21} < \pi(N) \leq 1$，且 $\liminf \pi(N) = \frac{11}{21}$，$\limsup \pi(N) = \frac{11}{16}$。
• 当 $d \geq 5$ 时，仅当 $n > 21 \cdot 2^{d-5}$ 时，导出长度 $d$ 的子群才存在，原因在于自由群中包含关系 $F^{(d-1)} \subseteq \gamma_{21 \cdot 2^{d-5}}(F)$。
• 该构造是递归且显式的：生成矩阵通过同态 $\pi: U_{2n-1} \to U_n \times U_n$ 的提升定义，自由群中的词也递归定义。
• 通过证明矩阵元素中某个单项式和项的系数为 $\pm 1$，利用乘法引理和单项式中 $\alpha$ 的个数的同余条件，验证了顶层换位子的非平凡性。