R 톰슨 군 F의 유한 지수 부분군 완전 분류

초록

저자들은 R. 톰슨 군 F의 모든 유한 지수 부분군을 분류한다. F와 동형이 아닌 모든 이러한 부분군은 유한 순환군에 대한 비분리 확장으로, 그 확장은 F에 의해 이루어진다. 분류는 F와 동형인 유한 지수 부분군이 정확히 어떤 경우인지 규정하고, F와 동형이 아닌 경우에는 각각의 동형류를 서로 구별한다. 이때 확장의 구조는 ℤ × ℤ의 유한 지수 부분군 구조에 관한 성질을 이용해 기술된다.

상세 요약

R. 톰슨 군 F는 1970년대에 도입된 유명한 무한 군으로, 단순성, 비가환성, 그리고 다양한 위상·대수적 특성을 동시에 지니고 있다. 특히 F는 두 개의 기본적인 동형 사상(좌·우 끝점 고정)과 연산을 통해 정의되며, 그 하위 구조는 ℤ × ℤ와 깊은 연관성을 가진다. 본 논문은 “유한 지수 부분군”이라는 관점에서 F를 새롭게 조명한다. 유한 지수 부분군이란 F 안에 포함된 부분군 H가 F/H가 유한 집합이 되는 경우를 말한다. 일반적인 군 이론에서는 유한 지수 부분군이 원래 군과 거의 동형인 경우가 많지만, F는 특수한 경우를 제공한다.

논문은 먼저 F와 동형인 유한 지수 부분군을 정확히 규정한다. 여기서는 F 자체가 유일한 “자기 동형”인 경우와, F의 표준적인 사상(예: 좌·우 끝점의 이동을 조정하는 자동동형)으로부터 얻어지는 부분군을 식별한다. 이러한 부분군들은 모두 F의 구조를 그대로 보존하며, 군 연산이 그대로 전달된다.

그 다음으로, F와 동형이 아닌 유한 지수 부분군을 조사한다. 저자들은 이러한 부분군이 “비분리 확장(non‑split extension)” 형태임을 보인다. 구체적으로, 어떤 유한 순환군 Cₙ( n≥2 )이 존재하여 \