[論文レビュー] 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

ひとこと要約

この論文は、ゼロ除算グラフのジャンルが1以下（つまりトーラスまたは平面に埋め込める）であるすべての有限可換環（同型を除いて）を分類する。オイラー特性の公式と、残渣体のサイズが8以下の局所環および積環に関する場合分けを用いて、著者たちはこのような環を明示的に特定し、4つの表に完全なリストを提示する。主な貢献は、平面的またはトーラス的ゼロ除算グラフをもつ有限可換環の完全分類である。

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) のジャンルが1以下であるようなすべての有限可換環 R を特定すること。
• 従来の平面ゼロ除算グラフに関する研究をトーラス的ケースに拡張し、低ジャンルのゼロ除算グラフをもつ環の分類を完成させること。
• 同型を除いて、このような環の完全なリストを提供すること。特に局所環および局所環の積に焦点を当てる。
• 位相的グラフ理論とオイラー特性を用いて、高ジャンルのケースを体系的に除外すること。
• 有限可換環におけるゼロ除算グラフの平面性およびトーラス性に関する未解決の問題を解消すること。

提案手法

• コンpakな向き付け可能な曲面に対するオイラー特性の公式を適用し、Γ(R) のジャンルを計算する。
• グラフの削除および挿入技術を用いてジャンルの変化を分析し、高ジャンルのケースを除外する。
• |R/m| ≤ 8 である有限局所環 (R, m) を分類する。これはジャンル ≤ 1 をもたらす唯一のケースである。
• 局所環の積に分解される環を分析する。有限可換環はアートン環であるため、有限個の局所環の積に分解可能である。
• [20] および [18] の既知の結果を用いて、最大4つの極大イデアルをもつ環に探索空間を制限する。
• 明示的な計算とグラフ簡約（次数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 をもてないため、最大4つの極大イデアルをもつ環のみを検討対象とする。
• 分類には、局所環として27個の同型類（表1）と、ジャンル1の20個の非局所環（表4）が含まれる。
• 本論文は、先行の予想（例：Akbariの32要素の局所環に関する予想）を確認・拡張し、このような環では Γ(R) が非平面的であることを示し、ジャンル1の完全なリストを提供する。