[논문 리뷰] New Identities In Universal Osborn Loops

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

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₀₁.₈ 및 그 오른쪽과 왼쪽 대응 항등식을 사용하여 새로운 루프 항등식을 유도하고 검증하기 위해.
• 주요 동치 이론과 자동치군을 활용하여 이sov형 불변성과 루프 다양체에서의 보편성 분석하기 위해.
• 역원, 좌/우측 이동, 루프 연산을 포함한 대수적 변형과 기호 항등식을 사용하여 새로운 항등식 유도하기 위해.
• Kinyon, Kunen, Drapal, Phillips의 CC-루프와 PACC-루프에 관한 기존 결과를 활용하여 새로운 항등식을 정밀화하고 확장하기 위해.
• RSIP(오른쪽 S-항등식 성질)와 SFAIPL/SWIPL 조건을 활용하여 루프 성질 간의 동치성 유도하기 위해.
• 일대일 대응의 대칭군(SYM(G,·))과 자동치군(AUT(G,·))을 사용하여 이sov에 대한 구조적 불변성 분석하기 위해.

실험 결과

연구 질문

• 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}$는 SFAIPL을 특징짓고, RSIP 조건 하에 $|J_{\rho}|=6$가 성립한다.
• 항등식 $u^\rho u = uu^\lambda$는 $u\cdot u^\lambda u^\rho = u^\rho$와 동치이며, 이는 우측 보편적 오스본 루프에서 새로운 구조적 동치를 확립한다.