[論文レビュー] Linear Map of $D$-Algebra

Aleks Kleyn|arXiv (Cornell University)|Feb 12, 2015

Fuzzy and Soft Set Theory参考文献 5被引用数 4

ひとこと要約

本稿は、表現論を用いてD代数上の線形写像の圏的枠組みを構築し、加群と表現の準同型を通じて線型代数を一般化する。表現の多態性とアーベル乗法的Ω群上の表現のテンソル積を導入し、非可換かつ非結合的代数における線形写像の研究の基盤を確立する。主な結果として、多線形写像とその自由な有限次元結合的代数における実現に関するものである。

ABSTRACT

Module is effective representation of ring in Abelian group. Linear map of module over commutative ring is morphism of corresponding representation. This definition is the main subject of the book. To consider this definition from more general point of view I started the book from consideration of Cartesian product of representations. Polymorphism of representations is a map of Cartesian product of representations which is a morphism of representations with respect to each separate independent variable. Reduced morphism of representations allows us to simplify the study of morphisms of representations. However a representation has to satisfy specific requirements for existence of reduced polymomorphism of representations. It is possible that Abelian group is only $Ω$-algebra, such that representation in this algebra admits polymorphism of representations. However, today, this statement has not been proved. Multiplicative $Ω$-group is $Ω$-algebra in which product is defined. The definition of tensor product of representations of Abelian multiplicative $Ω$-group is based on properties of reduced polymorphism of representations of Abelian multiplicative $Ω$-group. Since an algebra is a module in which the product is defined, then we can use this theory to study linear map of algebra. For instance, we can study the set of linear transformations of $D$-algebra $A$ as representation of algebra $A\otimes A$ in algebra $A$.

研究の動機と目的

• 可換環をアーベル群に作用させる表現として線形写像を再解釈することにより、線型代数を一般化すること。
• 特にアーベル乗法的Ω群において、各変数に関して線形であるような多態性（表現の多態性）が存在する条件を調査すること。
• D代数の表現のためのテンソル積理論を構築し、多線形写像の研究とその結合的代数における実現を可能にすること。
• 非可換かつ非結合的設定において、D代数上の線形写像と代数A⊗Aの表現との間の関係を確立すること。
• 非可換除法環および自由な有限次元結合的代数の文脈において、削減された準同型および多態性の存在と構造を調査すること。

提案手法

• 可換環をアーベル群に作用させる表現として加群を定義し、線形写像をそのような表現の準同型として扱う。
• 各変数に関して準同型であるような写像としての表現の多態性を導入し、多線形写像を一般化する。
• 特にアーベル乗法的Ω群の文脈において、削減された多態性の性質を用いて表現のテンソル積を定義する。
• D代数に適用する際には、線形写像をA⊗AのAへの表現として扱い、表現論的道具を用いた線形変換の研究を可能にする。
• 構造定数とインデックス記法を用いて、自由な有限次元結合的代数への多線形写像の明示的公式を導出する。
• インデックスの操作とテンソル的恒等式（例：式6.7.13）を用いて、多線形写像の作用を構造定数と自己同型の言語で表現する。

実験結果

リサーチクエスチョン

• RQ1 特にアーベル乗法的Ω群において、表現の多態性が存在する条件は何か？
• RQ2 表現のテンソル積はどのように構成され、どのような結合的性質を満たすか？
• RQ3 非可換除法環Dの中心が、線形写像f(ax) = af(x)を定義する上で果たす役割は何か？
• RQ4 結合的代数への多線形写像は、構造定数とインデックス記法を用いてどのように表現できるか？
• RQ5 削減された準同型と削減された多態性の存在との間の関係は何か？

主な発見

• 本稿は、D代数間の線形写像f: A → Bが、Dの中心のすべてのaに対してf(ax) = af(x)を満たすとき、表現の準同型であることが示された。これは、非可換環上の線形性を定義する上で中心の重要性を強調する。
• 表現の多態性は、各変数に関して準同型である写像として定義され、多線形写像を一般化し、多次元的構成の圏的枠組みを提供する。
• 表現のテンソル積は削減された多態性を用いて構成され、その結合的性質が、基礎となる代数的構造に新たな制約を課すことが示された。
• 構造定数とインデックス記法を用いて、自由な有限次元結合的代数への多線形写像の明示的公式（例：式6.7.13）が導出された。
• 本稿は、線形写像の代数L(D; A → B)が、A⊗AのAへの表現として実現可能であることを証明し、線形変換の表現論的解釈を提供した。
• クォータニオン代数の文脈において、非自明な線形準同型の存在が確立され、理論が特定の非結合的代数へ応用可能であることが示された。