[論文レビュー] Complete lists of low dimensional complex associative algebras

I. S. Rakhimov, Rikhsiboev, I. M.+1 more|ArXiv.org|Oct 6, 2009

Advanced Topics in Algebra参考文献 5被引用数 14

ひとこと要約

本稿では、次元5までの有限次元複素結合的代数を、単位的および非単位的の場合を含めて完全に分類する。Mapleを用いた記号計算により、すべての不定元的代数の同型類が列挙され、乗法表、自己同型群、およびネイピオテンス・部分代数、半単純部分代数、左/右零化部分代数、最大可換部分代数といった不変量が提供されており、双結合的代数の分類に基礎的リソースを提供する。

ABSTRACT

In this paper we present a complete classification (isomorphism classes with some isomorphism invariants) of complex associative algebras up to dimension five (including both cases: unitary and non-unitary). In some symbolic computations we used Maple software.

研究の動機と目的

• 次元5までの有限次元複素結合的代数の同型類の完全なリストを提供すること。
• 非単位的代数を含むこと。非単位的ケースは、双結合的代数を分類するために不可欠である。
• 自己同型群、左/右零化部分代数、最大可換部分代数といった同型不変量を提供し、代数を区別すること。
• 双結合的代数の分類を支援するため、基礎となる結合的代数の包括的基盤を提供すること。
• 次元2〜5のすべての代数について、明示的な乗法表と構造的分解（例：ネイピオテンス部分代数と半単純部分代数の直和）を提示すること。

提案手法

• 次元2〜5のすべての不定元的複素結合的代数の体系的代数的解析を用いた列挙。
• 構造定数から導かれる行列表現を用いて自己同型群を計算する。
• 代数的分解 A = N ⊕ S を用いて、ネイピオテンス部と半単純部を特定する。
• 各代数について、左零化部分代数 L(As_p^q)、右零化部分代数 R(As_p^q)、最大可換部分代数 C(As_p^q) を計算する。
• Mapleを用いた記号計算により、構造的不変量と同型類を検証・導出する。
• C、L、R の次元といった同型不変量を応用して、非同型の代数を区別する。

実験結果

リサーチクエスチョン

• RQ1 次元5までの有限次元複素結合的代数の同型類は、非単位的ケースを含めてすべて何か。
• RQ2 低次元の結合的代数において、ネイピオテンス部と半単純部を体系的に特定・分解する方法は何か。
• RQ3 低次元複素結合的代数の自己同型群は何か。また、それらは同型類をどのように区別するか。
• RQ4 左/右零化部分代数や最大可換部分代数といった不変量は、非同型の代数を区別するためにどのように役立つか。
• RQ5 （可換性、単位的性など）どのような構造的性質が次元2〜5の結合的代数の完全なリストを特徴づけるか。

主な発見

• 本稿では、次元4の不定元的複素結合的代数が全46種類にわたり完全に分類され、そのうち As_4^44(α) は α ∈ ℂ に依存する1パラメータ族である。
• 次元2〜5のすべての代数が同型を除いて分類され、明示的な乗法表と構造的不変量が提供されている。
• 各代数の自己同型群は行列表現により記述されており、C(As_p^q)、L(As_p^q)、R(As_p^q) の次元が明示的に計算されている。
• 分解 A = N ⊕ S は完全に実現されている。例えば、As_4^40 は可換かつ単位的であり、N = <e₂,e₃,e₄>、S = <e₁> に分解される。
• いくつかの代数はネイピオテンス（例：As_2^1、As_3^1）または半単純（例：As_4^40）であることが特定され、構造定数を用いてネイピオテンス性が確認された。
• 1パラメータ族 As_4^44(α) の存在は、複素パラメータ α に依存する非自明な同型類を示している。