유일한 유한군 존재 조건과 반직접곱을 통한 새로운 증명

초록

정수 $n$에 대해 $\gcd(n,\varphi(n))=1$이면 차수 $n$의 군은 순환군 $\mathbb Z_n$ 하나뿐이며, 이와 반대인 경우 비순환군이 존재한다. 논문은 반직접곱과 수학적 귀납법을 이용해 이 명제를 새롭게 증명한다.

상세 요약

본 논문은 “$\gcd(n,\varphi(n))=1$이면 차수 $n$의 군은 $\mathbb Z_n$ 하나뿐이다”는 고전적인 정리를 반직접곱(semi‑direct product)과 귀납법을 통해 재구성한다. 먼저 $n$을 소인수 분해 $n=p_1^{a_1}\cdots p_k^{a_k}$라 두고, 각 $p_i^{a_i}$ 차수의 Sylow $p_i$‑군 $P_i$가 모두 순환임을 보인다. 이는 $\gcd(p_i^{a_i},\varphi(p_i^{a_i}))=1$이므로 $P_i\cong\mathbb Z_{p_i^{a_i}}$임을 의미한다.

다음 단계에서는 두 서로 다른 Sylow 군 $P_i$, $P_j$ 사이에 비자명한 작용이 존재할 경우, 즉 $P_i$가 $Aut(P_j)$에 비자명하게 사상될 경우를 고려한다. $|Aut(P_j)|=\varphi(p_j^{a_j})$이므로, $P_i$가 $Aut(P_j)$에 비자명하게 작용하려면 $p_i$가 $\varphi(p_j^{a_j})$를 나누어야 한다. 그러나 $\gcd(n,\varphi(n))=1$이라는 가정은 모든 서로 다른 소인수 $p_i$, $p_j$에 대해 $p_i\nmid\varphi(p_j^{a_j})$임을 보장한다. 따라서 모든 $i\neq j$에 대해 $Hom(P_i,Aut(P_j))$는 자명하고, $G$는 $P_1\times\cdots\times P_k$와 동형이다.

곱셈 구조가 서로소인 순환군들의 직접곱이므로 $G\cong\mathbb Z_{p_1^{a_1}}\times\cdots\times\mathbb Z_{p_k^{a_k}}\cong\mathbb Z_n$가 된다. 여기까지가 “충분조건” 증명이다.

반대로 $\gcd(n,\varphi(n))\neq1$이면 어떤 소수 $p\mid n$와 $p\mid\varphi(n)$가 존재한다. $n=p^a m$ ( $(p,m)=1$ )라 두고, $Aut(\mathbb Z_{p^a})\cong\mathbb Z_{p^{a-1}(p-1)}$에 $p$가 나누어짐을 이용해 비자명한 동형사상을 구성한다. 그러면 $\mathbb Z_{p^a}\rtimes\mathbb Z_m$ 형태의 비가환 반직접곱이 차수 $n$의 군으로 존재함을 보인다. 이는 “필요조건”을 역으로 증명한다.

핵심 통찰은 $\gcd(n,\varphi(n))$가 1일 때만 서로 다른 Sylow 군 사이에 비자명한 작용이 차단된다는 점이며, 이를 통해 반직접곱 구조가 강제로 사라져 군이 완전한 직접곱, 즉 순환군으로 강제된다. 논문은 기존 증명(예: Burnside의 $p^aq^b$ 정리)과 달리 반직접곱의 일반적 성질을 직접 활용함으로써 보다 구조적인 시각을 제공한다.