[论文解读] Commutative rings with toroidal zero-divisor graphs

Hung Jen Chiang-Hsieh, Neal O. Smith+1 more|ArXiv.org|Feb 15, 2007

Finite Group Theory Research参考文献 15被引用 40

一句话总结

本文对所有零点除数图的亏格至多为一的有限交换环（同构意义下）进行了分类，即可以嵌入环面或平面上的环。通过欧拉示性数公式，并对残基域大小至多为 8 的局部环与乘积环进行情形分析，作者明确确定了所有此类环，并在四张表格中提供了完整列表。主要贡献在于对具有平面或环面零点除数图的有限交换环进行了完整分类。

ABSTRACT

Let $R$ be a commutative ring and $Γ(R)$ denote its zero-divisor graph. In this paper, we investigate the genus number of the compact Riemann surface which $Γ(R)$ can be embedded and illustrate all finite commutative rings $R$ (up to isomorphism) such that $Γ(R)$ is either toroidal or planar.

研究动机与目标

• 确定所有满足零点除数图 Γ(R) 亏格至多为一的有限交换环 R。
• 将先前关于平面零点除数图的研究扩展至环面情形，完成对低亏格零点除数图环的分类。
• 提供此类环的完整同构类列表，重点关注局部环及其乘积。
• 利用拓扑图论与欧拉示性数系统地排除高亏格情形。
• 解决关于有限交换环中零点除数图的平面性与环面性方面的开放问题。

提出的方法

• 将紧致可定向曲面的欧拉示性数公式应用于计算 Γ(R) 的亏格。
• 通过图的删减与插入技术分析亏格变化，排除高亏格情形。
• 对满足 |R/m| ≤ 8 的有限局部环 (R, m) 进行分类，因为只有这些情形可能产生亏格 ≤ 1。
• 分析可分解为局部环乘积的环，利用有限交换环是阿廷环从而为有限个局部环乘积的事实。
• 利用 [20] 和 [18] 中的已知结果，将搜索范围限制在至多四个极大理想的环。
• 通过显式计算与图的约化（移除度为 1 的顶点）构建并验证亏格值。

实验结果

研究问题

• RQ1 哪些有限交换环 R 的零点除数图 Γ(R) 是平面图（亏格 0）或环面图（亏格 1）？
• RQ2 满足 γ(Γ(R)) ≤ 1 的有限交换环（同构意义下）的完整列表是什么？
• RQ3 局部环的结构及其剩余域如何影响其零点除数图的亏格？
• RQ4 能否完全通过欧拉示性数与图约化技术确定 Γ(R) 的亏格？
• RQ5 有限交换环的最大极大理想数量是多少，仍可拥有亏格为 1 的零点除数图？

主要发现

• 所有具有平面零点除数图的有限交换环均已完全分类，并列于表 3，包括如 Z_2 × F_p^n 和 Z_4 × F_4 等环。
• 所有具有环面零点除数图的有限交换环均在表 1 和表 4 中完整枚举，包括如 Z_2 × Z_8 和 F_4 × F_4 等环。
• 对于 F_4 × F_4、Z_4 × F_4 和 Z_2 × Z_2 × F_4 等环，Γ(R) 的亏格为 1，其 |V(Γ(R))| 为 6 至 21 个顶点。
• 若 |Spec(R)| ≥ 5，则环不可能具有亏格 ≤ 1，因此仅考虑至多四个极大理想的环。
• 该分类包括 27 个不同的局部环同构类（表 1）和 20 个非局部环（表 4），其亏格为 1。
• 本文证实并扩展了先前的猜想，例如 Akbari 关于大小为 32 的局部环的猜想，表明此类环的 Γ(R) 非平面图，并提供了完整的亏格 1 列表。