[论文解读] Representation of Universal Algebra

Aleks Kleyn|arXiv (Cornell University)|Dec 17, 2009

Advanced Algebra and Logic参考文献 2被引用 8

一句话总结

本文为普遍代数的表示理论构建了一个全面的理论框架，引入了态射、生成集和基作为结构性不变量。该框架被扩展至表示塔——具有协调映射的嵌套代数系统——证明此类系统具有层次基，如仿射空间、群代数和代数上的模等实例所示，其应用涵盖张量积结构和范畴论表示。

ABSTRACT

Theory of representations of universal algebra is a natural development of the theory of universal algebra. Morphism of the representation is the map that conserve the structure of the representation. Exploring of morphisms of the representation leads to the concepts of generating set and basis of representation. In the book I considered the notion of tower of representations of $F_i$-algebras, i=1 ..., n, as the set of coordinated representations of $F_i$-algebras.

研究动机与目标

• 将普遍代数表示的概念形式化，作为普遍代数理论的自然延伸。
• 定义保持代数结构的表示态射，推广向量空间中的线性映射。
• 引入表示的生成集和基，作为线性代数概念的类比，以实现结构性分析。
• 发展表示塔的理论——具有协调映射的嵌套代数序列——以扩展表示框架。
• 探讨表示中的不变量和自同构结构，特别是自同构集合中非结合性环路结构。

提出的方法

• 将普遍代数的表示定义为从该代数到集合上自同态代数的同态。
• 将表示的态射引入为保持结构的映射，包括简化形式和自同构变体。
• 应用向量和矩阵记号表示代数序列 $\overline{A} = (A_1, \dots, A_n)$ 及其表示映射 $\overline{f} = (f_{12}, \dots, f_{n-1,n})$。
• 通过元组的逐分量运算定义塔中的代数运算，实现表示的递归构造。
• 通过层次分解构造表示的基：例如，通过 $A_3$ 对 $A_2$ 和 $A_2$ 对 $A_1$ 的基，得到 $\overline{e}_{31\cdot ij} = \overline{e}_{21\cdot i} \overline{e}_{32\cdot j}$。
• 通过范畴论表示 $f_{B,C}: A \to \mathrm{Mor}(B,C)$，其中 $\mathrm{Mor}(B,C)$ 赋予 $\Omega$-代数结构，将表示与范畴论联系起来。

实验结果

研究问题

• RQ1 如何将普遍代数中的态射概念推广以保持表示结构？此类态射具有何种性质？
• RQ2 生成集和基在普遍代数表示中扮演何种角色？它们如何推广线性代数中的概念？
• RQ3 能否将普遍代数的表示组织为层次系统（塔）？各层级之间保持一致性的条件是什么？
• RQ4 多级表示中张量类结构如何出现？其在构造基中的意义为何？
• RQ5 表示的范畴论解释是什么？它如何统一代数与几何结构？

主要发现

• 表示的态射是保持普遍代数在底层集合上作用的映射，推广了线性映射。
• 表示的正规自同构集合构成一个环路，由于复合运算的非结合性，不一定是群。
• 表示的生成集是在代数作用下生成底层集合的集合，但不一定是极小或线性无关的。
• 表示的基是满足极小性和独立性条件的生成集；例如，四元数代数 $H$ 在 $\mathbb{R}$ 上的标准基 $\{1, i, j, k\}$ 是一个基。
• 在表示塔中，例如代数上的模，顶层代数对基域的基通过 $\overline{e}_{31\cdot ij} = \overline{e}_{21\cdot i} \overline{e}_{32\cdot j}$ 构造，同构于张量积。
• 在范畴中对普遍代数的表示通过同态 $f_{B,C}: A \to \mathrm{Mor}(B,C)$ 定义，其中 $\mathrm{Mor}(B,C)$ 赋予 $\Omega$-代数结构，导致与丛的联络理论产生联系。