유한 아벨 군의 자동동형 원소 판별과 효율적 알고리즘

초록

본 논문은 유한 아벨 군 (G)에서 두 원소 (x, y)가 자동동형 사상에 의해 서로 변환될 수 있는 필요충분조건을 (G/\langle x\rangle\cong G/\langle y\rangle) 로 제시하고, 이를 기반으로 두 원소의 자동동형 동등성을 거의 선형 시간에 판단할 수 있는 두 개의 알고리즘을 설계한다. 또한 지수 제한이 (10^{20}) 이하인 경우에 최적화된 알고리즘을 제시하고, 전체 군의 자동동형 궤를 계산하는 방법도 제안한다.

상세 분석

논문의 핵심 정리는 “(x, y\in G)에 대해 (\exists\phi\in\operatorname{Aut}(G))가 (\phi(x)=y)인 경우와 (G/\langle x\rangle\cong G/\langle y\rangle)인 경우가 동치”임을 보이는 정리 2.1이다. 증명은 먼저 자동동형이 존재하면 자연스럽게 코셋 군 사이의 동형이 유도된다는 방향을 전형적인 군 동형 사상 정의를 이용해 보여준다. 반대 방향에서는 유한 아벨 군을 소일로(p‑Sylow) 부분군들의 직접합으로 분해하고, 각 p‑군에 대해 문제를 귀환한다. p‑군의 경우는 (G\cong\bigoplus_{i=1}^n C_{p^{e_i}}) 형태로 표현하고, 원소 (x)와 (y)를 각각 ((p^{f_1},\dots,p^{f_n})) 형태로 정규화한다. 여기서 (G/\langle x\rangle\cong G/\langle y\rangle)이면 각 좌표의 지수 집합이 동일함을 보이고, 이를 이용해 (\phi_1)와 (\phi_2)라는 두 자동동형을 구성한다. (\phi_1)는 (\langle x\rangle)을 (\langle y\rangle)로 보내는 사상이며, (\phi_2)는 곱셈 상수 (k)에 대한 역원을 각 좌표에 적용해 최종적으로 (\phi_2\circ\phi_1(x)=y)를 얻는다. 이 과정에서 (k)와 소수 (p)가 서로소임을 보이는 논증이 핵심이며, 이는 p‑군의 구조적 특성에서 비롯된다.

정리 2.4와 그 여파인 Corollary 2.5는 “최대 차수를 갖는 원소들은 서로 자동동형으로 연결된다”는 직관적인 결과를 정식화한다. 이는 군의 불변인자 분해에서 가장 큰 인자에 해당하는 좌표를 교환하거나 스케일링함으로써 쉽게 구현된다.

알고리즘적 기여는 두 가지로 나뉜다. 첫 번째는 전통적인 Smith Normal Form(SNF)을 직접 적용해 (G/\langle x\rangle)와 (G/\langle y\rangle)를 계산하고 동형 여부를 판단하는 방법이다. 여기서는 행렬 크기가 ((n+1)\times n)이며, 최신 매트릭스 곱셈 알고리즘(Strassen 등)을 이용하면 시간 복잡도가 (O(n^{2.8074}))가 된다. 두 번째 알고리즘은 군을 소일로 p‑군들로 분해한 뒤, 각 p‑군에 대해 특화된 “정렬‑추가” 절차를 사용해 지수 리스트를 변환함으로써 거의 선형 시간 (O(n\log n))에 근접한 복잡도를 달성한다. 특히 지수 (\le10^{20})인 경우 소인수분해 비용이 지배적이지만, 전체 복잡도는 (O(\exp((64/9)^{1/3}(\log a_n)^{1/3}(\log\log a_n)^{2/3})+n\log n\log a_n)) 로 제시된다. 실험 결과에 따르면, 랭크가 약 400 이하일 때는 전통 SNF 방식이 빠르고, 그 이상에서는 p‑군 분해 방식이 우세하다.

또한 자동동형 군 (\operatorname{Aut}(G))의 크기가 랭크 (n)에 대해 지수적으로 증가함을 증명함으로써, 전통적인 “모든 자동동형을 열거하고 검사” 방식이 실용적이지 않음을 이론적으로 뒷받침한다. 최종적으로, 제시된 두 알고리즘을 조합해 전체 군의 자동동형 궤(orbit)를 효율적으로 구하는 절차를 제시한다. 이는 군 이론과 계산군론 사이의 격차를 메우는 중요한 실용적 기여라 할 수 있다.