[논문 리뷰] Bicrossproduct Hopf quasigroups

J. Klim, Shahn Majid|ArXiv.org|2009. 11. 16.

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

한 줄 요약

이 논문은 유한 부분군 $G$와 IP 준군 전이자 $M$를 가진 군 $X$를 사용하여 호프 준군에 대한 이중곱 구조를 제안한다. $M$이 특정 대수적 조건을 만족할 경우 $kM \triangleright\!\!\blacktriangleleft kG$가 호프 준군을 이룬다는 것을 보이며, 주요 결과로 오кт로니언 준군 $G_{\mathbb{O}}$가 순서 128인 군 $X$ 내에 존재할 때, $kG_{\mathbb{O}} \triangleright\!\!\blacktriangleleft k(\mathbb{Z}_2^3)$라는 명시적인 호프 준군을 구성한다.

ABSTRACT

We recall the notion of Hopf quasigroups introduced previously. We construct a bicrossproduct Hopf quasigroup $kM\bicross k(G)$ from every group $X$ with a finite subgroup $G\subset X$ and IP quasigroup transversal $M\subset X$ subject to certain conditions. We identify the octonions quasigroup $G_O$ as transversal in an order 128 group $X$ with subgroup $Z_2^3$ and hence obtain a Hopf quasigroup $kG_O\lcocross k(Z_2^3)$ as a particular case of our construction.

연구 동기 및 목표

• 호프 대수에서의 이중곱 구조를 호프 준군으로 일반화하여 매칭된 쌍의 구조를 확장한다.
• 준군 $X$의 부분군 $G$와 전이자 $M$이 호프 준군을 형성할 수 있는 조건을 규명하여, $kM \triangleright\!\!\blacktriangleleft kG$의 구조를 가능하게 한다.
• 오кт로니언 준군 $G_{\mathbb{O}}$가 순서 128인 군 $X$ 내에서 전이자로 나타나며, $G = \mathbb{Z}_2^3$임을 보여주어 비결합적이고 비코무터티브인 명시적인 호프 준군을 도출한다.
• 반대 구조를 통해 이중화를 이용하여 호프 코준군 $k(M)\blacktriangleright\!\!\triangleleft kG$를 얻는다.
• 이중곱 구조를 통해 비결합적 환경으로까지 확장된 모나이드 범주 구조를 수립한다.

제안 방법

• 군 분해 $X = G \ltimes M$로부터 오른쪽 작용 $\triangleright$ 와 코chain $\tau: M \times M \to G$를 정의하여 전이자 구조와의 호환성을 확보한다.
• 한 요소를 이중화하여 이중곱 $kM \triangleright\!\!\blacktriangleleft kG$를 $\triangleright$를 통한 반직접곱과 $\triangleleft$를 통한 반직접코곱으로 구성한다.
• 결과로 얻어진 대수가 호프 준군의 공리를 만족하도록 $\tau$와 $M$의 곱에 조건을 도입하며, 특히 역원 항등식을 보장한다.
• $\mathbb{Z}_2^3$ 위에서의 벡터 공간의 곱을 이용해 $\tau(e_{\vec{a}}, e_{\vec{b}}) = g^{\vec{a} \times \vec{b}}$로 정의하며, $\mathbb{Z}_2$ 위에서의 선형성으로 인해 2-코호모로지 조건을 만족한다.
• 오кт로니언 준군 $G_{\mathbb{O}}$가 생성자 $e_i$와 관계식 $e_i^2 = -1$, $e_ie_j = -e_je_i$ ($i \neq j$)를 만족하며, $X = \mathbb{Z}_2^3 \ltimes Cl_3$라는 순서 128인 군 내에서 전이자로 존재함을 확인한다.
• 군의 곱셈을 공식 $e_{\vec{a}}e_{\vec{b}} = \tau(e_{\vec{a}}, e_{\vec{b}}) \cdot e_{\vec{a}+\vec{b}}$로 유도하며, 오кт로니언의 비결합성에 기인한 부호를 포함하여 전체 군의 구조를 확인한다.

실험 결과

연구 질문

• RQ1 군 $X$의 부분군 $G$와 전이자 $M$이 호프 준군을 형성할 수 있는 조건은 무엇인가? 이는 $kM \triangleright\!\!\blacktriangleleft kG$의 구성에 기여한다.
• RQ2 호프 대수에서의 이중곱 구조는 비결합 대수, 특히 호프 준군으로 어떻게 일반화될 수 있는가?
• RQ3 오кт로니언 준군 $G_{\mathbb{O}}$는 순서 128인 유한군 $X$ 내에서 $G = \mathbb{Z}_2^3$일 때 전이자로 실현될 수 있는가? 만약 그렇다면, 그로 인한 호프 준군의 구조는 무엇인가?
• RQ4 이중곱 $kM \triangleright\!\!\blacktriangleleft kG$가 호프 준군이 되기 위한 코심 $\tau$ 및 작용 $\triangleright$, $\triangleleft$에 대한 필수 및 충분조건은 무엇인가?
• RQ5 반대 구조는 어떻게 호프 코준군을 도출하며, 이는 이전 연구에서의 $k[S^7] \rtimes \mathbb{Z}_2^3$ 호프 코준군과 어떤 관계가 있는가?

주요 결과

• 이중곱 $kM \triangleright\!\!\blacktriangleleft kG$가 호프 준군이 되는 것은 $M$이 IP 준군이면서 코심 $\tau$가 2-코호모로지 조건과 비결합 곱의 항등식을 만족할 때에만 성립한다.
• 오кт로니언 준군 $G_{\mathbb{O}}$는 순서 128인 군 $X$ 내에서 전이자로 실현되며, $G = \mathbb{Z}_2^3$이고, $X \cong \mathbb{Z}_2^3 \ltimes Cl_3$이다. 여기서 $Cl_3$는 $\pm e_i$로 생성된 클리퍼드 군이다.
• 결과로 얻어진 호프 준군은 $kG_{\mathbb{O}} \triangleright\!\!\blacktriangleleft k(\mathbb{Z}_2^3)$이며, $\triangleright$ 작용은 자명하고 $\tau(e_{\vec{a}}, e_{\vec{b}}) = g^{\vec{a} \times \vec{b}}$이며, 이는 비결합적이고 비코무터티브이다.
• 군 $X$는 128개의 기저를 가지며, $\{\pm e_1^{a_1}e_2^{a_2}e_3^{a_3}g_1^{b_1}g_2^{b_2}g_3^{b_3}\}$로 구성되어 있어 군의 순서와 닫힘성을 확인한다.
• 군의 곱셈은 $e_i e_j = -e_j e_i = g_k \cdot e_{ij}$ ($i,j,k$ 순환)를 만족하며, 부호는 오кт로니언의 비결합성에서 기인하고, $e_i^2 = -1$으로 클리퍼드 대수의 관계와 일치한다.
• 반대 구조는 호프 코준군 $k(G_{\mathbb{O}}) \blacktriangleright\!\!\triangleleft k\mathbb{Z}_2^3$를 도출하며, $k[S^7] \rtimes \mathbb{Z}_2^3$의 몫과 동형이며, 이중곱 구조를 통해 모나이드 범주를 수립한다.