[论文解读] Zero divisors and units with small supports in group algebras of torsion-free groups

Aliréza Abdollahi, Zahra Taheri|arXiv (Cornell University)|Apr 29, 2017

Finite Group Theory Research参考文献 14被引用 8

一句话总结

本文研究了无挠群的群代数中具有小支集的零因子与单位，重点分析支集大小为3的元素。通过组合图论方法，特别是零因子图与单位图，作者证明：若 αβ = 0 且 |supp(α)| = 3，则在任意域上 |supp(β)| ≥ 10，在 F₂ 上 |supp(β)| ≥ 20；对于单位，若 αβ = 1，则在任意域上 |supp(β)| ≥ 9，改进了先前的下界，并在相关图中确立了禁止子图。

ABSTRACT

We associate a graph to a possible non-zero zero-divisor in the group algebra of a torsion-free group.

研究动机与目标

• 确定在 F[G] 中非零元素 β 的最小可能支集大小，使得存在 α ∈ F[G] 满足 |supp(α)| = 3 且 αβ = 0，其中 G 为无挠群，F 为任意域。
• 改进零因子情形下 β 支集大小的现有下界，特别是在 F₂ 上的情况，以及单位情形下 αβ = 1 的情况。
• 通过组合与图论技术，刻画零因子图与单位图中禁止的子图结构。
• 证明某些图结构（如三角形、K₂,₃、特定环）不能作为长度为3的元素的零因子图或单位图的子图。
• 提供关于无挠群群环中具有小支集元素所施加代数约束的结构性理解。

提出的方法

• 为满足 αβ = 0 的非零元素 α, β ∈ F[G] 定义零因子图 Z(α, β)，基于匹配矩形的组合构造。
• 为满足 γδ = 1 的元素引入单位图 U(γ, δ)，并证明其为简单图且无环，且不包含 C₃–C₃ 或 K₂,₃ 子图。
• 利用图论不变量（如顶点度数、环结构、禁止子图）在支集过小时导出矛盾。
• 对单位对的乘积集 supp(γ)supp(δ) 的大小进行情形分析，考虑群代数乘法下的可能划分与约束。
• 运用同构与子图排除技术，表明某些配置（如多个三角形、高阶顶点）会导致矛盾。
• 对满足 hᵢgⱼ = hᵢ′gⱼ′ 的对 (i,j) 的数量使用归纳法与计数论证，以界定乘积中支集的大小。

实验结果

研究问题

• RQ1 对于任意域 F 与无挠群 G，若 αβ = 0 且 |supp(α)| = 3，β 的支集最小可能大小是多少？
• RQ2 与任意域相比，当基域为 F₂ 时，β 的最小支集大小如何变化？
• RQ3 当 |supp(γ)| = 3 且 γδ = 1 时，单位图 U(γ, δ) 在 F[G] 中的结构约束是什么？（G 为无挠群）
• RQ4 哪些特定图结构（如三角形、完全二部图）不能作为长度为3的元素的零因子图或单位图的子图？
• RQ5 能否通过分析乘积集 supp(γ)supp(δ) 中群元素数量的组合论证，对 β 的支集大小进行下界估计？

主要发现

• 对于任意域 F 与无挠群 G，若 αβ = 0 且 |supp(α)| = 3，则 |supp(β)| ≥ 10。
• 在域 F₂ 上，当 αβ = 0 且 |supp(α)| = 3 时，下界提升至 |supp(β)| ≥ 20。
• 对于单位，若 αβ = 1 且 |supp(α)| = 3，则在任意域上 |supp(β)| ≥ 9，优于先前结果。
• 零因子图 Z(α, β) 不能包含图1中的任意图作为子图，无论域或无挠群为何。
• 在 F₂ 上，零因子图不能包含表1中列出的任意图作为子图。
• 单位图 U(γ, δ) 为简单图，不包含 C₃–C₃ 或 K₂,₃ 子图，且不存在 |supp(δ)| = 8 的配置而不导致矛盾。