[论文解读] On centerless commutative automorphic loops

Gábor P. Nagy|arXiv (Cornell University)|Jan 15, 2015

Mathematics and Applications被引用 4

一句话总结

本文提出了一种在特征 2 的域上利用李代数构造幂为 2 且中心平凡的交换自同构环的新型方法。通过定义满足特定交换性与可逆性条件的双线性映射 β: H → End(K)，作者构造出非结合的、自同构的且中心平凡的环，证明了此类环的存在性，其结构超越了幂零或结合性结构。

ABSTRACT

In this short paper, we survey the results on commutative automorphic loops and give a new construction method. Using this method, we present new classes of commutative automorphic loops of exponent 2 with trivial center.

研究动机与目标

• 开发一种构造幂为 2 且中心平凡的交换自同构环的新方法。
• 利用李代数理论与核半直积构造方法研究此类环的结构性质。
• 解决特征 2 李代数中李代数条件 (W2, W2+, W2−) 等价性的开放问题。
• 通过域自同构与单射同态，提供非结合、中心平凡的幂为 2 的环的显式例子。
• 验证在 F2 上低维幂零李代数中不存在反例。

提出的方法

• 通过 x∘y = x + y − [x,y] 在李代数 (Q, +, [.,.]) 上定义环运算 ∘，并假设映射 y ↦ y±[x,y] 可逆（条件 W1）。
• 施加条件 (W2)：对所有 x,y,z ∈ Q，有 [[x,y],[z,y]] = 0，以确保环是自同构的（W2−）。
• 使用一族满足对称性、单位元与交换性条件的自同构 φi,j 进行核半直积构造。
• 定义 β: H → End(K)，使得 φi,j = (id + β(i+j))⁻¹ ∘ (id + β(i)) ∘ (id + β(j))，以保证结合性与自同构结构。
• 确保对所有 i ∈ H，id + β(i) 可逆，以满足可逆性条件 (W1) 并保证环的形成。
• 通过与核半直积的同构关系，验证所得环 (Q,*) 是交换的、自同构的、幂为 2 的，且中心平凡。

实验结果

研究问题

• RQ1 在特征 2 的李代数中，自同构环条件 (W2−) 是否蕴含李代数条件 (W2)？
• RQ2 在特征 2 的李代数中，条件 [[x,y],[z,y]] = 0 是否蕴含对所有 x,y,z,w 有 [[x,y],[z,w]] = 0？
• RQ3 能否系统地使用李代数方法构造非结合、中心平凡的交换自同构环（幂为 2）？
• RQ4 在 F2 上是否存在低维幂零李代数，其违反 (W2)、(W2+) 与 (W2−) 之间的蕴含关系？
• RQ5 对 β: H → End(K) 的何种条件可确保所得环的核与中心均为平凡？

主要发现

• 作者利用特征 2 域上的李代数，构造出一类新的幂为 2 且中心平凡的交换自同构环。
• 给出了显式例子：例 1 使用单射同态 δ: H → (K,+)，且 1 ∉ Im(δ)；例 2 使用域扩张 K ⊃ H 及 σ ∈ K∖H 定义 β(i)(a) = σia。
• 环 (Q,*) 同构于一个核半直积 (Q,⋆)，且当且仅当 β(i)β(j) = 0 时其中心为平凡。
• 在维数为 5 时，发现一个 F2 上的幂零李代数，其对应的环是交换的、自同构的、幂为 2 的，且中核指数为 4。
• 在 F2 上维数 ≤9 的幂零李代数中，未发现 (W2−) ⇒ (W2) 或 (W2) ⇒ (W2+) 蕴含关系的反例。
• 例 2 中构造的环是非结合的、中心平凡的，且不是核半直积，因其不具有核分裂性。