[论文解读] Holomorph of generalized Bol loops

John Olushola Adéníran, Tèmítọ́pẹ́ Gbọ́láhàn Jaíyéọlá+1 more|arXiv (Cornell University)|Jan 17, 2015

Mathematics and Applications被引用 5

一句话总结

本文通过在holomorph上使用自映射，建立了当且仅当其holomorph是广义Bol环（或广义拟Bol环）时，一个环是广义Bol环（或广义拟Bol环）的条件。它通过伪自同构刻画了Bryant-Schneider群，并从这些元素导出的自同构构造了holomorph，将结构理论扩展至广义环类。

ABSTRACT

The notion of the holomorph of a generalized Bol loop and generalized flexible-Bol loop are characterized. With the aid of two self-mappings on the holomorph of a loop, it is shown that: the loop is a generalized Bol loop if and only if its holomorph is a generalized Bol loop; the loop is a generalized flexible-Bol loop if and only if its holomorph is a generalized flexible-Bol loop. Furthermore, elements of the Bryant Schneider group of a generalized Bol loop are characterized in terms of pseudo-automorphism, and the automorphisms gotten are used to build the holomorph of the generalized Bol loop.

研究动机与目标

• 刻画广义Bol环的holomorph，并将holomorph结构理论推广至拟Bol环。
• 建立holomorph继承广义Bol或拟Bol环性质的必要且充分条件。
• 以伪自同构为工具，刻画广义Bol环的Bryant-Schneider群中的元素。
• 利用来自Bryant-Schneider群的自同构显式构造广义Bol环的holomorph。
• 通过holomorph上的对偶映射和自映射，将环holomorph理论扩展至广义环类。

提出的方法

• 将环的holomorph定义为自同构群与环在自映射σ下的半直积。
• 引入holomorph上的自映射以分析封闭性与环性质的保持。
• 使用对偶映射（T1, T2, T3）关联Bryant-Schneider群中自同构与伪自同构的关系。
• 应用自同态理论与恒等式 (xy·z)σ(y) = x(yz·σ(y))，以定义广义Bol环。
• 通过T3 ≤ AUM(Q,·)中的自同构构造T3-holomorph，并在H = T3 × Q上定义σ′。
• 证明在特定自映射条件下，holomorph能保持广义Bol或拟Bol环的性质。

实验结果

研究问题

• RQ1 在何种条件下，广义Bol环的holomorph本身也是广义Bol环？
• RQ2 广义拟Bol环的holomorph在何种情况下仍保持为广义拟Bol环？
• RQ3 如何利用伪自同构刻画广义Bol环的Bryant-Schneider群中的元素？
• RQ4 能否从Bryant-Schneider群导出的自同构显式构造广义Bol环的holomorph？
• RQ5 对偶映射（T1, T2, T3）在holomorph构造中对保持环恒等式的角色是什么？

主要发现

• 在给定的自映射条件下，一个环是广义Bol环当且仅当其holomorph是广义Bol环。
• 一个环是广义拟Bol环当且仅当其holomorph是广义拟Bol环，该结论通过T3-holomorph构造建立。
• 广义Bol环的Bryant-Schneider群元素可表征为在特定自同构映射下保持环恒等式的伪自同构。
• 当(Q,·)是α⁻¹σγ⁻¹-广义Bol环且σ(x) = (xg⁻¹)⁻¹时，环(Q,·)的T3-holomorph是σ′-广义Bol环。
• 当σ′定义为(α, [αγ(x)(α(g))⁻¹])⁻¹时，通过T3 ≤ AUM(Q,·)构造的holomorph (H,∘)保持广义拟Bol环性质。
• holomorph的构造依赖于对偶映射与自同态的存在，确保holomorph中具有封闭性与群结构。