[论文解读] New Identities In Universal Osborn Loops

Tèmítọ́pẹ́ Gbọ́láhàn Jaíyéọlá, J. O. Adéníran|ArXiv.org|May 13, 2009

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

一句话总结

本文通过建立两个新恒等式，解决了循环理论中的一个关键开放问题，这些恒等式表征了普遍、左普遍和右普遍的奥斯伯恩循环。本文引入了经典循环性质的弱化形式——如广义逆、幂结合性与双结合性——并证明了这些性质在CC-循环和共轭封闭循环中是幂结合性的必要且充分条件，显著推进了普遍奥斯伯恩循环的代数结构研究，包括穆夫冈循环和VD-循环。

ABSTRACT

A question associated with the 2005 open problem of Michael Kinyon (Is every Osborn loop universal?), is answered. Two nice identities that characterize universal (left and right universal) Osborn loops are established. Numerous new identities are established for universal (left and right universal) Osborn loops like CC-loops, VD-loops and universal weak inverse property loops. Particularly, Moufang loops are discovered to obey the new identity $[y(x^{-1}u)\cdot u^{-1}](xu)=[y(xu)\cdot u^{-1}](x^{-1}u)$ surprisingly. For the first time, new loop properties that are weaker forms of well known loop properties like inverse property, power associativity and diassociativity are introduced and studied in universal (left and right universal) Osborn loops. Some of them are found to be necessary and sufficient conditions for a universal Osborn to be 3 power associative. For instance, four of them are found to be new necessary and sufficient conditions for a CC-loop to be power associative. A conjugacy closed loop is shown to be diassociative if and only if it is power associative and has a weak form of diassociativity.

研究动机与目标

• 解决迈克尔·基尼翁2005年提出的开放问题：每个奥斯伯恩循环是否都是普遍的。
• 识别并建立表征普遍、左普遍与右普遍奥斯伯恩循环的新恒等式。
• 在普遍奥斯伯恩循环中引入并研究经典循环性质的弱化形式——如逆性质、幂结合性与双结合性。
• 确定普遍奥斯伯恩循环实现幂结合性的必要与充分条件，特别是在CC-循环与共轭封闭循环中。
• 通过发现它们满足的新恒等式，扩展对穆夫冈、CC与VD-循环的代数理解。

提出的方法

• 利用奥斯伯恩恒等式及其变体（特别是OSI₀₁、OSI₀₁.₈）及其左右对应形式，推导并验证新的循环恒等式。
• 应用主同构理论与自同构群分析循环类的同构不变性与普遍性。
• 通过逆元、左/右平移与循环运算的代数运算与符号恒等式推导新恒等式。
• 借助基尼翁、库嫩、德拉萨普与菲利普斯关于CC-循环与PACC-循环的已知结果，精炼并扩展新恒等式。
• 利用RSIP（右S-恒等性质）与SFAIPL/SWIPL条件，推导循环性质之间的等价关系。
• 利用双射的对称群（SYM(G,·)）与自同构群（AUT(G,·)）分析同构下的结构不变性。

实验结果

研究问题

• RQ1 是否存在能完全表征普遍、左普遍与右普遍奥斯伯恩循环的新恒等式？
• RQ2 在普遍奥斯伯恩循环中，能否定义并研究经典循环性质（如逆性质、幂结合性）的弱化形式？
• RQ3 共轭封闭循环在何种条件下是双结合的？这与幂结合性有何关联？
• RQ4 穆夫冈循环满足哪些此前未知的新恒等式？它们与奥斯伯恩循环恒等式有何关系？
• RQ5 能否在CC-循环与普遍奥斯伯恩循环中建立关于幂结合性的新必要与充分条件？

主要发现

• 两个新恒等式——OSI₀₁及其变体——表征了普遍、左普遍与右普遍奥斯伯恩循环，包括穆夫冈、CC与VD-循环。
• 穆夫冈循环满足新恒等式 $[y(x^{-1}u)· u^{-1}](xu)=[y(xu)· u^{-1}](x^{-1}u)$，这一结果出人意料且此前未知。
• 引入了四个新的弱化循环性质，并证明其为CC-循环实现幂结合性的必要且充分条件。
• 一个共轭封闭循环是双结合的，当且仅当它是幂结合的，并满足双结合性的弱化形式。
• 对于右普遍奥斯伯恩循环，恒等式 $u\cdot u[u\backslash u^{\rho}\cdot u^{\rho}]=u^{\rho}$ 表征了SFAIPLs，且在RSIP下有 $|J_{\rho}|=6$。
• 恒等式 $u^\rho u = uu^\lambda$ 与 $u\cdot u^\lambda u^\rho = u^\rho$ 等价，建立了右普遍奥斯伯恩循环中新的结构等价关系。