[论文解读] On automorphisms of categories of free algebras of some varieties

B. Plotkin, Grigori Zhitomirski|ArXiv.org|Jan 20, 2005

Algebraic structures and combinatorial models参考文献 7被引用 9

一句话总结

本文提出了一种新方法，用于分类某些种类的自由代数范畴的自同构，表明在两个关键情形下，所有此类自同构均为几乎内自同构（半内自同构）：在无限域上的自由结合代数，以及在含单位元的R-模中的群表示。该方法利用保持结构的双射及导出代数运算，将自同构分类问题约化为环自同构与群自同构问题。

ABSTRACT

Given a variety of universal algebras. A method is suggested for describing automorphisms of a category of free algebras of this variety. Applying this general method all automorphisms of such categories are found in two cases: 1) for the variety of all free associative K-algebras over an infinite field K and 2) for the variety of all representations of groups in unital R-modules over a commutative associative ring R with unit. It turns out that they are almost inner in a sense.

研究动机与目标

• 开发一种通用方法，用于描述普遍代数范畴中自由代数范畴的自同构。
• 刻画在无限域K上的自由结合代数范畴的自同构。
• 描述在交换环R的含单位元模上的群表示范畴的自同构。
• 证明在这两种情形下，自同构均为半内自同构，即内自同构与由环/群自同构诱导的扭变的复合。
• 建立潜在内自同构通过扩张范畴变为完全内自同构的条件。

提出的方法

• 通过扩张范畴D引入潜在内自同构的概念，其中自同构源于D中内自同构限制到原范畴的结果。
• 使用一个单生成元x₀的单生成自由代数A₀，通过αₐ(x₀) = a建立元素a ∈ A与同态αₐ: A₀ → A之间的对应关系。
• 对于固定A₀的自同构Φ，定义一族双射sᴬ: A → A，其中sᴬ(a) = Φ(αₐ)(x₀)，将自同构与保持结构的映射联系起来。
• 证明Φ是潜在内自同构当且仅当Φ(A₀)同构于A₀，从而可约化为同构类问题。
• 在与A相同的集合上构造一个导出代数结构A*，其中运算为多项式（项定义），使得sᴬ: A → A*成为同构。
• 将此方法应用于具有足够多生成元的自由代数，证明导出结构A*可多项式定义，从而实现通过环自同构与群自同构进行分类。

实验结果

研究问题

• RQ1 在什么条件下，自由代数范畴的所有自同构均为潜在内自同构？
• RQ2 如何对无限域K上的自由结合代数的自同构进行完全分类？
• RQ3 群在R-模中的表示的自同构与环自同构及群自同构之间存在何种关系？
• RQ4 潜在内自同构何时实际为内自同构？哪些范畴的扩张D可实现此目标？
• RQ5 导出代数A*的结构能否以多项式运算明确描述？

主要发现

• 在无限域K上的自由结合代数范畴的所有自同构均为半内自同构，即内自同构与由环自同构诱导的标准扭变自同构的复合。
• 在含单位元的R-模中群表示的范畴中，将正则表示映射到同构表示的自同构为半内自同构，其扭变源于环自同构。
• 在无限域K上的自由结合代数范畴的自同构群同构于内自同构群与K的环自同构群的半直积。
• 在具有≥基数生成元的自由代数A上，导出结构A*为多项式定义，即所有运算均由原代数中的项给出。
• 镜像自同构（在群上定义为g ↦ g⁻¹，在模上定义为w ↦ w·g⁻¹）诱导出一个中心自同构，该自同构在扩张范畴中为内自同构。
• 最终分类表明，(Rep-R)⁰的每个自同构均为某个合适扩张范畴Θ中的Θ-内自同构，因此通过环自同构与内自同构实现半内自同构。