[论文解读] Basis of Representation of Universal Algebra

Aleks Kleyn|arXiv (Cornell University)|Nov 9, 2011

Advanced Algebra and Logic被引用 4

一句话总结

本文提出了一种通过自同态结构表示泛代数的新框架，定义了基与生成集，以推广代数与几何中的对称性概念。研究证明，几何对象源于基流形上的群作用，其不变量在基变换下保持不变，从而统一了表示理论、微分几何与不变量理论。

ABSTRACT

We say that there is a representation of the universal algebra B in the universal algebra A if the set of endomorphisms of the universal algebra A has the structure of universal algebra B. Therefore, the role of representation of the universal algebra is similar to the role of symmetry in geometry and physics. Morphism of the representation is the mapping that conserves the structure of the representation. Exploring of morphisms of the representation leads to the concepts of generating set and basis of representation. The set of automorphisms of the representation of the universal algebra forms the group. Twin representations of this group in basis manifold of the representation are called active and passive representations. Passive representation in basis manifold is underlying of concept of geometric object and the theory of invariants of the representation of the universal algebra.

研究动机与目标

• 通过自同态结构而非同态，形式化泛代数在另一代数中的表示概念。
• 定义表示的生成集与基，作为保持代数封闭性的最小生成结构。
• 确立自同态群在定义基流形上的主动与被动表示中的作用。
• 将几何对象定义为群作用下的轨道，并通过坐标无关的代表元定义其不变量。
• 通过子表示上的闭包系统，统一表示理论与微分几何及不变量理论。

提出的方法

• 利用代数 A 的自同态集定义另一代数 B 的表示，其中 B 的运算由 A 的自同态诱导。
• 通过自同态作用下的封闭性定义稳定集与子表示，确保子代数在表示下保持不变。
• 引入闭包算子 J(f, X)，生成包含子集 X 且在 f 作用下稳定的最小子表示。
• 将基流形构造为表示基的集合，并在其中引入主动与被动的群表示。
• 将几何对象定义为群作用在基流形上的轨道，并通过在基变换下不变的代表元定义其不变量。
• 应用不变性原理，证明几何对象的代表元独立于基的选择，通过自同态实现坐标变换。

实验结果

研究问题

• RQ1 如何利用自同态结构而非同态，形式化泛代数中表示的概念？
• RQ2 什么条件定义了表示的最小生成集（基）？其与代数封闭性的关系如何？
• RQ3 自同态群在基流形上的主动与被动表示如何与几何对象及不变量相关联？
• RQ4 闭包算子 J(f, X) 在构造子表示及确保表示下稳定性方面起什么作用？
• RQ5 如何通过群作用与基变换，以坐标系无关的方式内在地定义几何对象？

主要发现

• 给定表示的子表示集合在交运算下构成完全格，由闭包算子 J(f, X) 诱导。
• 表示的基被定义为最小生成集，使得其中任一元素均无法通过表示运算由其余元素组合而成。
• 表示的自同态群通过两组表示作用于基流形：主动表示（作用于元素）与被动表示（作用于坐标）。
• 几何对象被定义为自同态群在基流形上的轨道，其代表元在基变换下保持不变。
• 几何对象的代表元独立于基的选择，如被动变换下的不变性原理所证明。
• 给定类型 H 的几何对象集合构成一个新的泛代数 Ω₃，其在原表示诱导的运算下封闭。