[논문 리뷰] Groups in which Squares and Cubes Commute

Geetha Venkataraman|arXiv (Cornell University)|2016. 05. 18.

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

한 줄 요약

이 논문은 모든 원소의 제곱과 세제곱이 서로 가환성을 가지는 군이 아벨 군이어야 하는지 조사한다. 유한군과 특정 무한군 클래스(예: 국소 유한, 잔여 유한, 잔여 p-군 등)에서 이러한 조건을 만족하는 군은 반드시 아벨 군임을 증명한다. 주요 기여는 임의의 무한군에서 제곱과 세제곱이 가환일 경우, 그 군의 토르션 부분군이 아벨 정규부분군임을 보이고, 추가적인 유한성 조건이 성립할 경우 전체 군이 아벨 군이 됨을 보인 것이다.

ABSTRACT

If for all $a, b$ in a group $G$, we have that $a^2b^2 = b^2a^2$ and $a^3b^3 = b^3a^3$ then does the group necessarily have to be abelian? This paper shows that the answer is affirmative for finite groups as well as certain classes of infinite groups. In general we show that if $G$ is an infinite group in which squares commute and cubes commute then the set of torsion elements of $G$ denoted by $T(G)$ has to be an abelian normal subgroup of $G$.

연구 동기 및 목표

• 모든 제곱과 세제곱이 가환성을 가지는 군이 반드시 아벨 군이어야 하는지 결정하는 것.
• 유한군에서의 가환 거듭제곱 조건에 대한 기존 결과를 무한군으로 일반화하는 것.
• 가환 거듭제곱 조건을 만족하는 무한군에서의 토르션 부분군의 구조를 규명하는 것.
• 국소 유한, 잔여 유한, 잔여 p-군 등 다양한 군 클래스에 대해 가환 거듭제곱 조건의 함의를 탐색하는 것.
• 가환 거듭제곱 조건을 만족하는 비아벨 무한군의 존재에 관한 열린 문제를 식별하는 것.

제안 방법

• 유한군 이론과 시로프 p-부분군을 이용하여 제곱과 세제곱이 가환성을 가지는 유한군이 아벨 군임을 증명한다.
• 서로소 지수와 원소의 차수를 다루는 군론적 기법을 적용하여 소수 거듭제곱 차수를 가진 원소들의 부분군이 가환성을 가짐을 보인다.
• 자연수 k가 지수 m 또는 n 중 하나와 서로소일 경우, {g ∈ G | g^k = e}의 집합이 정규 아벨 부분군을 이룬다는 사실을 활용한다.
• 국소 X-군과 잔여 X-군의 개념을 활용하여, 유한군에서의 결과를 더 넓은 무한군 클래스로 일반화한다.
• 商의 카르테시안 곱의 구조를 이용하여 잔여 X-군이 거듭제곱 가환 조건을 만족할 경우 아벨 군임을 보인다.
• 노름군 및 국소 노름군에 관한 결과를 적용하여 토르션 부분군 T(G)와 그 아벨 정규성의 분석을 수행한다.

실험 결과

연구 질문

• RQ1 모든 a,b ∈ G에 대해 a²b² = b²a² 및 a³b³ = b³a³를 만족하는 유한군 G는 반드시 아벨 군이어야 하는가?
• RQ2 제곱과 세제곱의 가환 조건을 임의의 서로소 지수 m과 n으로 일반화할 수 있으며, 여전히 군이 아벨 군임을 의미하는가?
• RQ3 제곱과 세제곱이 가환성을 가지는 무한군에서 토르션 부분군 T(G)는 반드시 아벨 군이자 정규부분군인가?
• RQ4 국소 유한 또는 잔여 유한 군이 가환 거듭제곱 조건을 만족할 경우 반드시 아벨 군인가?
• RQ5 토르션 부분군이 아벨 군이면서 어떤 서로소 m,n에 대해 거듭제곱 가환 조건을 만족하는 비아벨 무한군이 존재하는가?

주요 결과

• 모든 a,b ∈ G에 대해 a²b² = b²a² 및 a³b³ = b³a³를 만족하는 임의의 유한군 G는 반드시 아벨 군이다.
• 더 일반적으로, m과 n이 서로소 자연수이고 모든 a,b ∈ G에 대해 a^m b^m = b^m a^m 및 a^n b^n = b^n a^n를 만족할 경우, G는 아벨 군이다.
• 모든 서로소 m,n에 대해 거듭제곱 가환 조건을 만족하는 무한군 G에서 토르션 원소의 집합 T(G)는 아벨 정규부분군을 이룬다.
• 이러한 무한군 G의 모든 시로프 p-부분군은 아벨 군이며, G가 무한 p-군일 경우 G는 아벨 군이다.
• G가 국소 유한이거나 잔여 유한이면서 거듭제곱 가환 조건을 만족할 경우, G는 아벨 군이다.
• G가 소수 p에 대해 잔여 p-군이며 거듭제곱 가환 조건을 만족할 경우, G는 아벨 군이다.