[論文レビュー] Computing 2-Dimensional Algebras: Crossed Modules and Cat1-Algebras

Z. Arvasi, Alper Odabaş|arXiv (Cornell University)|Nov 26, 2013

Algebraic structures and combinatorial models参考文献 8被引用数 3

ひとこと要約

本稿では、可換環上の可換代数の2次元代数的構造、特に交叉モジュールとcat1代数の計算のためのGAP実装を提示する。XModAlgとCat1-Algのカテゴリカル同値性を確立し、準同型、自己準同型、べき等自己準同型の計算アルゴリズムと関数を提供する。また、小規模な有限体上の群代数におけるcat1構造の包括的な表を提示する。

ABSTRACT

In this paper, we described the GAP implementation of crossed modules of commutative algebras and cat$^{1}$-algebras and their equivalence.

研究の動機と目的

• 2次元代数的構造、特に交叉モジュールとcat1代数のためのGAPにおける計算ツールの開発。
• XModAlg（代数の交叉モジュール）とCat1-Alg（cat1代数）のカテゴリカル同値性の確立。
• 群代数の文脈において、準同型、自己準同型、べき等自己準同型を計算するためのアルゴリズムの実装。
• 位数12以下の群に対して、位数2, 3, 4の有限体上の群代数におけるcat1構造の体系的表の提供。
• GAPのネイティブなサポートに制限があるものの、可換代数の文脈において計算群論の技法を拡張すること。

提案手法

• GAP4用の群論的XModパッケージを可換代数の文脈に適応し、k代数の準同型とXModAlg1およびXModAlg2の公理を満たす作用を定義した。
• 交叉モジュールを、R作用を備えたk代数の準同型∂: S → Rとして定義した。ここで、すべてのr ∈ R, s, s′ ∈ Sに対して∂(r·s) = r∂(s)および∂(s)·s′ = ss′が成り立つ。
• 関手的対応を通じて、交叉モジュールからcat1代数を構成した。cat1代数とは、k代数Aとその自己準同型s, t: A → Aの組で、s∘t = sおよびt∘s = tを満たすものである。
• GAPにおける関数を実装した：XModAlgByIdeal, Cat1AlgByXModAlg, XModAlgByCat1Alg, およびCat1AlgByEndomorphisms。
• 有限体Fと位数≤12の群Gの群代数FGの自己準同型およびべき等自己準同型を分析した。
• すべてのべき等自己準同型ペアを列挙し、有効なcat1代数構成を数えることで、cat1構造の包括的な表を生成した。

実験結果

リサーチクエスチョン

• RQ1 可換代数の交叉モジュールとcat1代数の間のカテゴリカル同値性は、計算代数システムにおいてどのようにアルゴリズム的に実現可能か？
• RQ2 有限群代数における交叉モジュールとcat1代数のGAPへの実装の計算的妥当性とパフォーマンスはいかがなものか？
• RQ3 位数≤12の群Gと小さな有限体Fに対して、群代数FGに存在する異なるcat1構造の数はいくつか？
• RQ4 GF(2), GF(3), GF(4)上の群代数における自己準同型およびべき等自己準同型の構造的性質は何か？
• RQ5 GAPフレームワークは、可換代数の文脈において乗数代数や半直積の主要な代数的構成をサポートするように拡張可能か？

主な発見

• 本稿では、GAPにおいてXModAlgとCat1-Algの同値性を成功裏に実装した。Cat1AlgとXModAlgの関数により、両方向への構造変換が可能である。
• G = C2およびF = GF(4)の場合、cat1構造の数は2であり、自己準同型は5つ、べき等自己準同型は3つである。
• G = C2 × C2およびF = GF(4)の場合、群代数FGには81のcat1構造が存在し、4097個の自己準同型と83個のべき等自己準同型から生じる。
• 観察された最大のcat1構造数は、G = C2 × C2およびF = GF(3)の場合の25であり、自己準同型は625個、べき等自己準同型は104個である。
• G = C2 × C2 × C2およびF = GF(2)の場合、群代数FGには87個の異なるcat1構造が存在し、自己準同型は260万以上、べき等自己準同型は723個である。
• 実装は同型の検証を正しく行っている：交叉モジュールをcat1代数に変換し、再び元の構造に戻すと、GAPの関数等価性チェックにより元の構造が回復される。