R. 톰프슨 군 F의 유한 지수 부분군 전면 분류

본 논문은 R. 톰프슨이 정의한 유명한 무한 군 F의 모든 유한 지수 부분군을 체계적으로 분류한다. 연구는 크게 네 부분으로 전개된다. 첫 번째 단계에서는 F를 “0과 1 근처에서 기울기가 2의 거듭제곱인 조각선형, 방향보존 홈오몰피즘”으로 정의하고, φ : F → ℤ², φ(f) = (log₂ f′(0), log₂ f′(1)) 라는 사상을 도입한다. 이 사상은 F′, 즉 양쪽 미분값이 1인 교환군이 핵심임을 이용해 φ가 F/F′와 ℤ²를 동형시킨다(정리 4.1). 따라서 F의 유한 지수 부분군을 이해하려면 ℤ²의 유한 지수 격자 부분군을 이해하면 충분하다. 두 번째 단계에서는 양의 정수 a, b에 대해 ˜K(a,b)=⟨(a,0),(0,b)⟩⊂ℤ²를 정의하고, K(a,b)=φ⁻¹(˜K(a,b)) 로 정의된 부분군을 ‘직사각형 군’이라 부른다. K(a,b)는 “0 근처 기울기가 2ᵃ, 1 근처 기울기가 2ᵇ인 원소들”의 집합이며, F 자체는 K(1,1)이다. 세 번째 단계에서는 유한 지수 부분군 H⊂F의 구조를 파악한다. Lemma 1.3에 의해 모든 유한 지수 부분군은 F′를 포함한다. Lemma 1.5는 H 안에 유일한 최대 직사각형 부분군 Inner(H)와 최소 직사각형 상위군 Outer(H)를 정의한다. 구체적으로, Inner(H)=K(a,b)이며, a와 b는 φ(H)∩˜K(a,b)의 최대 지수이다. 정리 1.6은 φ가 F와 ℤ² 사이에 일대일 대응을 만든다는 사실을 명시한다. φ(H)=˜H⊂ℤ²라 하면, ˜K(a,b)⊂˜H이며, ˜H/˜K(a,b)는 유한 순환군 Q이다. 이때 H/Inner(H)≅Q와 동형이며, 확장 1 → K(a,b) → H → Q → 1 은 정확히 비분할이다(정리 1.2). Q가 자명하면 H=K(a,b)이고, 이는 F와 동형이다(정리 1.1). Q가 비자명하면 H는 F와 비동형이며, 새로운 비분할 확장 구조를 갖는다. 네 번째 단계에서는 두 유한 지수 부분군 H, H′의 동형성을 판정한다. 각 군에 대해 Outer(H)=K(a,b), Outer(H′)=K(c,d)라 하면, τ(a,b)와 τ(c,d)라는 표준 동형사상을 선택한다(τ은 K(a,b)→F를 보낸다). 또한 Rev는 구간을 뒤집는 자동사상이다. 정리 1.8은 τ(a,b)(H)=τ(c,d)(H′) 또는 τ(a,b)(H)=Rev∘τ(c,d)(H′) 인 경우에만 H와 H′가 동형임을 보인다. 이는 φ‑이미지와 Residue(H)=|H/Inner(H)|가 동일함을 의미한다(Lemma 1.7). 논문은 또한 예시를 통해 Q가 비자명한 경우를 구체적으로 제시한다. 예를 들어 K(2,2)⊂F는 φ‑이미지가 2ℤ×2ℤ이므로, F/K(2,2)≅ℤ₂×ℤ₂이며, 이는 비분할 확장으로 F와 동형이 아니다. 마지막으로, 기존 연구와의 관계를 논한다. Brin의 ubiquity 결과와 Burillo‑Cleary‑Röver의 커뮤테이터 연구를 언급하며, 이 논문의 접근법이 ℤ²와 F 사이의 일대일 대응을 직접적인 사상 φ를 통해 얻는 새로운 방법임을 강조한다. 요약하면, 논문은 φ를 매개로 F의 유한 지수 부분군을 ℤ²의 격자 부분군과 정확히 대응시키고, 그 안에서 최대 직사각형 군을 찾아내어 남은 부분을 순환군 Q 로서 비분할 확장 구조를 만든다. 이를 통해 어떤 유한 지수 부분군이 F와 동형인지, 서로 동형인지, 혹은 새로운 비동형 군인지 완전히 판정한다.