[論文レビュー] Zero divisors and units with small supports in group algebras of torsion-free groups

Aliréza Abdollahi, Zahra Taheri|arXiv (Cornell University)|Apr 29, 2017

Finite Group Theory Research参考文献 14被引用数 8

ひとこと要約

本稿は、捩れなし群の群代数における、小さな台を持つ零因子および単位を調査し、特に台のサイズが3である要素に焦点を当てる。組合せ的グラフ理論的手法、特に零因子グラフおよび単位グラフを用いて、αβ = 0 かつ |supp(α)| = 3 のとき、任意の体上で |supp(β)| ≥ 10 であり、F₂ 上では |supp(β)| ≥ 20 であることを証明する。単位の場合、αβ = 1 ならば任意の体上で |supp(β)| ≥ 9 であり、既存の下界を改善し、関連するグラフに禁止される部分グラフを特定する。

ABSTRACT

We associate a graph to a possible non-zero zero-divisor in the group algebra of a torsion-free group.

研究の動機と目的

• G が捩れなし群で F が任意の体であるとき、F[G] の非ゼロ元 β で、|supp(α)| = 3 を満たす非ゼロ α ∈ F[G] に対して αβ = 0 となるような、β の最小可能台サイズを特定すること。
• 特に F₂ 上での零因子の場合の β の台サイズに関する既存の下界を改善し、αβ = 1 の単位の場合の下界を向上させること。
• このような要素に関連する組合せ的およびグラフ論的技法を用いて、禁止される部分グラフを同定すること。
• 特定のグラフ構造（例：三角形、K₂,₃、特定のサイクル）が、長さ3の要素の零因子または単位グラフに部分グラフとして現れえないことを示すこと。
• 捩れなし群の群環における小さな台を持つ要素が引き起こす代数的制約の構造的理解を構築すること。

提案手法

• αβ = 0 である非ゼロ α, β ∈ F[G] に対して、一致する長方形に基づく組合せ的構成を用いて、零因子グラフ Z(α, β) を定義する。
• γδ = 1 を満たす要素に対して単位グラフ U(γ, δ) を導入し、それが単純かつループを含まず、C₃–C₃ も K₂,₃ も部分グラフとならないことを証明する。
• 頂点次数、サイクル構造、禁止部分グラフなどのグラフ論的不変量を用いて、台サイズが小さすぎる場合に矛盾を導く。
• 単位ペアにおける積集合 supp(γ)supp(δ) のサイズに関する場合分けを適用し、群代数の乗法からの可能な分割と制約を検討する。
• 同型および部分グラフ除外技術を用いて、特定の構成（例：複数の三角形、高次元頂点）が矛盾を引き起こすことを示す。
• 積集合のサポートサイズをバウンドするため、ペア (i,j) で hᵢgⱼ = hᵢ′gⱼ′ を満たすものの数に関する帰納法と数え上げ論法を用いる。

実験結果

リサーチクエスチョン

• RQ1 任意の体 F および捩れなし群 G に対して、|supp(α)| = 3 で非ゼロ α ∈ F[G] が存在し αβ = 0 となるような β ∈ F[G] の台の最小可能サイズは何か？
• RQ2 任意の体と比較して、F₂ を基底体とした場合、β の最小台サイズはどのように変化するか？
• RQ3 |supp(γ)| = 3 かつ γδ = 1 を満たす F[G] における単位グラフ U(γ, δ) にどのような構造的制約が生じるか？
• RQ4 どの特定のグラフ構造（例：三角形、完全二部グラフ）が、長さ3の要素の零因子または単位グラフに部分グラフとして現れえないか？
• RQ5 γδ = 1 のとき、積集合 supp(γ)supp(δ) に含まれる群元の数に関する組合せ的議論を用いて、β の台サイズを下から抑えられるか？

主な発見

• 任意の体 F および捩れなし群 G に対して、|supp(α)| = 3 かつ αβ = 0 ならば |supp(β)| ≥ 10 である。
• F₂ 上では、|supp(α)| = 3 かつ αβ = 0 のとき、下界が |supp(β)| ≥ 20 に改善される。
• 単位の場合、|supp(α)| = 3 かつ αβ = 1 ならば、任意の体上で |supp(β)| ≥ 9 であり、以前の結果を改善する。
• 零因子グラフ Z(α, β) は、体や捩れなし群にかかわらず、図1に示されるどのグラフとも部分グラフとして含まない。
• F₂ 上では、零因子グラフは表1にリストされたどのグラフとも部分グラフとして含まない。
• 単位グラフ U(γ, δ) は単純であり、C₃–C₃ も K₂,₃ も部分グラフとならず、|supp(δ)| = 8 となる構成は矛盾を伴うため不可能である。