[论文解读] On unitality conditions for Hom-associative algebras

Yaël Frégier, Aron Gohr|ArXiv.org|Apr 30, 2009

Advanced Topics in Algebra参考文献 17被引用 28

一句话总结

本文研究了同态结合代数中的单位元条件，区分了经典单位元性与一种较弱的形式——弱单位元性。证明了具有双射扭曲映射的弱单位元同态结合代数是通过广义Yau构造得到的结合代数的扭曲版本，从而在特定条件下建立了此类同态代数与标准结合代数之间的结构等价性。

ABSTRACT

In hom-associative structures, the associativity condition $(xy)z=x(yz)$ is twisted to $α(x)(yz) = (xy)α(z)$, with $α$ a map in the appropriate category. In the present paper, we consider two different unitality conditions for hom-associative algebras. The first one, existence of a unit in the classical sense, is stronger than the second one, which we call weak unitality. We show associativity conditions connected to the size of the image of the twisting map for unital hom-associative algebras. Also the problem of embedding arbitrary hom-associative algebras into unital or weakly unital ones is investigated. Finally, we show that weakly unital hom-associative algebras with bijective twisting map are twisted versions of associative algebras.

研究动机与目标

• 澄清并比较同态结合代数中的两种单位元条件：经典单位元性与弱单位元性。
• 研究任意同态结合代数是否可以嵌入到弱单位元同态代数中。
• 刻画当扭曲映射为双射时，弱单位元同态结合代数的结构。
• 在广义扭曲过程中，建立弱单位元同态结合代数与结合代数之间的对应关系。

提出的方法

• 引入并分析两种单位元条件：经典单位元性（存在双侧单位元）与弱单位元性（单位元在扭曲下仅满足单侧作用）。
• 利用由同态结合性与单位元条件导出的代数恒等式，探讨扭曲映射像中的结合性准则。
• 通过使用扭曲映射的逆，反向应用Yau扭曲过程，从弱单位元同态代数重构一个结合代数。
• 采用包含Prover9和Mace4的证明系统验证关键引理，特别是引理2.4，该引理将扭曲乘法与结合性联系起来。
• 通过原始乘法⋆与扭曲映射α，导出双线性乘法·，定义为x·y = β(x⋆y)，其中β = α⁻¹。
• 证明在弱单位元性与α的双射性条件下，新乘法·生成一个结合且含单位元的代数。

实验结果

研究问题

• RQ1 每个同态结合代数是否都能嵌入到弱单位元同态结合代数中？
• RQ2 在单位元同态结合代数中，扭曲映射像内成立的结合性条件是什么？
• RQ3 在何种条件下，一个单位元但非结合的代数会通过扭曲映射变为同态结合代数？
• RQ4 弱单位元性与同态结合代数中的经典单位元性有何关系？
• RQ5 具有双射扭曲映射的弱单位元同态结合代数能否被重构为结合代数的扭曲版本？

主要发现

• 具有双射扭曲映射的弱单位元同态结合代数在广义Yau扭曲过程中同构于结合代数。
• 扭曲映射的逆β = α⁻¹允许构造一个双线性乘法·，使得(A, ·, c)构成一个单位元结合代数。
• 原始同态结合乘法⋆通过x⋆y = α(x·y)被恢复，表明该同态代数是结合代数的扭曲版本。
• 引理2.4表明β满足恒等式x·β(y·z) = β(x·y)·z，这是证明·结合性的关键。
• 本文表明，并非所有同态结合代数都能嵌入到弱单位元代数中，该问题的答案是否定的。
• 研究表明，经典单位元性严格强于弱单位元性，且单位元在单位元同态代数中扮演双重角色，该角色可被解耦。