[논문 리뷰] Holomorphic Structure of Middle Bol Loops

Tèmítọ́pẹ́ Gbọ́láhàn Jaíyéọlá, Sunday Peter David외 2명|arXiv (Cornell University)|2018. 01. 02.

Mathematics and Applications인용 수 5

한 줄 요약

이 논문은 중간 볼 순환의 헬로모르 구조를 조사하여, 가환성 중간 볼 순환의 헬로모르가 가환성이 되기 위한 필요충분조건으로, 그 자동형군이 아벨이면서 동시에 중간 정규 사상과 오른쪽 곱셈군의 부분군임을 규명한다. 주요 결과로는, 중간 볼 순환과 그에 대응하는 오른쪽 또는 왼쪽 볼 순환 간의 이소스토프리에 대한 헬로모르 불변성에 있어 가환성과 융통성은 필수적이고 충분한 조건이며, 자동형 항등식과 군론적 제약 조건을 통해 병합 헬로모르와 표준 헬로모르의 등가 조건을 정확히 유도한다.

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.

연구 동기 및 목표

• 중간 볼 순환의 헬로모르 구조와 오른쪽 및 왼쪽 볼 순환과의 이소스토프리 변환에 대한 불변성 탐구.
• 가환 중간 볼 순환의 헬로모르가 가환성이 되기 위한 필요충분조건 규명.
• 중간 볼 순환과 그에 대응하는 볼 순환의 오른쪽 또는 왼쪽 병합 헬로모르가 표준 헬로모르와 같아지는 조건 규명.
• 병합 헬로모르와 표준 헬로모르 간의 구조적 동치를 보장하는 자동형 항등식 수립.

제안 방법

• Gvaramiya(1971)의 결과에 기반하여 중간 볼 순환과 오른쪽/왼쪽 볼 순환 간의 이소스토프리 관계를 활용하며, 모든 중간 볼 순환은 특정 연산 x ◦ y = (y · x y⁻¹) y 를 통해 오른쪽 또는 왼쪽 볼 순환로부터 유도됨을 제시한다.
• 순환의 헬로모르를 자동형군과 순환 자체의 반직접곱으로 정의하며, 곱셈 법칙은 (α, x) ⊙ (β, y) = (αβ, xβ · y) 로 표현된다.
• 오른쪽 병합 헬로모르를 자동형군과 순환의 곱집합 위에서 정의하며, 코너지션과 군 작용을 통해 정의된 이항 연산: (α, x)(∗,·)(β, y) = {(β, y) ⊙ [(α, x) ⊙ (β, y)⁻¹]} ⊙ (β, y).
• 다른 코너지션 구조를 사용하여 왼쪽 병합 헬로모르를 정의한다: (α, x)[∗,·](β, y) = (β, y) ⊙ {[(β, y)⁻¹ ⊙ (α, x)] ⊙ (β, y)}.
• 좌우 이동 사상(Lx, Ry), 그 역원, 자동형을 포함한 군론적 항등식을 적용하여 병합 헬로모르와 표준 헬로모르 간의 등가 조건을 도출한다.
• 왼쪽 볼 순환으로부터 유도된 중간 볼 순환에 대해 x ∗ y = y(y⁻¹x · y) 라는 항등식을, 오른쪽 볼 순환으로부터 유도된 경우 x ∗ y = (y · x y⁻¹) y 라는 항등식을 사용하여 이소스토프리 구조 간의 연산을 연결한다.

실험 결과

연구 질문

• RQ1 가환 중간 볼 순환의 헬로모르가 가환성이 되기 위한 조건은 무엇인가?
• RQ2 중간 볼 순환과 그에 대응하는 오른쪽 볼 순환의 오른쪽 병합 헬로모르가 중간 볼 순환의 헬로모르와 같아지는 조건은 무엇인가?
• RQ3 중간 볼 순환과 그에 대응하는 왼쪽 볼 순환의 왼쪽 병합 헬로모르가 중간 볼 순환의 헬로모르와 같아지는 조건은 무엇인가?
• RQ4 어떤 자동형 항등식이 중간 볼 순환과 그에 대응하는 오른쪽 또는 왼쪽 볼 순환 간의 이소스토프리에 대한 헬로모르 불변성을 보장하는가?

주요 결과

• 가환 중간 볼 순환의 헬로모르가 가환성이 되기 위한 필요충분조건은 자동형군이 아벨이면서 동시에 중간 정규 사상군과 오른쪽 곱셈군의 부분군이 되는 것이다.
• 중간 볼 순환과 그에 대응하는 오른쪽(또는 왼쪽) 볼 순환 간의 이소스토프리에 대한 헬로모르 불변성에 있어 가환성은 필수적이고 충분한 조건이다.
• 중간 볼 순환과 그에 대응하는 오른쪽 볼 순환의 오른쪽 병합 헬로모르가 중간 볼 순환의 헬로모르와 같아지기 위한 필요충분조건은 자동형군이 아벨이면서 동시에 중간 볼 순환의 곱셈군의 부분군이 되는 것이다.
• 중간 볼 순환의 왼쪽 병합 헬로모르가 표준 헬로모르와 같아지기 위한 필요충분조건은 모든 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 라는 항등식과 동치이다.
• 원래의 왼쪽 볼 순환이 융통성 있는 것은 왼쪽 볼 순환의 헬로모르가 대응하는 중간 볼 순환의 헬로모르와 동형임을 보장하는 필수적이고 충분한 조건이다.
• 중간 볼 순환의 자동형군이 아벨이 되기 위한 필요충분조건은 순환이 가환성이면서 항등식 x(yz\x) = (x/z)(y\x) 를 만족하는 것이다.