[论文解读] 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在A上的表示之间的联系，尤其在非交换与非结合设定下。
• 探索在非交换除环与自由有限维结合代数背景下，约化态射与多态性的存在性与结构。

提出的方法

• 使用模作为交换环在阿贝尔群上的有效表示的定义，将线性映射视为此类表示的态射。
• 引入表示的多态性概念，即在每个变量上均为态射的映射，推广多线性映射。
• 通过约化多态性的性质（尤其在阿贝尔乘法Ω-群背景下）定义表示的张量积。
• 通过将线性映射视为A⊗A在A上的表示，将理论应用于D-代数，从而利用表示理论工具研究线性变换。
• 利用结构常数与指标记号，推导出进入自由有限维结合代数的多线性映射的显式公式。
• 运用指标变换与张量恒等式（例如公式6.7.13）以结构常数与自同构表示多线性映射的作用。

实验结果

研究问题

• RQ1 在阿贝尔乘法Ω-群中，表示的多态性存在的条件是什么？
• RQ2 如何构造表示的张量积？其结合性性质如何？
• RQ3 非交换除环D的中心在定义满足f(ax) = af(x)的线性映射f中起什么作用？
• RQ4 如何利用结构常数与指标记号表示进入结合代数的多线性映射？
• RQ5 约化态射与约化多态性的存在性之间有何关系？

主要发现

• 本文证明，当f(ax) = af(x)对所有a属于D的中心成立时，D-代数间映射f: A → B是表示的态射，强调了中心在非交换环上线性定义中的核心作用。
• 表示的多态性被定义为在每个变量上均为态射的映射，推广了多线性映射，并为多重线性构造提供了范畴框架。
• 表示的张量积通过约化多态性构造，其结合性被证明对底层代数结构施加了新约束。
• 利用结构常数与指标记号，推导出进入自由有限维结合代数的多线性映射的显式公式（例如公式6.7.13）。
• 本文证明，线性映射代数L(D; A → B)可被实现为A⊗A在A上的表示，为线性变换提供了表示理论解释。
• 在四元数代数背景下，证明了非平凡线性同态的存在性，展示了该理论在特定非结合代数中的适用性。