[论文解读] Loops of Bol-Moufang type with a subgroup of index two

Michael Kinyon, J. D. Phillips+1 more|ArXiv.org|Jun 5, 2005

Mathematics and Applications参考文献 5被引用 14

一句话总结

本文分类了所有推广Chein对Moufang环的构造方法的Bol-Moufang型环的构造，使用一个带有对合*的群G及其中心元素g₀。它识别出在每类Bol-Moufang型环中，由二面体类群Θ₀的元素参数化的所有有效乘法规则组合，证明了每种类别的唯一性与完备性，包括RC-环、右核平方环等，对每种情况均给出了G与*的显式条件。

ABSTRACT

We describe all constructions for loops of Bol-Moufang type analogous to the Chein construction $M(G,*,g_0)$ for Moufang loops.

研究动机与目标

• 将Chein利用群G、对合*及中心元素g₀构造Moufang环的方法，推广至所有Bol-Moufang型环类别。
• 确定当G具有二阶子群时，所有可能的乘法规则（由Θ₀参数化）在每类Bol-Moufang型环中生成环的条件。
• 证明对每类环结构，所得构造是完备且唯一的，推广了已知的Moufang环与Bol环结果。
• 为识别所有14类Bol-Moufang环中的有效构造，提供系统化且可计算的框架。
• 恢复并验证已知构造（如RC-环与RIF环），并通过符号计算识别新构造。

提出的方法

• 在G ∪ Gu上定义一族拟群Q(G, *, g₀, α, β, γ, δ)，其中G为群，*为对合反自同构，g₀ ∈ Z(G)且满足g₀* = g₀。
• 利用由二面体群Θ（作用于G×G）与平移θg₀生成的群Θ₀，通过α, β, γ, δ ∈ Θ₀参数化乘法规则。
• 证明所有此类Q(G, *, g₀, α, β, γ, δ)均为拟群，并确定其成为环的条件。
• 通过符号代数计算搜索，测试所有14类Bol-Moufang型环的结合性与环恒等式。
• 使用约化技术消除冗余或等价构造，仅保留标准形式。
• 验证所有有效构造生成环当且仅当G、*与g₀满足特定代数条件，包括在某些情况下G/Z(G)为初等阿贝尔2-群。

实验结果

研究问题

• RQ1 哪些乘法规则组合（由Θ₀中的α, β, γ, δ参数化）在每类Bol-Moufang型环中生成环？
• RQ2 Chein对Moufang环的构造是否为唯一可能的此类构造？该唯一性能否推广至其他环类？
• RQ3 G、*与g₀需满足何种必要且充分条件，才能使所得结构为每类Bol-Moufang型环？
• RQ4 验证不同Bol-Moufang型环类中环恒等式的计算复杂度如何变化？
• RQ5 该算法框架能否恢复已知构造（如RC-环或RIF环）并识别新构造？

主要发现

• 构造Q(G, *, g₀, α, β, γ, δ)成为环当且仅当参数α, β, γ, δ与群G满足特定条件，且对所有14类Bol-Moufang环均提供了完整分类。
• 对于Moufang环，该构造唯一且等价于Chein的原始构造，证实了该类的完备性与唯一性。
• 对于RC-环，该构造生成环当且仅当(β, γ, δ)属于24个特定元组之一，或G/Z(G)为初等阿贝尔2-群并满足附加约束。
• 对于右核平方环，该构造生成环当且仅当(β, γ, δ)属于24个特定元组之一，或G/Z(G)为初等阿贝尔2-群并满足对对合的进一步条件。
• 该算法成功恢复了已知构造（如de Barros与Júliaos的RIF环构造），并识别出新构造，包括RIF环中涉及恒等式xyzxy = yxzyx的非平凡条件。
• 所有构造出的环均具有双边逆元，其证明基于G中逆元与反自同构运算的交换性。