국소 콤팩트 비가분 아벨 군의 새로운 반례

초록

이 논문은 할머스가 제시한 “문자군이 무한소( torsion‑free)이면 원군은 가분(divisible)이다”라는 명제가 거짓임을 보인다. 저자는 기존 반례보다 강력한 예시를 제시하여, 문자군이 무한소이면서 동시에 가분이어도 원군이 가분일 필요가 없음을 증명한다.

상세 분석

논문은 먼저 할머스의 주장에 대한 배경을 정리한다. 국소 콤팩트 하우스도프 아벨 군 G에 대해, 그 문자군 ˆG는 연속적인 복소수값 문자들의 집합이며, Pontryagin 이중성에 의해 ˆˆG≅G가 된다. 할머스는 ˆG가 무한소이면 G가 가분이라고 주장했지만, 이는 가분성의 대수적 성질을 위상적 성질과 혼동한 결과로 보인다. 기존 문헌에서는 Armacost가 제시한 반례가 존재함을 알지만, 그 반례는 ˆG가 가분이 아닌 경우에 한정된다. 저자는 여기서 한 단계 더 나아가, ˆG가 무한소이면서 동시에 가분인 경우에도 G가 가분이 될 필요가 없음을 보인다. 핵심 아이디어는 “비가분적인 컴팩트 성분”과 “가분적인 이산 성분”을 적절히 결합한 직합 혹은 확장 구조를 이용하는 것이다. 구체적으로, 저자는 p‑adic 정수군 Zp와 실수군 R을 이용해 G₁=R×Zp 를 만든 뒤, Zp 안에 가분인 조밀 부분군 D⊂Zp 를 선택한다. 그 후 G=G₁/D 로 정의하면, G는 국소 콤팩트이며 Hausdorff이다. 이때 문자군 ˆG는 D의 대수적 듀얼과 동형이 되며, D가 가분이고 무한소이므로 ˆG 역시 무한소이면서 가분이다. 그러나 G 자체는 Zp의 비가분성 성분을 포함하고 있기 때문에 가분이 아니다. 이와 같은 구성은 일반적인 직합 G=K×D (K는 비가분 컴팩트 군, D는 가분 이산 군)에서도 동일하게 적용될 수 있다. 논문은 이러한 예시들을 체계적으로 정리하고, 각 단계에서 Pontryagin 이중성, 연속성 조건, 그리고 가분성·무한소성의 대수적 정의가 어떻게 상호작용하는지를 상세히 증명한다. 특히, 문자군이 가분이라는 사실이 G의 연속적 구조에 직접적인 제약을 주지 않으며, 오히려 위상적 비가분 성분이 존재할 수 있음을 강조한다. 마지막으로 저자는 이러한 반례가 기존 이론에서 놓친 “위상적 비가분 성분과 대수적 가분 성분의 비동조성”을 드러낸다고 평가한다.