[论文解读] Abelian regular subgroups of the affine group and radical rings

A. Caranti, Francesca Dalla Volta+1 more|arXiv (Cornell University)|Oct 8, 2005

Rings, Modules, and Algebras被引用 4

一句话总结

本文建立了向量空间上仿射群的阿贝尔正规子群与该空间上交换、结合、幂零环结构之间的一一对应关系。主要贡献在于证明：在正特征情况下，有限维的阿贝尔正规子群具有有限指数；而在无限维情况下，它们可以是无挠的，并且与平移子群平凡相交——这是首个具有与平移子群平凡相交的阿贝尔正规子群的实例。

ABSTRACT

We establish a link between abelian regular subgroup of the affine group, and commutative, associative algebra structures on the underlying vector space that are (Jacobson) radical rings. As an application, we show that if the underlying field has positive characteristic, then an abelian regular subgroup has finite exponent if the vector space is finite-dimensional, while it can be torsion free if the dimension is infinite. We also give an example of an abelian, regular subgroup of the affine group over an infinite vector space, which intersects trivially the group of translations.

研究动机与目标

• 使用底层空间上的代数结构表征仿射群上所有阿贝尔正规子群。
• 阐明此类子群与平移子群非平凡相交或平凡相交的条件。
• 研究在有限维与无限维情形下，阿贝尔正规子群的指数与挠性质。
• 提供与平移子群平凡相交的阿贝尔正规子群的显式构造，特别是在无限维情况下。
• 将有限仿射群中已知的正规子群结果推广至无限维情形。

提出的方法

• 定义映射 τ(x) ∈ Aff(V)，使得 τ(x) 将 0 映射到 x，利用子群 T 的正则性。
• 将每个 τ(x) 分解为 γ(x)ν(x)，其中 γ(x) ∈ GL(V)，ν(x) 是关于 x 的平移。
• 引入 δ(x) = γ(x) − 1 ∈ M(V)，即 V 上线性映射的 F-代数。
• 利用 T 的交换性，推导出对所有 x, y ∈ V，有 xδ(y) = yδ(x)，从而表明 δ 是 F-线性。
• 通过 x·y = xδ(y) 在 V 上定义环乘法，证明其交换、结合，并使 (V, +, ·) 成为一个幂零环。
• 证明 T 与幂零环结构之间的对应关系是双射的，并且在 GL(V) 作用下保持共轭关系。

实验结果

研究问题

• RQ1 在底层向量空间满足何种代数条件时，仿射群的阿贝尔正规子群存在？
• RQ2 此类子群在何时与平移子群平凡相交，这又意味着何种结构性质？
• RQ3 在正特征下，阿贝尔正规子群的指数是多少？它如何依赖于空间的维数？
• RQ4 在无限维空间中，阿贝尔正规子群是否可能无挠，即使在正特征域上？
• RQ5 V 上幂零环结构的性质如何与相应阿贝尔正规子群 T 的群论性质相关联？

主要发现

• Aff(V) 的阿贝尔正规子群与 V 上交换、结合、幂零环结构之间存在一一对应关系。
• 在正特征下，任何具有有限维 V 的 Aff(V) 的阿贝尔正规子群都具有有限指数。
• 当 V 为无限维时，存在 Aff(V) 的阿贝尔正规子群是无挠的。
• 通过使用形式幂级数环 F[[t]] 的极大理想 tF[[t]] 构造了一个例子，得到一个具有平凡零化理想 U 的幂零环。
• 该例子产生了一个阿贝尔正规子群 T，其与平移子群 N 的交集平凡，即 T ∩ N = {1}。
• 该构造首次提供了在无限维向量空间上，仿射群中阿贝尔正规子群与平移子群平凡相交的已知实例。