[论文解读] The total zero-divisor graph of commutative rings

Alen Ðurić, Sara Jevđenić+2 more|arXiv (Cornell University)|Mar 15, 2018

Rings, Modules, and Algebras参考文献 7被引用 3

一句话总结

本文引入了交换幺环的总零因子图，其邻接关系定义为：当两个不同的非零零因子的乘积与和均为零因子时，它们相邻。本文刻画了总零因子图连通的阿廷环，计算了ℤₘ的关键图不变量，并证明了ZT(ℤₘ) ≅ ZT(ℤₙ)当且仅当m = n，从而为这些环建立了完整的同构不变量。

ABSTRACT

In this paper we initiate the study of the total zero-divisor graphs over commutative rings with unity. These graphs are constructed by both relations that arise from the zero-divisor graph and from the total graph of a ring. We characterize Artinian rings with the connected total zero-divisor graphs and give their diameters. Moreover, we compute major characteristics of the total zero-divisor graphs of the ring ${\mathbb Z}_m$ of integers modulo $m$ and prove that the total zero-divisor graphs of ${\mathbb Z}_m$ and ${\mathbb Z}_n$ are isomorphic if and only if $m=n$.

研究动机与目标

• 定义并研究总零因子图，这是一种在交换环中结合零因子图与全图性质的新图。
• 刻画总零因子图连通的阿廷环，揭示其与关联素理想及极大理想的依赖关系。
• 计算ℤₘ的总零因子图的基本图不变量——围长、色数、支配数、度量维数。
• 通过证明ZT(ℤₘ) ≅ ZT(ℤₙ)当且仅当m = n，为ℤₘ的总零因子图建立完整的同构不变量。
• 识别所有无环的总零因子图，并分析ℤₘ中顶点的不可区分性。

提出的方法

• 定义总零因子图ZT(R)，其顶点集为Z(R)\{0}，其中不同的顶点u和v相邻当且仅当uv = 0且u + v ∈ Z(R)。
• 使用结构环论，包括关联素理想、零化子和幂零理想，分析阿廷环中的连通性与直径。
• 应用乘法数论与ℤₘ的因子结构，计算围长、色数和支配数等不变量。
• 通过分析邻接条件与结合性，确定ZT(ℤₘ)中的不可区分顶点类，从而给出可分辨集的界。
• 构造ℤₘ的最小可分辨集B，其大小为m − φ(m) − τ(m) + n + 1（n为m的素因子个数），并通过补集论证证明度量维数。
• 利用同构不变性与因子类分析，证明ZT(ℤₘ) ≅ ZT(ℤₙ)蕴含m = n，依赖于度序列与结构唯一性。

实验结果

研究问题

• RQ1 对于哪些阿廷环，其总零因子图是连通的？这种连通性如何依赖于环的素理想结构？
• RQ2 对于给定的m，ZT(ℤₘ)的围长、色数、支配数与度量维数的精确值是什么？
• RQ3 ℤₘ的总零因子图在何种情况下是无环的？此类图的结构如何？
• RQ4 ZT(ℤₘ)的度量维数是什么？它如何依赖于m的素因子分解？
• RQ5 在何种条件下ZT(ℤₘ)同构于ZT(ℤₙ)？这种同构能否仅由m = n来刻画？

主要发现

• 阿廷环的总零因子图连通当且仅当该环至多有一个关联素理想；若环有多个极大理想，则其直径为2，否则为1。
• 对于m = p₁^{m₁}⋯pₙ^{mₙ}的ℤₘ，若n ≥ 2，则ZT(ℤₘ)的围长为3；若n = 1，则围长为4。
• ZT(ℤₘ)的色数等于m的不同素因子个数，支配数为τ(m) − 1，其中τ(m)是m的正因子个数。
• 当m至少有两个不同素因子时，ZT(ℤₘ)的度量维数为m − φ(m) − τ(m) + n + 1；当m为素数幂时，度量维数为m − φ(m) − τ(m) + 1。
• 总零因子图ZT(ℤₘ)与ZT(ℤₙ)同构当且仅当m = n，从而建立了完整的同构不变量。
• ZT(ℤₘ)中唯一的不可区分顶点是相伴元，以及每个素数幂因子对应的p_i^{m_i}与p_i^{m_i−1}的配对，这决定了最小可分辨集的大小。