[논문 리뷰] The structure of automorphic loops

Michael Kinyon, Ken Kunen외 2명|arXiv (Cornell University)|2012. 10. 05.

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

한 줄 요약

이 논문은 자동형 루프—모든 내부 사상이 자기동형사상인 루프—에 대한 기초 결과를 수립하며, 홀수 차수의 유일한 2-나누기 가능 루프에 초점을 맞춘다. 글로버만의 브럭 루프 구성법과 라이트의 리 대수 방법을 응용하여, 유한한 자동형 루프의 홀수 차수에 대해 가역성, 라그랑주 정리 및 카우치 정리를 증명하고, 루프 차수를 나누는 각 소수 $ p $에 대해 순서 $ p $를 갖는 원소가 존재함을 보이며, 2500 미만의 순서를 갖는 유한한 단순 비결합적 자동형 루프가 존재하지 않음을 밝힌다.

ABSTRACT

Automorphic loops are loops in which all inner mappings are automorphisms. This variety of loops includes, for instance, groups and commutative Moufang loops. We study uniquely 2-divisible automorphic loops, particularly automorphic loops of odd order, from the point of view of the associated Bruck loops (motivated by Glauberman's work on uniquely 2-divisible Moufang loops) and the associated Lie rings (motivated by a construction of Wright). We prove that every automorphic loop $Q$ of odd order is solvable, contains an element of order $p$ for every prime $p$ dividing $|Q|$, and $|S|$ divides $|Q|$ for every subloop $S$ of $Q$. There are no finite simple nonassociative commutative automorphic loops, and there are no finite simple nonassociative automorphic loops of order less than 2500. We show that if $Q$ is a finite simple nonassociative automorphic loop then the socle of the multiplication group of $Q$ is not regular. The existence of a finite simple nonassociative automorphic loop remains open. Let $p$ be an odd prime. Automorphic loops of order $p$ or $p^2$ are groups, but there exist nonassociative automorphic loops of order $p^3$, some with trivial nucleus (center) and of exponent $p$. We construct nonassociative "dihedral" automorphic loops of order $2n$ for every $n>2$, and show that there are precisely $p-2$ nonassociative automorphic loops of order $2p$, all of them dihedral.

연구 동기 및 목표

• 자동형 루프, 특히 홀수 차수의 자동형 루프에 대한 구조 정리를 수립하여 무방형 및 교환 루프에서의 결과를 확장한다.
• 끝없는 단순 비결합적 자동형 루프의 존재를 조사하며, 루프 이론에서의 주요 미해결 문제이다.
• 유한한 자동형 루프의 홀수 차수에 대해 유도된 대수학적 및 군론적 기법을 사용하여 라그랑주, 카우치 및 가역성 정리를 증명한다.
• 예를 들어 $ 2p $ 및 $ p^3 $와 같은 작은 차수의 비결합적 자동형 루프를 분류하고, 이면 루프와 같은 가족을 구성한다.
• 승법군과 소클의 역할이 단순 자동형 루프의 구조에 어떻게 기여하는지 탐색한다.

제안 방법

• 유일한 2-나누기 가능 자동형 루프에 대해 글로버만의 브럭 루프 구성법을 적응하여, 새로운 연산 $ x ullet y = (x^{-1} ackslash (y^2 x))^{1/2} $를 정의함으로써 브럭 루프의 구조를 도출한다.
• 핵심 연산 $ x * y = x^{-1} ackslash (y^{-1} x) $를 사용하여 $ P_Q = \{ P_x \mid x \in Q \} $라는 왜곡된 부분군을 정의하며, 여기서 $ P_x = R_x L_{x^{-1}}^{-1} $이며, $ P_x P_y P_y = P_{y P_x} $ 및 $ P_x^n = P_{x^n} $를 만족한다.
• 브럭 루프 연산을 왜곡된 부분군 $ P_Q $에서 원래 루프 $ Q $로 다시 전이함으로써, 기존의 브럭 루프에 대한 결과를 자동형 루프에 적용할 수 있도록 한다.
• 라이트의 리 대수에서 루프를 구성하는 방법을 적용하여, 특히 $ p $-루프와 니르푸텐시의 맥락에서 자동형 루프의 국소적 구조를 연구한다.
• 프로버9와 메이스4를 포함한 군론적 도구를 사용하여 항등식을 검증하고 추측을 시험하며, 특히 부분루프의 구조와 자기동형성의 성질에 초점을 맞춘다.
• 승법군의 소클 개념을 활용하여 비결합적 자동형 루프에서의 단순성 잠재성을 분석한다.

실험 결과

연구 질문

• RQ1 유한한 자동형 루프의 홀수 차수에 대해 라그랑주 정리와 카우치 정리가 성립하는가? 그리고 가역성은 성립하는가?
• RQ2 유한한 단순 비결합적 자동형 루프가 존재하는가? 만약 존재한다면, 가능한 최소 순서는 얼마인가?
• RQ3 유한한 자동형 루프에서 모든 원소의 차수가 루프의 차수를 나누는가?
• RQ4 홀수 소수 $ p $에 대해, 차수 $ 2p $인 자동형 루프는 완전한 분류가 가능한가? 그리고 비이sov모르픽 비결합적 예가 몇 개인가?
• RQ5 유한한 단순 비결합적 자동형 루프의 승법군의 소클은 정규적인가? 이는 단순성에 대해 어떤 의미를 갖는가?

주요 결과

• 모든 유한한 자동형 루프의 홀수 차수는 가역성을 갖는다. 이는 글로버만의 브럭 루프 결과를 자동형 설정으로 확장한 것이다.
• 모든 유한한 자동형 루프의 홀수 차수는 카우치 정리를 만족한다: 루프의 차수를 나누는 각 소수 $ p $에 대해, 순서 $ p $를 갖는 원소가 존재한다.
• 모든 유한한 자동형 루프의 홀수 차수는 라그랑주 정리를 만족한다: 모든 부분루프의 차수는 루프의 차수를 나눈다.
• 유한한 단순 비결합적 교환 자동형 루프는 존재하지 않으며, 2500 미만의 순서를 갖는 유사한 루프도 존재하지 않는다.
• 홀수 소수 $ p $에 대해, 순서 $ p^3 $인 비결합적 자동형 루프가 존재하며, 일부는 핵심이 자명하고 지수 $ p $를 갖는다. 이는 이 차수에서 비결합성이 가능함을 보여준다.
• 차수 $ 2p $인 비결합적 자동형 루프는 정확히 $ p - 2 $개 존재하며, 모두 이면 루프이며, $ 1 \leq c < p $에 대해 모두 $ D_{2p}(c) $와 동형이다.