[论文解读] Simple Graphs and Commutative Zero-Divisor Semigroups

Tongsuo Wu, Li Chen|ArXiv.org|Dec 26, 2005

Rings, Modules, and Algebras参考文献 11被引用 8

一句话总结

本文研究了零因子图同构于特定简单连通图的交换零因子幺半群。证明了Γₙ类图的唯一性结果，表明某些图——包括具有超过三个端点的完全图Kₙ以及具有多个端点的完全二分图——无法作为任何幺半群的零因子图实现，并完全刻画了对应于K₃带两个端点的幺半群。

ABSTRACT

In this paper, we study commutative zero-divisor semigroups determined by graphs. We prove a uniqueness theorem for a class of graphs. We show two classes of graphs that have no corresponding semigroups. In particular, any complete graph $K_n$ together with more than three end vertices and any complete bipartite graph together with more than one end vertices have no corresponding semigroups. We also determine all possible zero-divisor semigroups whose zero-divisor graph is the com- plete graph $K_3$ together with two end vertices.

研究动机与目标

• 确定哪些简单连通图可作为交换零因子幺半群的零因子图实现。
• 建立图无对应幺半群的条件，特别关注在完全图和完全二分图上增加端点的情况。
• 为一类图Γₙ证明唯一性定理，表明每个Γₙ至多存在一个同构意义下的对应幺半群。
• 刻画所有零因子图同构于K₃带两个端点的零因子幺半群。
• 探讨图与幺半群之间对应关系的结构敏感性，表明增加端点可能破坏可实现性。

提出的方法

• 从n个元素集合的幂集在交运算下构造幺半群Pₙ，其中零元对应空集。
• 定义Pₙ的零因子图Γₙ，表明其有2ⁿ − 2个顶点，具有特定的邻域大小和对称性质。
• 利用图论性质如团数、直径和自同构群（Sₙ）刻画Γₙ。
• 应用标记与同构论证，证明任何满足Γ(S) ≅ Γₙ的幺半群S必同构于Pₙ − {1}。
• 引入一个一般图构造Hₘ,ₙ，包含两个中心顶点a₁, b₁，两组独立集X₁, Y₁，以及具有特定邻接规则的附加顶点。
• 基于假设幺半群S满足Γ(S) ≅ Hₘ,ₙ，采用反证法分析元素乘积，表明某些乘积与零因子公理矛盾。

实验结果

研究问题

• RQ1 对于哪些简单连通图G，存在一个交换零因子幺半群S，使得Γ(S) ≅ G？
• RQ2 在完全图Kₙ或完全二分图Kₘ,ₙ上增加端点时，满足何种条件会导致图无对应幺半群？
• RQ3 所有零因子图同构于K₃带两个端点的零因子幺半群的结构是怎样的？
• RQ4 为何图与幺半群之间的对应关系对微小结构变化（如增加端点）极为敏感？
• RQ5 能否为给定图唯一关联一个幺半群？该唯一性在何种条件下成立？

主要发现

• 图Γₙ定义为幺半群Pₙ = {x_B | B ⊆ {1,…,n}}的零因子图，具有2ⁿ − 2个顶点，且具有高度对称性，其自同构群为Sₙ。
• 任何满足Γ(S) ≅ Γₙ的交换零因子幺半群S均同构于Pₙ − {1}，从而对每个n ≥ 3，唯一确定一个对应幺半群。
• 具有超过三个端点（每个端点连接到Kₙ的不同顶点）的完全图Kₙ无对应幺半群。
• 具有超过一个端点（连接到Kₘ,ₙ的不同顶点）的完全二分图Kₘ,ₙ无对应幺半群。
• 图Hₘ,ₙ通过两个中心顶点a₁, b₁，两组独立集X₁, Y₁，以及附加邻接约束构造而成，不能作为任何交换幺半群的零因子图。
• 对于由K₃带两个端点连接到K₃不同顶点构成的图，所有可能的零因子幺半群均已完全确定并分类。