[논문 리뷰] Holomorph of generalized Bol loops

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

Mathematics and Applications인용 수 5

한 줄 요약

이 논문은 자기 사상(self-mapping)을 사용하여, 순환군이 일반화된 볼 순환군(generalized Bol loop)이거나 일반화된 유연한-볼 순환군(generalized flexible-Bol loop)임과 동시에 그의 홀로모르(holomorph)가 일반화된 볼 순환군이거나 일반화된 유연한-볼 순환군임을 동시에 만족함을 증명한다. Bryant-Schneider 군은 의사자기동형사상(pseudo-automorphisms)을 통해 특성화되고, 이러한 원소들로부터 유도된 자동형사상(automorphisms)을 이용해 홀로모르를 구성하며, 일반화된 순환군의 구조 이론을 확장한다.

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.

연구 동기 및 목표

• 일반화된 볼 순환군의 홀로모르를 특성화하고, 이를 유연한-볼 순환군으로 일반화한다.
• 홀로모르가 일반화된 볼 또는 유연한-볼 순환군 성질을 갖기 위한 필요 및 충분 조건을 설정한다.
• 일반화된 볼 순환군의 Bryant-Schneider 군 원소들을 의사자기동형사상의 관점에서 특성화한다.
• Bryant-Schneider 군에서 유도된 자동형사상들을 이용해 일반화된 볼 순환군의 홀로모르를 구성한다.
• 쌍둥이 사상(twin mappings)과 홀로모르 위의 자기 사상(self-maps)을 사용하여 순환군 홀로모르 이론을 일반화된 순환군 유형으로 확장한다.

제안 방법

• 홀로모르를 자동형사상 군과 순환군의 반직곱(semidirect product)으로 정의하고, 자기 사상 σ에 의해 정의한다.
• 홀로모르 위의 자기 사상(self-mappings)을 도입하여 닫힘성과 순환군 성질의 유지 여부를 분석한다.
• Bryant-Schneider 군 내 자동형사상과 의사자기동형사상 사이의 관계를 설명하기 위해 쌍둥이 사상(T1, T2, T3) 개념을 도입한다.
• 자기동형사상 이론과 항등식 (xy·z)σ(y) = x(yz·σ(y))를 적용하여 일반화된 볼 순환군을 정의한다.
• T3 ≤ AUM(Q,·)에서 유도된 자동형사상들을 사용해 T3-홀로모르를 구성하고, H = T3 × Q 위에서 σ′를 정의한다.
• 특정 자기 사상 조건 하에서 홀로모르가 일반화된 볼 또는 유연한-볼 순환군 성질을 유지함을 증명한다.

실험 결과

연구 질문

• RQ1 일반화된 볼 순환군의 홀로모르가 스스로 일반화된 볼 순환군이 되기 위한 조건은 무엇인가?
• RQ2 일반화된 유연한-볼 순환군의 홀로모르가 여전히 일반화된 유연한-볼 순환군인 경우는 언제인가?
• RQ3 일반화된 볼 순환군의 Bryant-Schneider 군 원소들은 의사자기동형사상으로 어떻게 특성화될 수 있는가?
• RQ4 일반화된 볼 순환군의 홀로모르는 Bryant-Schneider 군에서 유도된 자동형사상들로부터 명시적으로 구성될 수 있는가?
• RQ5 쌍둥이 사상(T1, T2, T3)은 홀로모르 구성 과정에서 순환군 항등식을 유지하는 데 어떤 역할을 하는가?

주요 결과

• 주어진 자기 사상 조건 하에서, 순환군이 일반화된 볼 순환군임과 동시에 그 홀로모르가 일반화된 볼 순환군임은 동치이다.
• 순환군이 일반화된 유연한-볼 순환군임과 동시에 그 홀로모르가 일반화된 유연한-볼 순환군임은 T3-홀로모르 구성에 의해 입증된다.
• 일반화된 볼 순환군의 Bryant-Schneider 군 원소들은 특정 자동형사상 사상 하에서 순환군 항등식을 유지하는 의사자기동형사상으로 특성화된다.
• σ(x) = (xg⁻¹)⁻¹일 때, 순환군 (Q,·)의 T3-홀로모르는 (Q,·)가 α⁻¹σγ⁻¹-일반화된 볼 순환군이면 σ′-일반화된 볼 순환군이 된다.
• T3 ≤ AUM(Q,·)를 사용해 구성된 홀로모르 (H,∘)는 σ′가 (α, [αγ(x)(α(g))⁻¹])⁻¹로 정의될 경우 일반화된 유연한-볼 순환군 성질을 유지한다.
• 홀로모르의 구성은 쌍둥이 사상과 자기동형사상의 존재에 의존하며, 이는 홀로모르 내의 닫힘성과 군 구조를 보장한다.