[논문 리뷰] Partial Lagrange's and Isomorphism Theorems for Gyrogroups

Teerapong Suksumran, Keng Wiboonton|arXiv (Cornell University)|2014. 06. 02.

Mathematics and Applications참고 문헌 14인용 수 1

한 줄 요약

이 논문은 군론의 기본 정리들—특히 라그랑주 정리와 동형정리—를 군의 일반화인 비결합 대수적 구조인 고이그룹으로 확장한다. L-하위고이그룹을 도입하고 그것이 고이그룹을 왼쪽 잔여류로 분할함을 보여, 유한한 L-하위고이그룹의 순서가 고이그룹의 순서를 나누게 되며, 이는 고이그룹으로의 라그랑주 정리의 일반화이다.

ABSTRACT

We extend well-known results in group theory to gyrogroups, especially the isomorphism theorems. We prove that an arbitrary gyrogroup $G$ induces the gyrogroup structure on the symmetric group of $G$ so that Cayley's Theorem is obtained. Introducing the notion of L-subgyrogroups, we show that an L-subgyrogroup partitions $G$ into left cosets. Consequently, if $H$ is an L-subgyrogroup of a finite gyrogroup $G$, then the order of $H$ divides the order of $G$.

연구 동기 및 목표

• 클래식한 군론적 결과, 예를 들어 라그랑주 정리와 동형정리를 고이그룹의 맥락으로 일반화하는 것.
• 모든 고이그룹이 그의 대칭 고이그룹 위에 고이그룹 구조를 유도함으로써 케일리 정리의 고이그룹 버전을 수립하는 것.
• 왼쪽 잔여류로 고이그룹을 분할하는 구조적 도구로서 L-하위고이그룹을 정의하고 분석하는 것.
• 유한 고이그룹에서 L-하위고이그룹의 순서가 고이그룹의 순서를 나누며, 이는 비결합적 맥락으로의 라그랑주 정리의 확장이다.

제안 방법

• 고이그룹 연산과 왼쪽 고이자기동형사상에 대해 닫혀 있는 부분집합으로서 L-하위고이그룹의 개념을 도입한다.
• 모든 고이그룹 G가 G의 대칭군 위에 고이그룹 구조를 유도함을 보여, 고이그룹 표현을 가능하게 한다.
• L-하위고이그룹에 의해 유도되는 왼쪽 잔여류 분해를 이용해 고이그룹의 내부 구조를 분석한다.
• L-하위고이그룹의 왼쪽 잔여류가 군론과 유사하게 고이그룹을 분할함을 증명한다.
• 분할 성질을 활용해 유한 고이그룹에서 순서의 나눗셈 조건을 유도한다.
• 정상적인 L-하위고이그룹을 통해 몫 고이그룹을 구성함으로써 고이그룹 맥락에서 동형정리를 적용한다.

실험 결과

연구 질문

• RQ1 비결합성 때문에 고이그룹으로의 라그랑주 정리가 확장될 수 있는가?
• RQ2 군론의 동형정리는 고이그룹의 프레임워크로 어떻게 적응될 수 있는가?
• RQ3 고이그룹의 부분집합이 잘 정의된 왼쪽 잔여류 분할을 유도하기 위해 만족해야 할 구조적 성질은 무엇인가?
• RQ4 모든 고이그룹이 대칭 고이그룹의 부분군으로서 표현될 수 있는가, 즉 케일리 정리를 일반화하는가?
• RQ5 L-하위고이그룹은 고이그룹으로의 클래식한 군론적 결과의 확장을 어떻게 가능하게 하는가?

주요 결과

• 임의의 고이그룹 G는 그의 대칭군 위에 고이그룹 구조를 유도하며, 이는 고이그룹으로의 케일리 정리의 일반화이다.
• L-하위고이그룹의 개념을 도입하고 그것이 고이그룹 연산과 왼쪽 고이자기동형사상에 대해 닫혀 있음을 보였다.
• L-하위고이그룹은 기저 고이그룹 G를 서로소인 왼쪽 잔여류로 분할하며, 이는 군론적 잔여류 분해와 유사하다.
• 유한 고이그룹 G와 L-하위고이그룹 H에 대해, H의 순서는 G의 순서를 나누며, 이는 고이그룹 버전의 라그랑주 정리를 확립한다.
• 정상적인 L-하위고이그룹을 통해 몫 고이그룹을 구성함으로써 동형정리를 고이그룹로 확장하였다.
• 결과적으로 고이그룹은 군과 유사한 풍부한 대수적 구조를 지니며, 특히 부분군과 몫의 행동 측면에서 그러하다.