무한 단어를 통한 군 확장과 알고리즘적 성질

초록

이 논문은 이산적으로 순서가 매겨진 아벨 군 (A) 위의 무한 비아키메데안 단어들을 이용해 임의의 군 (G) 에 대한 확장군 (E(A,G)) 을 구성한다. 주요 결과는 (E(A,G)) 의 유한 생성 부분군에 대한 단어 문제와 (G) 의 순환 원소 포함 문제 사이의 결정 가능성 동등성을 보이며, 기존의 자유군 경우를 일반 군으로 확대한다. 또한 Myasnikov‑Remeslennikov‑Serbin이 정의한 무한 단어 부분모노이드를 자연스럽게 삽입하고, 토션 구조와 차수 2 원소들에 의한 생성, 그리고 여러 흥미로운 HNN‑확장의 포함을 연구한다.

상세 분석

논문은 먼저 이산적으로 순서가 매겨진 아벨 군 (A) (예: (\mathbb Z^n)) 위에 정의되는 무한 비아키메데안 단어들의 체계를 정형화한다. 이러한 단어들은 전통적인 유한 단어와 달리 무한히 길면서도 각 위치에 대한 ‘길이’가 (A) 의 원소로 측정되는 구조를 가진다. 저자들은 이 체계를 이용해, 주어진 군 (G) 에 대해 새로운 확장군 (E(A,G)) 을 정의한다. 구체적으로, (E(A,G)) 은 (A)‑지수의 자유 곱 (F(A)) 과 (G) 의 직접곱에 대한 특정 동형 사상으로 구성된 반직접곱 형태이며, 무한 단어의 접합 연산이 군 연산과 일치하도록 설계된다.

핵심 정리는 (E(A,G)) 의 유한 생성 부분군에 대한 단어 문제(Word Problem)가 (G) 의 순환 원소 포함 문제(Cyclic Membership Problem)와 결정 가능성에서 동치임을 보인다. 이는 (G) 내에서 순환 부분군에 대한 멤버십을 검사할 수 있으면, (E(A,G)) 내 모든 유한 생성 서브그룹에 대해 단어 동치 여부를 효과적으로 판단할 수 있음을 의미한다. 반대로, (E(A,G)) 에서 단어 문제를 해결할 수 있으면 (G) 의 순환 멤버십도 해결 가능하므로 두 문제는 정확히 같은 복잡도 클래스를 공유한다.

또한, Myasnikov·Remeslennikov·Serbin이 제시한 무한 단어 부분모노이드 (W(A,G)) 을 (E(A,G)) 에 자연스럽게 삽입함으로써, 기존 자유군에 한정된 결과를 일반 군으로 확장한다. 구조적 측면에서는 (E(A,G)) 가 차수 2 원소들만으로 생성될 수 있음을 보이며, 토션 원소의 존재와 그 유형을 상세히 분석한다. 특히, (A) 가 비트리비얼한 경우에는 무한 순환 토션이 나타날 수 있음을 증명한다.

마지막으로, 저자들은 (G) 의 특정 HNN‑확장(예: (G) 에 대한 (t^{-1}gt = \phi(g)) 형식)들이 (E(A,G)) 에 자연스럽게 포함되는 방법을 제시한다. 이 포함은 (E(A,G)) 가 원래 (G) 보다 풍부한 대수적 구조를 제공하면서도, 원래 (G) 의 알고리즘적 특성을 보존한다는 점에서 의미가 크다. 전체적으로 논문은 무한 단어를 통한 군 확장의 새로운 프레임워크를 제시하고, 알고리즘적 복잡도와 구조적 특성을 동시에 탐구한다.