[论文解读] Some formulas for the smallest number of generators for finite direct sums of matrix algebras

Rostyslav Kravchenko, Bogdan V. Petrenko|ArXiv.org|Nov 22, 2006

Advanced Topics in Algebra参考文献 3被引用 4

一句话总结

本文推导出有限域和整数环上矩阵代数有限直和的最小生成元数的精确公式与渐近公式。研究证明，对于 $ M_2(\mathbb{Z})^k $，能由两个元素生成的最大 $ k $ 由公式 $ g(m) = \frac{16^m - 3\cdot 8^m + 2\cdot 4^m}{6} $ 给出，其中 $ g(2) = 16 $，并证明此类生成集可通过基变换提升至任意环。结果通过非交换多项式表示和中国剩余定理，进一步推广至无限域上的矩阵代数直和。

ABSTRACT

We obtain an asymptotic upper bound for the smallest number of generators for a finite direct sum of matrix algebras with entries in a finite field. This produces an upper bound for a similar quantity for integer matrix rings. We also obtain an exact formula for the smallest number of generators for a finite direct sum of 2-by-2 matrix algebras with entries in a finite field and as a consequence obtain a formula for a similar quantity for a finite direct sum of 2-by-2 integer matrix rings. We remark that a generating set the ring $\bigoplus_{i=1}^k M_{n_i}(\mathbb{Z})^{n_i}$ may be used as a generating set of any matrix algebra $\bigoplus_{i=1}^k M_{n_i}(R)^{n_i}$ where $R$ is an associative ring with a two-sided 1.

研究动机与目标

• 确定有限域和整数环上矩阵代数有限直和的最小生成元数。
• 为 $ \mathbb{Z} $ 上的 $ 2\times2 $ 矩阵环的个数建立精确公式，使其可由两个元素生成。
• 通过模素数约化与提升技术，将有限域上的结果推广至整数矩阵环。
• 刻画有限直和矩阵代数在何种情况下可由两个生成元生成，尤其在非交换多项式表示的背景下。

提出的方法

• 通过两个变量 $ x $ 和 $ y $ 的非交换多项式构造 $ M_n(F) $ 的表示，关系式涉及 $ r_{1,n}, r_{2,n}, s_j $。
• 在自由代数 $ F\{x,y\} $ 中定义理想 $ \mathcal{I}_n(a) $，对应矩阵代数 $ M_n(F) $，参数 $ a \in F $。
• 利用中国剩余定理，证明不同 $ \mathcal{I}_{m_i}(s_i) $ 理想的交集给出直和 $ \bigoplus_i M_{m_i}(F)^{\#S_i} $。
• 通过矛盾法，利用矩阵迹与幂零性论证，证明不同参数 $ a \neq b $ 对应不同的理想 $ \mathcal{I}_n(a) \neq \mathcal{I}_n(b) $。
• 利用如下事实：一个集合生成 $ \bigoplus M_n(\mathbb{Z}) $ 当且仅当其模每个素数 $ p $ 的约化生成 $ \bigoplus M_n(\mathbb{F}_p) $。
• 应用提升结果，证明 $ M_2(\mathbb{Z})^{16} $ 的生成集可扩展至任意环 $ R $ 上的 $ M_2(R)^{16} $，因此 $ M_2(R)^{16} $ 也由两个元素生成，通过 $ \mathbb{Z} \to R $ 的诱导同态。

实验结果

研究问题

• RQ1 能由两个元素生成的 $ M_2(\mathbb{Z}) $ 的最大直和个数是多少？
• RQ2 当直和项数增加时，$ M_n(\mathbb{F}_q) $ 直和的最小生成元数如何增长？
• RQ3 两个生成元是否足以生成无限域上矩阵代数的有限直和？在何种条件下成立？
• RQ4 非交换多项式表示与理想在构造矩阵代数生成集中的作用是什么？
• RQ5 整数矩阵环的生成集与其模素数约化之间的关系如何？

主要发现

• 能由两个元素生成的 $ 2\times2 $ 整数矩阵环 $ M_2(\mathbb{Z}) $ 的最大个数由公式 $ g(m) = \frac{16^m - 3\cdot 8^m + 2\cdot 4^m}{6} $ 给出，其中 $ g(2) = 16 $。
• 17 个 $ M_2(\mathbb{Z}) $ 的直和至少需要三个生成元，表明在 $ k = 17 $ 处最小生成元数出现跃迁。
• $ M_2(\mathbb{Z})^{16} $ 的生成集可提升至任意环 $ R $，因此 $ M_2(R)^{16} $ 也由两个元素生成，通过 $ \mathbb{Z} \to R $ 的诱导同态。
• 对于任意无限域 $ F $，有限直和矩阵代数 $ \bigoplus M_n(F) $ 可由两个生成元生成，该结论通过非交换多项式表示得以证明。
• 在不同 $ a $ 下，理想 $ \mathcal{I}_n(a) \subset F\{x,y\} $ 互不相同，确保中国剩余定理可用于构造矩阵代数的直和。
• 在代数闭域 $ F $ 上，特征不整除 $ |G| $ 的群代数 $ FG $ 可由两个元素生成，因为 $ FG \cong \bigoplus M_n(F)^{k_i} $，且该同构由定理 A.1 的构造诱导得出。