[论文解读] Additive unit representations in global fields - A survey

Fabrizio Barroero, Christopher Frei+1 more|arXiv (Cornell University)|Feb 1, 2011

Finite Group Theory Research参考文献 39被引用 7

一句话总结

本综述研究了代数整数环和整体域中的加法单位元表示，证明了这些环对任意有限 k 均非 k-良定义，意味着其单位和数为 ω 或 ∞。主要贡献在于全面概述了整体域中 S-整数环具有单位和数 ω 或 ∞ 的条件，结果从数域推广至函数域，借助 S-单位方程的界限和等差数列论证。

ABSTRACT

We give an overview on recent results concerning additive unit representations. Furthermore the solutions of some open questions are included. The central problem is whether and how certain rings are (additively) generated by their units. This has been investigated for several types of rings related to global fields, most importantly rings of algebraic integers. We also state some open problems and conjectures which we consider to be important in this field.

研究动机与目标

• 确定整体域中 S-整数环在何种条件下可由其单位加法生成。
• 解决关于代数整数环和函数域的单位和数 u(R) 的开放问题。
• 将矩阵环和自同态环中关于 k-良定义性和单位和数的结果推广至整体域。
• 提供判别整体域中 S-整数环的 u(R) = ω 与 u(R) = ∞ 的准则。
• 研究戴德金域上矩阵环和有限类数代数整数环的单位和数。

提出的方法

• 利用 Evertse 和 Győry 以及 van der Waerden 关于等差数列的定理，对零特征域中的 S-单位方程解进行有界，以证明其非有限 k-良定义性。
• 应用 Mason 关于函数域中 S-单位方程的结果，建立非有限 k-良定义性的函数域类比。
• 采用 k-良定义元素和单位和数 u(R) 的概念，根据每个元素是否可表示为单位之和对环进行分类。
• 应用命题 16 证明矩阵的非 2-良定义性，通过验证左理想不能由少于 n 个元素生成，且其中唯一 2-良定义元素为零。
• 利用 Hurwitz 四元数环等环中左、右欧几里得除法的存在性，证明其上的矩阵环为强 2-良定义。
• 将欧几里得环上的对角化推广，证明 M_n(R) 中每个矩阵均可通过初等矩阵等价于对角矩阵，从而推出 2-良定义性。

实验结果

研究问题

• RQ1 对于哪些 ℚ 的代数扩张 K，其整数环 R 的单位和数 u(R) ≤ ω？
• RQ2 对于类数为 c 的代数整数环 R，矩阵环 M_n(R) 的单位和数 u(M_n(R)) 是多少，特别是当 2 ≤ n < 2c 时？
• RQ3 是否存在整体域中某个 S-整数环使得 u(R) = ∞，即并非每个元素都可表示为单位之和？
• RQ4 能否对所有 n（尤其是非 PID 情况）完全刻画戴德金域上矩阵环的单位和数？
• RQ5 整体域中 S-整数环的每个元素是否都可表示为有限个单位之和？若是，所需的最小单位数是多少？

主要发现

• 对于任意代数数域 K 的整数环 R，有 u(R) = ω，即每个元素均可表示为单位之和，但不存在有限 k 使得 k-良定义性成立。
• 在函数域情形下，对于在完美域上且 S ≠ ∅ 的 S-整数环，有 u(R) ≥ ω，且同样成立非有限 k-良定义性结果。
• Hurwitz 四元数环 H 满足 u(H) = ω；当 n ≥ 2 时，M_n(H) 为强 2-良定义，即每个矩阵均可表示为两个单位之和。
• 对于类数为 c 的戴德金域 R，由 Vámos 和 Wiegand 证明，当所有 n ≥ 2c 时，M_n(R) 为 2-良定义。
• 对于类数 c > 1 的复二次整数环 R，有 u(M_2(R)) = 3，且当 n ≥ 2c 时，有 u(M_n(R)) = 2。
• 整体域中 S-整数环的单位和数 u(R) 可能为 ω 或 ∞，具体取决于域和 S 的选择，且对所需单位数无一般有限上界。