[論文レビュー] Finite dimensional graded simple algebras

Yuri Bahturin, Surinder K. Sehgal+1 more|ArXiv.org|Dec 9, 2005

Algebraic structures and combinatorial models参考文献 13被引用数 11

ひとこと要約

この論文は、代数的に閉じた体上の有限次元の階数付き単純代数が、体の特徴がゼロ、または任意の有限部分群の位数と互いに素である場合には、階数付き除法代数上の行列代数に同型であることを確立している。主な貢献は、階数付き単純性が、一般化された超代数やアーベル的階数付き構造の既存結果を拡張する、ねじれ群代数上の行列構造を示す分類定理である。

ABSTRACT

Let $R$ be a finite-dimensional algebra over an algebraically closed field $F$ graded by an arbitrary group $G$. We prove that $R$ is a graded division algebra if and only if it is isomorphic to a twisted group algebra of some finite subgroup of $G$. If the characteristic of $F$ is zero or ${ m char} F$ does not divide the order of any finite subgroup of $G$ then we prove that $R$ is graded simple if and only if it is a matrix algebra over a finite-dimensional graded division algebra.

研究の動機と目的

• 群の階数付き構造の下で、代数的に閉じた体上の有限次元階数付き単純代数を分類すること。
• 有限部分群のねじれ群代数としての階数付き除法代数の構造を特定すること。
• 階数付き単純代数が半単純的であり、階数付き除法代数上の行列代数に同型であるような条件を確立すること。
• アーベル的および超代数に関する既存の結果を一般の群の階数付き構造に拡張すること。
• 階数付き単純代数の構造的特徴を行列代数およびねじれ群代数の観点から完全に特定すること。

提案手法

• 代数的に閉じた体上の有限次元結合的代数に群の階数付き構造を適用すること。
• 任意の階数付き除法代数が、階数群の有限部分群のねじれ群代数に同型であることを証明すること。
• 第二コホモロジー群 $ H^2(H, F^*) $ を用いて、ねじれ群代数を分類するコホモロジー的技法の応用。
• 階数付き単純代数と $ M_k(C) $ 間の明示的な階数付き同型写像の構成、ここで $ C $ は階数付き除法代数である。
• テンソル積および行列代数における誘導された階数付き構造を用いて、階数付き構造を保存すること。
• 特徴の制限の下で半単純的であり、べき零イデアルが存在しないことを利用して、行列代数への分解を導出すること。

実験結果

リサーチクエスチョン

• RQ1 代数的に閉じた体上の有限次元階数付き代数が階数付き単純となるのはいつか？
• RQ2 群の階数付き構造の下で、階数付き除法代数の正確な構造は何か？
• RQ3 階数付き単純代数が階数付き除法代数上の行列代数に同型であるための条件は何か？
• RQ4 有限群の階数付き構造の文脈で、ねじれ群代数はどのように階数付き除法代数として現れるか？
• RQ5 体の特徴が階数付き単純代数の半単純的性および分類に果たす役割は何か？

主な発見

• 代数的に閉じた体上の有限次元階数付き除法代数は、階数群 $ G $ の有限部分群 $ H $ に対して、ねじれ群代数 $ F^ au[H] $ に同型である。
• 体の特徴がゼロ、または $ G $ の任意の有限部分群の位数と互いに素である場合、すべての階数付き単純代数は、階数付き除法代数 $ C $ に対する行列代数 $ M_k(C) $ に同型である。
• $ |G|^{-1} \notin F $ のとき、有限次元 $ G $-階数付き除法代数の同型でないものの数は有限である。これは、有限な $ H \trianglelefteq G $ に対して $ H^2(H, F^*) $ が有限であるためである。
• 有限アーベル群 $ G $ に対して、任意のねじれ群代数 $ F^ au[G] $ は、互いに同型な単純イデアルの直和である。
• 階数付き単純代数の中心が基底体 $ F $ と一致するのは、特徴の条件の下で、代数が通常の意味で単純であるときである。
• 階数付き単純代数の分類は、ねじれ群代数の分類およびそれらの行列拡張の分類に帰着され、すべてのこのような代数は、有限な $ H \trianglelefteq G $ に対して $ M_k(F^ au[H]) $ の形に現れる。