[논문 리뷰] Bi-gyrogroup: The group-like structure induced by bi-decomposition of groups

Teerapong Suksumran, Abraham A. Ungar|arXiv (Cornell University)|2016. 01. 20.

Mathematics and Applications참고 문헌 15인용 수 6

한 줄 요약

이 논문은 군 Γ의 부분집합 B와 부분군 H_L, H_R로 이루어진 이분해 Γ = H_L B H_R로부터 유도되는 새로운 군 유사 대수적 구조인 비그룹(bi-gyrogroup)을 제안한다. 이러한 이분해는 왼쪽 및 오른쪽 기울임 변환(left and right gyrations)을 통해 자연스럽게 비그룹을 생성하며, 기존의 그로우군(gyrogroup)을 일반화한다. 주요 기여는 특히 의사직교군(pseudo-orthogonal groups)의 맥락에서, 몫군 Spin(m,n)/{1,−1}이 비그룹분해(bi-gyrodecomposition)를 갖는다는 것을 증명한 것이다.

ABSTRACT

The decomposition $Γ=BH$ of a group $Γ$ into a subset $B$ and a subgroup $H$ of $Γ$ induces, under general conditions, a group-like structure for $B$, known as a gyrogroup. The famous concrete realization of a gyrogroup, which motivated the emergence of gyrogroups into the mainstream, is the space of all relativistically admissible velocities along with a binary operation given by the Einstein velocity addition law of special relativity theory. The latter leads to the Lorentz transformation group $\mathrm{SO}(1,n)$, $n\in\mathbb{N}$, in pseudo-Euclidean spaces of signature $(1, n)$. The study in this article is motivated by generalized Lorentz groups $\mathrm{SO}(m, n)$, $m, n\in\mathbb{N}$, in pseudo-Euclidean spaces of signature $(m, n)$. Accordingly, this article explores the bi-decomposition $Γ= H_LBH_R$ of a group $Γ$ into a subset $B$ and subgroups $H_L$ and $H_R$ of $Γ$, along with the novel bi-gyrogroup structure of $B$ induced by the bi-decomposition of $Γ$. As an example, we show by methods of Clifford algebras that the quotient group of the spin group $\mathrm{spin}(m, n)$ possesses the bi-decomposition structure.

연구 동기 및 목표

• 기존의 단일 분해 Γ = BH에 의해 유도된 그로우군(gyrogroup)의 구조를, 양측 부분군 H_L 및 H_R를 포함하는 이분해 Γ = H_L B H_R를 통해 더 풍부한 구조로 일반화하는 것.
• 이분해에 기반하여 이중 자동형사상(왼쪽 및 오른쪽 기울임 변환)을 갖는 이중그룹oid 및 비그룹을 정의하고 공리화하는 것.
• 의사직교군 SO(m,n) 및 몫군 Spin(m,n)/{1,−1}이 이분해를 갖는다는 것을 보여주는 것.
• 비그룹이 특수상대성이론을 넘어서 클리퍼드 대수와 조화해석학 등에 응용 가능한 보편적인 계산 도구임을 확립하는 것.

제안 방법

• 비그룹oid의 공리(BG1)–(BG5)를 정의하여 항등원, 역원, 왼쪽/오른쪽 자동형사상(lgyr, rgyr)이 이중기울기결합법칙(bi-gyroassociative law)을 만족하도록 하는 것.
• B 위에서의 비그룹oid 연산 ⊕_b를 유도하기 위해, Γ = H_L B H_R 형태의 이중가환분해(bi-transversal decomposition)를 구조적 프레임워크로 도입하는 것.
• 정리 4.19의 정규화 조건을 사용하여, 이중가환연산 ⊙로부터 비그룹 연산 ⊕를 유도하는 것.
• 클리퍼드 대수 기법을 사용하여 스핀군 Spin(m,n)을 분석하고, 그 몫군 Spin(m,n)/{1,−1}이 이분해 조건을 만족함을 보이는 것.
• 이분해에 의해 존재하는 왼쪽 및 오른쪽 기울임 변환들이 이중기울이기 항등식(bi-gyrator identity)을 만족함을 증명하여, B 위의 비그룹 구조가 유도됨을 보장하는 것.
• H_L가 자명일 경우 비그룹이 기존 이론과 일致함을 확인하기 위해, 비그룹이 기존 그로우군으로 축소됨을 증명하는 것.

실험 결과

연구 질문

• RQ1 기존의 단일 분해 Γ = BH에 의해 정의된 그로우군의 구조를, 양측 부분군 H_L 및 H_R를 포함하는 이분해 Γ = H_L B H_R로 어떻게 일반화할 수 있는가?
• RQ2 이분해 Γ = H_L B H_R로부터 유도된 군 유사 대상의 특징을 기술하는 공리적 체계는 무엇인가?
• RQ3 의사직교군 SO(m,n)는 비그룹분해를 갖는가? 만약 그렇다면, B 위에 유도된 비그룹의 구조는 어떠한가?
• RQ4 스핀군의 몫군 Spin(m,n)/{1,−1}이 비그룹분해를 갖는다는 것을 증명할 수 있는가? 이를 통해 비그룹 이론이 스핀군으로 확장되는가?
• RQ5 비그룹에서의 이중 자동형사상 가닥(왼쪽 및 오른쪽 기울임 변환)은 단일 가닥을 갖는 그로우군에 비해 어떻게 그 구조를 풍부하게 하는가?

주요 결과

• 모든 군 Γ의 비그룹분해 Γ = H_L B H_R는 비그룹 (B, ⊕)을 완전히 유도하며, 이는 왼쪽 및 오른쪽 기울임 변환들이 이중기울기결합법칙을 만족하는 비그룹을 형성한다.
• 클리퍼드 대수 기법을 통해 증명된 Lin(m,n)/{1,−1}은 비그룹분해를 갖는다. 이는 그가 비그룹으로서 실현됨을 확인한다.
• 비그룹 (B, ⊕)은 이중기울기결합법칙을 만족하며, 왼쪽 및 오른쪽 기울임 변환이 모두 자명할 경우 표준 결합법칙으로 축소된다.
• 비그룹은 그로우군보다 더 풍부한 구조를 지닌다. 이는 연산에 의해 결정되는 복합자기형사상 lgyr[a,b] ∘ rgyr[b,a]는 유일하게 결정되지만, 개별 자동형사상은 연산만으로는 유일하게 결정되지 않기 때문이다.
• 비그룹 (B, ⊕)은 실수 n×m 행렬의 이중그로가감 연산(bi-gyroaddition)에 대한 군oid와 동형임을 보여, 추상적 구조에 대한 구체적 모델을 제공한다.
• 비그룹은 그로우군이지만, 그 역은 성립하지 않는다. 비그룹은 이중 자동형사상 가닥 덕분에 추가적인 구조층을 지닌다.