[논문 리뷰] The total zero-divisor graph of commutative rings

Alen Ðurić, Sara Jevđenić외 2명|arXiv (Cornell University)|2018. 03. 15.

Rings, Modules, and Algebras참고 문헌 7인용 수 3

한 줄 요약

이 논문은 가환 단위원환에서의 총 영원소 그래프(total zero-divisor graph)를 도입하며, 이는 서로 다른 영원소인 두 원소의 곱과 합이 모두 영원소일 때 인접으로 정의된다. 아르틴 환에서 총 영원소 그래프가 연결되어 있는 조건을 규명하고, ℤₘ에 대한 핵심 불변량을 계산하며, 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$.

연구 동기 및 목표

• 가환환에서 영원소와 총 그래프 성질을 통합한 새로운 그래프인 총 영원소 그래프를 정의하고 연구한다.
• 총 영원소 그래프가 연결된 아르틴 환을 특성화하며, 이는 관련 소 이상수와 극대 이상수에 의존함을 드러낸다.
• ℤₘ의 총 영원소 그래프에 대해 기초적인 그래프 불변량—순환 길이(girth), 색수(chromatic number), 지배 수(domination number), 거리 차원(metric dimension)—을 계산한다.
• ZT(ℤₘ) ≅ ZT(ℤₙ)이 성립하는 것은 m = n일 때에만 성립함을 증명하여 ℤₘ의 총 영원소 그래프에 대한 완전한 동형 불변량을 확립한다.
• 모든 비순환(total zero-divisor) 그래프를 식별하고, ℤₘ에서의 정점 구별 불가능성(vertex indistinguishability)을 분석한다.

제안 방법

• 정점 집합이 Z(R)\{0}인 총 영원소 그래프 ZT(R)를 정의하며, 서로 다른 두 정점 u와 v가 uv = 0 이면서 u + v ∈ Z(R)일 때 인접으로 간주한다.
• 관련 소 이상수, 영멸자(annihilators), 그리고 영제일(영제일) 이상수를 포함한 구조 이론을 활용하여 아르틴 환에서의 연결성과 지름을 분석한다.
• ℤₘ의 곱셈적 수론과 약수 구조를 적용하여 순환 길이, 색수, 지배 수 등의 불변량을 계산한다.
• 인접 조건과 결합법칙을 분석하여 ZT(ℤₘ)에서 정점 구별 불가능성의 동치류를 확립하고, 해소 집합의 크기 상한을 도출한다.
• m이 n개의 소인수를 가질 때, ℤₘ에 대해 크기가 m − φ(m) − τ(m) + n + 1인 최소 해소 집합 B를 구성하며, 여집합 논증을 통해 거리 차원을 증명한다.
• 동형 불변성과 약수류 분석을 활용하여 ZT(ℤₘ) ≅ ZT(ℤₙ)이면 반드시 m = n이어야 함을 보이며, 이는 차수 수열과 구조적 유일성에 기반한다.

실험 결과

연구 질문

• RQ1 어떤 아르틴 환에서 총 영원소 그래프가 연결되어 있으며, 이는 환의 소 이상수 구조에 어떻게 의존하는가?
• RQ2 주어진 m에 대해 ℤₘ의 총 영원소 그래프 ZT(ℤₘ)의 순환 길이, 색수, 지배 수, 거리 차원의 정확한 값은 무엇인가?
• RQ3 언제 ℤₘ의 총 영원소 그래프가 비순환적이며, 이러한 그래프의 구조는 어떠한가?
• RQ4 ZT(ℤₘ)의 거리 차원은 무엇이며, 이는 m의 소인수 분해에 어떻게 의존하는가?
• RQ5 ZT(ℤₘ)와 ZT(ℤₙ)이 동형일 조건은 무엇이며, 이러한 동형은 m = n로만 특징지을 수 있는가?

주요 결과

• 아르틴 환의 총 영원소 그래프는 정확히 하나의 관련 소 이상수를 가질 때에만 연결되어 있으며, 환에 극대 이상수가 둘 이상 존재하면 지름이 2이고, 그렇지 않으면 지름이 1이다.
• m = p₁^{m₁}⋯pₙ^{mₙ}일 때, ℤₘ의 총 영원소 그래프 ZT(ℤₘ)의 순환 길이는 n ≥ 2이면 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(ℤₘ)에서 유일한 구별 불가능한 정점은 서로 연역된 원소들(associates)과 각 소수의 거듭제곱 인수에 대해 p_i^{m_i}와 p_i^{m_i−1}의 쌍이며, 이는 최소 해소 집합의 크기를 결정한다.