[论文解读] Associative algebras satisfying a semigroup identity

David M. Riley, Mark C. Wilson|ArXiv.org|Feb 6, 1998

Advanced Topics in Algebra参考文献 5被引用 4

一句话总结

本文建立了在无限域上，满足某种半群恒等式的结合代数（在圆运算 $x*y = x + y + xy$ 下），其乘法半群满足约化恒等式，且其关联李代数满足 Engel 条件之间的等价性。对于有限生成代数，所有这些条件均等价于上李幂零性，从而为无限域上结合代数中的半群恒等式提供了李理论刻画。

ABSTRACT

Denote by (R,.) the multiplicative semigroup of an associative algebra R over an infinite field, and let (R,*) represent R when viewed as a semigroup via the circle operation x*y=x+y+xy. In this paper we characterize the existence of an identity in these semigroups in terms of the Lie structure of R. Namely, we prove that the following conditions on R are equivalent: the semigroup (R,*) satisfies an identity; the semigroup (R,.) satisfies a reduced identity; and, the associated Lie algebra of R satisfies the Engel condition. When R is finitely generated these conditions are each equivalent to R being upper Lie nilpotent.

研究动机与目标

• 刻画在无限域上，满足圆运算 $x*y = x + y + xy$ 下的半群恒等式的结合代数。
• 将半群恒等式条件与代数的李代数结构联系起来。
• 建立半群恒等式、乘法半群中的约化恒等式与关联李代数中 Engel 条件之间的等价性。
• 证明对于有限生成代数，所有这些条件均等价于上李幂零性。

提出的方法

• 在结合代数 $R$ 上定义圆运算 $x*y = x + y + xy$，构造新半群 $(R,*)$。
• 分析半群 $(R,*)$ 的多项式恒等式，特别关注约化恒等式。
• 运用李代数技巧，将 $(R,*)$ 中的恒等式与 $R$ 的李括积结构（特别是 Engel 条件）联系起来。
• 建立 $(R,*)$ 中的半群恒等式、$(R,.)$ 中的约化恒等式与 $R$ 的李代数中 Engel 条件之间的等价性。
• 应用李理论与非交换环论的结果，刻画满足这些恒等式的 $R$ 的结构。
• 证明对于有限生成的 $R$，这三个条件等价于 $R$ 是上李幂零的。

实验结果

研究问题

• RQ1 在什么条件下，由 $x*y = x + y + xy$ 定义的半群 $(R,*)$ 满足多项式恒等式？
• RQ2 $(R,*)$ 中的半群恒等式如何与 $R$ 的李代数结构相关联？
• RQ3 乘法半群 $(R,.)$ 中的约化恒等式与 $R$ 的李理论性质之间有何联系？
• RQ4 何时 $R$ 的李代数上的 Engel 条件等价于 $(R,*)$ 中存在半群恒等式？
• RQ5 对于有限生成的结合代数，何时半群恒等式蕴含上李幂零性？

主要发现

• 半群 $(R,*)$ 满足多项式恒等式当且仅当乘法半群 $(R,.)$ 满足约化恒等式。
• 半群 $(R,*)$ 满足恒等式当且仅当其关联李代数满足 Engel 条件。
• 对于无限域上有限生成的结合代数，三个条件——$(R,*)$ 中的恒等式、$(R,.)$ 中的约化恒等式、李代数中的 Engel 条件——彼此等价。
• 在有限生成情形下，这些条件也等价于 $R$ 是上李幂零的。
• 本文为结合代数中的半群恒等式提供了李理论刻画，将非交换环论与李代数结构联系起来。
• 这些结果特指在无限域上成立，等价性依赖于圆运算的代数性质及底层李代数的结构。