[论文解读] Holomorphic Structure of Middle Bol Loops

Tèmítọ́pẹ́ Gbọ́láhàn Jaíyéọlá, Sunday Peter David+2 more|arXiv (Cornell University)|Jan 2, 2018

Mathematics and Applications被引用 5

一句话总结

本文研究了中间 Bol 交换环的全纯结构，证明了中间 Bol 交换环的全纯结构是交换的，当且仅当其自同构群是阿贝尔群，且是中间正则映射群与右乘群的子群。关键结果表明，交换性与柔韧性的存在是中间 Bol 环与其对应的右或左 Bol 环之间在同构变换下全纯不变性的充要条件，通过自同构恒等式与群论约束，推导出组合全纯结构与标准全纯结构相等的精确条件。

ABSTRACT

A loop $(Q,\cdot,\backslash,/)$ is called a middle Bol loop if it obeys the identity $x(yz\backslash x)=(x/z)(y\backslash x)$. To every right (left) Bol loop corresponds a middle Bol loop via an isostrophism. In this paper, the structure of the holomorph of a middle Bol loop is explored. For some special types of automorphisms, the holomorph of a commutative loop is shown to be a commutative middle Bol loop if and only if the loop is a middle Bol loop and its automorphism group is abelian and a subgroup of both the group of middle regular mappings and the right multiplication group. It was found that commutativity (flexibility) is a necessary and sufficient condition for holomorphic invariance under the existing isostrophy between middle Bol loops and the corresponding right (left) Bol loops. The right combined holomorph of a middle Bol loop and its corresponding right (left) Bol loop was shown to be equal to the holomorph of the middle Bol loop if and only if the automorphism group is abelian and a subgroup of the multiplication group of the middle Bol loop. The obedience of an identity dependent on automorphisms was found to be a necessary and sufficient condition the left combined holomorph of a middle Bol loop and its corresponding left Bol loop to be equal to the holomorph of the middle Bol loop.

研究动机与目标

• 探讨中间 Bol 环的全纯结构及其在与右、左 Bol 环的同构变换下的不变性。
• 确定中间 Bol 交换环的全 holomorph 保持交换性的必要与充分条件。
• 刻画中间 Bol 环与其对应 Bol 环的右或左组合全 holomorph 等于中间 Bol 环的标准全 holomorph 的条件。
• 建立确保组合全 holomorph 与标准全 holomorph 结构等价的自同构恒等式。

提出的方法

• 基于 Gvaramiya 于 1971 年的结果，利用中间 Bol 环与右/左 Bol 环之间的同构关系，即每个中间 Bol 环均可通过特定运算 x ◦ y = (y · x y⁻¹) y 从右或左 Bol 环导出。
• 将环的全 holomorph 定义为自同构群与环自身的半直积，其乘法规则为 (α, x) ⊙ (β, y) = (αβ, xβ · y)。
• 引入右组合全 holomorph，定义为自同构群与环的乘积上的二元运算，通过共轭与群作用定义：(α, x)(∗,·)(β, y) = {(β, y) ⊙ [(α, x) ⊙ (β, y)⁻¹]} ⊙ (β, y)。
• 通过不同的共轭结构引入左组合全 holomorph：(α, x)[∗,·](β, y) = (β, y) ⊙ {[(β, y)⁻¹ ⊙ (α, x)] ⊙ (β, y)}。
• 应用涉及左、右平移映射 (Lx, Ry)、其逆元及自同构的群论恒等式，推导出组合全 holomorph 与标准全 holomorph 相等的条件。
• 利用中间 Bol 环（源自左 Bol 环）的恒等式 x ∗ y = y(y⁻¹x · y) 与源自右 Bol 环的恒等式 x ∗ y = (y · x y⁻¹) y，建立同构结构间运算的关联。

实验结果

研究问题

• RQ1 在何种条件下，中间 Bol 交换环的全 holomorph 本身是交换的？
• RQ2 在何种条件下，中间 Bol 环与其对应右 Bol 环的右组合全 holomorph 等于中间 Bol 环的全 holomorph？
• RQ3 在何种条件下，中间 Bol 环与其对应左 Bol 环的左组合全 holomorph 等于中间 Bol 环的全 holomorph？
• RQ4 哪些自同构恒等式可确保中间 Bol 环与其对应右或左 Bol 环之间在同构变换下的全纯不变性？

主要发现

• 中间 Bol 交换环的全 holomorph 是交换的，当且仅当其自同构群是阿贝尔群，且是中间正则映射群与右乘群的子群。
• 交换性是中间 Bol 环与其对应右（或左）Bol 环之间在同构变换下全纯不变性的必要且充分条件。
• 中间 Bol 环与其对应右 Bol 环的右组合全 holomorph 等于中间 Bol 环的全 holomorph，当且仅当其自同构群是阿贝尔群，且是中间 Bol 环乘法群的子群。
• 左组合全 holomorph 等于中间 Bol 环的全 holomorph，当且仅当对所有 y ∈ Q, z ∈ Q 和 φ ∈ A(Q, ·)，恒等式 L⁻¹_y R_y L_y = L⁻¹_yφ R_y L_yφ 成立，该式等价于对所有 y, z ∈ Q 和 φ ∈ A(Q, ·)，有 y⁻¹φ · y(zy) = (yz · y⁻¹φ)y。
• 原始左 Bol 环的柔韧性是其全 holomorph 同构于对应中间 Bol 环全 holomorph 的必要且充分条件。
• 中间 Bol 环的自同构群是阿贝尔群，当且仅当该环是交换的，且满足恒等式 x(yz\x) = (x/z)(y\x)。