[论文解读] Automorphisms of the semigroup of all endomorphisms of free algebras

Grigori Zhitomirski|ArXiv.org|Oct 11, 2005

Geometric and Algebraic Topology参考文献 10被引用 7

一句话总结

本文提出了一种通用方法，用于描述任意普遍代数种类中有限生成自由代数的自同态半群的自同构群。通过将自同构表征为拟内自同构（即通过代数上的双射进行共轭），该方法统一并简化了群、逆半群、李代数和模等已知结果，表明所有此类自同构均为内自同构或半内自同构，具体取决于种类的结构。

ABSTRACT

Last years a number of papers were devoted to describing automorphisms of semigroups of endomorphisms of free finitely generated universal algebras of some varieties: groups, semigroups, associative commutative algebras, inverse semigroups, modules, Lie algebras and some others. All these researches were inspired by the questions prof. B. Plotkin set in connection with so called universal algebraic geometry (see for example Arxiv:math, GM/0204245). The aim of this paper is to suggest a method of describing the group AutEnd(F) for a free finitely generated algebra F of an arbitrary variety of universal algebras. This method allows to obtain easily all known results as well as new ones.

研究动机与目标

• 开发一个通用框架，用于描述任意普遍代数种类中有限生成自由代数 $F$ 的自同态半群 $\mathrm{End}(F)$ 的自同构群 $\mathrm{Aut}\,\mathrm{End}(F)$。
• 统一并简化针对特定种类（如群、逆半群、李代数和模）的 $\mathrm{End}(F)$ 自同构的已有结果。
• 表征 $\mathrm{End}(F)$ 的自同构何时为拟内自同构，即通过 $F$ 上的双射 $s$ 进行共轭：$\Phi(\nu) = s \circ \nu \circ s^{-1}$。
• 确定此类自同构为内自同构或半内自同构的充分必要条件，具体取决于 $F$ 的代数结构。
• 将该方法应用于恢复已知结果并推导各类种类（包括自由李代数和环上模）的新结果。

提出的方法

• 将拟内自同构定义为通过 $F$ 的底集上的双射 $s$ 进行共轭，推广标准的内自同构概念。
• 利用 $\mathrm{Aut}(F)$ 的子群与 $\mathrm{End}(F)$ 中左理想之间的伽罗瓦对应，表征保持结构不变量的自同构。
• 引入基矩阵以分析自同构在自同态上的作用，并推导出拟内行为的条件。
• 通过双射 $s$ 在 $F$ 上构造一个导出代数结构，表明 $s$ 在 $F$ 上诱导了一个同构的运算系统。
• 分析由 $s$ 诱导的多项式运算，证明原始运算与导出运算一致，从而确保自同构的一致性。
• 通过验证 $s$ 是否保持恒等元、逆元或标量作用等条件，将方法应用于特定种类，以分类自同构为内自同构或半内自同构。

实验结果

研究问题

• RQ1 何种条件可确保 $\mathrm{End}(F)$ 的自同构 $\Phi$ 为拟内自同构，即通过 $F$ 上的双射 $s$ 进行共轭？
• RQ2 在哪些自由代数种类中，$\mathrm{End}(F)$ 的所有自同构均为内自同构或半内自同构？
• RQ3 如何通过一种通用方法统一并简化对群、李代数和模等多样化种类中 $\mathrm{Aut}\,\mathrm{End}(F)$ 的描述？
• RQ4 基域或基环的自同构在决定模和李代数的 $\mathrm{Aut}\,\mathrm{End}(F)$ 结构中起何种作用？
• RQ5 在何种条件下，$F$ 上的双射 $s$ 会诱导一个同构的代数结构，且这与自同构为拟内自同构的关系如何？

主要发现

• 对于具有多于一个生成元的自由逆半群 $F$，其 $\mathrm{End}(F)$ 的所有自同构均为内自同构，该结论通过对偶半群与中心对合得到证明。
• 对于具有多于一个自由生成元的自由群 $F$，其 $\mathrm{End}(F)$ 的每个自同构均为内自同构，这是由于导出二元运算形式的约束所致。
• 对于无限域 $K$ 上的自由李代数 $F$，其 $\mathrm{End}(F)$ 的每个自同构均为半内自同构，由一个扭曲自同构 $\sigma$ 诱导，满足 $\sigma(kw) = \varphi(k)\sigma(w)$，其中 $k \in K$，$w \in F$，且 $\varphi$ 为域自同构。
• 对于满足某些条件的环 $R$ 上的自由模 $M$，其 $\mathrm{End}(M)$ 的每个自同构均为半内自同构，由 $M$ 的扭曲自同构诱导。
• 该方法在统一框架下恢复并简化了群、逆半群、李代数和模的已知结果。
• 该方法表明，拟内自同构对应于原始代数结构与由双射 $s$ 诱导的导出代数结构之间的同构。