[논문 리뷰] On perfect order subsets in finite groups

Nguyen Trong Tuan, Bui Xuan Hai|arXiv (Cornell University)|2010. 07. 04.

Finite Group Theory Research참고 문헌 3인용 수 8

한 줄 요약

이 논문은 모든 $ n \geq 4 $에 대해 대칭군 $ S_n $이 완벽한 순서 부분집합을 가진 군(POS-군)이 아니라는 것을 증명한다. 즉, $ S_n $ 내에서 주어진 순서를 가진 원소의 수가 $ |S_n| = n! $을 나누지 못한다는 뜻이다. 증명은 특정 순서를 가진 원소의 조합적 수세기와 윌슨의 정리, 버트란의 추측과 같은 수론적 도구를 적용하여, $ S_n $이 POS-군이라 가정했을 때 모순을 이끌어내는 방식을 취한다.

ABSTRACT

If $G$ is a finite group and $x\in G$ then the set of all elements of $G$ having the same order as $x$ is called {\em an order subset of $G$ determined by $x$} (see [2]). We say that $G$ is a {\em group with perfect order subsets} or briefly, $G$ is a {\em $POS$-group} if the number of elements in each order subset of $G$ is a divisor of $|G|$. In this paper we prove that for any $n\geq 4$, the symmetric group $S_n$ is not $POS$-group. This gives the positive answer to one of two questions rising from Conjecture 5.2 in [3].

연구 동기 및 목표

• 문헌 [3]의 추측 5.2를 해결하는 것: $ n \geq 4 $일 때 $ A_n $과 $ S_n $은 POS-군이 아니라는 주장.
• 이미 알려진 결과인 $ A_n $이 POS-군이 아니라는 것([1]에서 유도)을 대칭군 $ S_n $으로 확장하는 것.
• 대칭군의 완전한 분류를 통해 완벽한 순서 부분집합 성질을 확인하는 것.
• 특정 순서를 가진 원소의 수가 $ n \geq 4 $일 때 $ n! $을 나누지 못함을 보여주어, POS-군 조건을 위반함을 입증하는 것.

제안 방법

• 홀수 소수 $ p $에 대해 $ S_n $ 내에서 순서 $ p $를 가진 원소의 수를 다항계수와 순환형태 분해를 사용하여 세는 것.
• 윌슨의 정리를 적용하여 소수 $ p $에 대해 연속 정수의 곱을 모듈로 $ p $로 단순화하는 것, 특히 $ (p-1)! $과 $ (2p-1)! $을 포함한 표현에서의 적용.
• 버트란의 추측을 사용하여 $ n \geq 8 $일 때 구간 $ (n/4, n/2) $ 내에 소수 $ p $가 존재함을 보장함으로써, $ n = 2p + r $, $ n = 3p + r $, 또는 $ n = 4p $의 형태로 경우를 나누어 분석할 수 있도록 하는 것.
• 주어진 순서를 가진 원소의 수가 $ n! $으로 나누어지는지 분석하여, 모듈로 모순으로 인해 유리수 표현이 정수가 될 수 없음을 보이는 것.
• $ S_n $ 내에서 순서 $ p $를 가진 원소의 수가 유리수 표현이 되며, 이는 $ S_n $이 POS-군이라 가정했을 때 모순이 되므로 $ n! $을 나누지 못함을 보이는 것.
• 모듈로 4에 대한 $ n $의 값과 $ (n/4, n/2) $ 내에 소수 $ p $의 존재 여부에 기반한 경우 나누기 방법을 사용하여 문제를 다룰 수 있는 부분 문제로 환원하는 것.

실험 결과

연구 질문

• RQ1 $ S_n $이 모든 $ n \geq 4 $에 대해 POS-군인가?
• RQ2 $ S_n $ 내에서 주어진 순서를 가진 원소의 수가 POS-군 조건을 충족하기 위해 $ n! $을 나누는가?
• RQ3 $ S_n $ 내 순환형태의 구조를 이용하여, 소수 $ p $에 대해 순서 $ p $를 가진 원소의 수가 $ n! $을 나누지 못함을 보일 수 있는가?
• RQ4 버트란의 추측은 $ n \geq 4 $일 때 $ S_n $이 POS-군이 아님을 증명하는 데 어떤 역할을 하는가?
• RQ5 $ n! $의 모듈로 $ p $ 행동과 같은 수론적 장애물이 $ S_n $이 POS-군이 되는 것을 방해하는가?

주요 결과

• $ n = 4 $와 $ n = 5 $일 때, $ S_4 $ 내 순서 2를 가진 원소의 수는 각각 9와 25이며, 이는 각각 $ 4! = 24 $와 $ 5! = 120 $을 나누지 못하므로 $ S_4 $와 $ S_5 $는 POS-군이 아니다.
• $ n = 6 $과 $ n = 7 $일 때, 각각 $ p = 3, r = 0 $과 $ p = 3, r = 1 $을 취함으로써 레마 3.1을 적용하여 원소 수의 나누어 떨어지지 않음을 보여주며 결과가 도출된다.
• $ n \geq 8 $일 때, $ n/4 < p < n/2 $인 소수 $ p $의 존재는 $ n = 2p + r $, $ n = 3p + r $, 또는 $ n = 4p $의 경우 분석을 가능하게 하며, 각 경우는 해당 레마로 다루어진다.
• $ n = 4p $인 경우, 순서 $ p $를 가진 원소의 수는 정수가 될 수 없는 유리수 표현을 이룬다. 윌슨의 정리와 모듈로 산술을 사용한 모순에 의해 이를 보여준다.
• 원소 수의 역수에서 유도된 표현 $ C = \frac{96(p-1)!(p+1)\ldots(2p-1)}{M} $은 모든 홀수 소수 $ p $에 대해 정수가 아니며, 이는 $ S_n $이 POS-군이라 가정했을 때의 모순을 보여준다.
• 논문은 $ n \geq 4 $일 때 $ S_n $이 어떤 경우에도 POS-군이 아니라는 결론을 내리며, [3]의 추측 5.2를 완전히 해결한다.