최소군에서 수렴열의 존재와 비가환 사례

초록

본 논문은 최소 아벨 군이 무한하면 반드시 비자명한 수렴열을 포함한다는 사실을 증명하고, 아벨리안 조건을 없앨 수 없음을 보인다. 이를 위해 정규 기수 κ에 대해 자유군 F(κ) 위에 최소성을 갖는 토폴로지를 구성하여, κ보다 작은 부분집합은 모두 이산이며 비자명한 폐정규 부분군이 존재하지 않음을 보인다. 결과적으로 이러한 비가환 최소군은 모든 컴팩트 부분집합이 유한하고, 전혀 최소성을 유지한다는 특성을 가진다.

상세 분석

논문은 먼저 최소(topologically minimal) 군의 정의를 상기한다. 즉, Hausdorff 군 G에 대해 모든 연속 동형사상 f:G→H가 열린 사상이면 G를 최소라 부른다. 이 정의는 기존의 컴팩트 군이 자동으로 최소임을 포함한다는 점에서 자연스럽다. 기존 결과에 따르면 무한한 컴팩트 Hausdorff 군은 반드시 비자명한 수렴열을 포함한다. 저자는 이 사실을 아벨 군으로 일반화한다. 핵심 아이디어는 최소성이라는 강한 위상적 제약이 아벨 군 내부에 충분히 많은 연속 사상과 동형을 강제함으로써, 비트리비얼한 수렴열을 만들 수 있는 작은 부분군을 강제로 존재하게 만든다. 구체적으로, 무한 최소 아벨 군 G를 고려하고, G의 서브그룹 구조와 연속 문자(continuous characters)를 이용해 G의 이중대수적 구조를 분석한다. 최소성은 G가 완전히 비가산적인 경우에도 연속 문자들이 충분히 풍부함을 보장한다. 이를 통해 G 안에 순서가 ω인 비자명한 수열 (x_n)_{n∈ℕ}이 존재하고, 이 수열이 어떤 원소 x∈G로 수렴함을 증명한다. 여기서 “비자명함”은 모든 x_n이 서로 다르고, 극한점 x가 수열의 원소와 동일하지 않음을 의미한다.

다음으로 저자는 “아벨리안” 가정이 필수임을 보이기 위해, 정규 기수 κ(예: ℵ₁, ℵ₂ 등) 위의 자유군 F(κ)를 사용한다. 자유군은 비가환 구조를 갖고, 생성자 수가 κ이므로 매우 큰 차원을 가진다. 저자는 κ에 대한 특정한 토폴로지 T_κ를 정의한다. 이 토폴로지는 다음 세 가지 핵심 성질을 만족한다. (i) (F(κ),T_κ)는 최소 군이다. 즉, 어떤 연속 동형사상이든 열린 사상이 된다. (ii) 크기가 κ보다 작은 모든 부분집합은 T_κ-이산이며, 따라서 폐집합이다. 이는 작은 집합이 어떠한 수렴열도 만들 수 없음을 의미한다. (iii) 비자명한 폐정규 부분군이 존재하지 않는다. 즉, 정상군 구조가 극단적으로 단순하다. 이러한 성질을 증명하기 위해 저자는 전이 토폴로지와 자유군의 기본적인 대수적 성질을 결합한다. 특히, 자유군의 단어 길이와 생성자 인덱스에 대한 복합적인 필터링을 이용해, 어떤 비자명한 정규 부분군이라도 반드시 κ-크기의 집합을 포함하게 하여 (ii)와 모순을 일으킨다.

결과적으로 (F(κ),T_κ)는 모든 컴팩트 부분집합이 유한하고, 어떠한 Hausdorff 몫군도 최소성을 유지하는 전적으로 최소(totally minimal)인 예시가 된다. 이는 “아벨리안” 가정이 없으면 무한 최소 군이 반드시 비자명한 수렴열을 포함하지 않을 수 있음을 강력히 시사한다.