위상화 가능한 그룹과 위상화 불가능한 그룹

초록

저자들은 모든 부분군의 모든 몫이 비이산 하우스도프 위상을 가질 수 없는 ‘전유전 위상불가능’ 무한군을 최초로 구축한다. 이를 통해 c‑compact(완비) 위상군이 반드시 콤팩트하지 않음을 보이고, Dikranjan‑Uspenskij가 제기한 여러 질문에 답한다. 또한 마크드 k‑생성군 공간에서의 일반적 성질을 이용해 위상화 가능한 군을 만드는 새로운 방법을 제시하고, 유한 지수의 비이산 준순환군 존재를 증명한다.

상세 분석

논문은 위상군 이론에서 오래된 두 가지 문제, 즉 ‘위상화 불가능한 군’과 ‘c‑compact 군이 콤팩트함을 의미하는가’에 대한 근본적인 답을 제공한다. 먼저 저자들은 “전유전 위상불가능(hereditarily non‑topologizable)”이라는 새로운 개념을 도입한다. 이는 어떤 군 G에 대해 모든 부분군 H≤G와 그 모든 몫 H/N이 비이산 Hausdorff 위상을 가질 수 없다는 뜻이다. 기존에 알려진 위상불가능 군들은 보통 특정 구조(예: Tarski monster)나 특정 조건(예: 무한 직교군) 하에서만 존재했으며, 전유전성을 만족하지 못했다. 저자들은 작은 생성군(small‑cancellation)과 고전적인 부정적 결과(Olshanskii의 군 구성 기법)를 결합해, 무한하면서도 전유전 위상불가능성을 갖는 구체적인 예시를 만든다. 이 군들은 비가산 자유군에 대한 적절한 인용과 복잡한 관계식으로 정의되며, 그 구조는 ‘그룹의 모든 비자명한 정규 부분군이 큰 지수’를 갖도록 설계된다.

이러한 군의 존재는 c‑compact성(모든 연속 사상에 대해 이미지가 콤팩트인 성질)과 콤팩트성 사이의 간극을 명확히 드러낸다. 기존에 c‑compact 군이 콤팩트일 것이라는 추측은, 특히 가산 생성군이나 메트릭 군에서 성립하는 경우가 많아 일반화가 어려웠다. 전유전 위상불가능 군 G를 위상군으로 간주하고, 그 위에 이산 위상을 부여하면 G는 자동으로 c‑compact가 된다. 그러나 G는 비이산 위상(예: 초극한 위상)에서는 전혀 존재하지 않으므로, G 자체가 콤팩트하지 않음이 증명된다. 이는 Dikranjan‑Uspenskij가 제시한 “c‑compact ⇒ 콤팩트?” 질문에 대한 부정적 답변이다.

다음으로 저자들은 마크드 k‑생성군 공간(Marked k‑generated groups)의 위상적·논리적 구조를 활용해 위상화 가능한 군을 구성하는 새로운 방법을 제시한다. 이 공간은 각 군을 k개의 생성원으로 표시하고, 그 관계를 토폴로지적으로 정리한 메트릭 공간이다. 여기서 ‘generic’(일반적인) 속성은 Baire 카테고리 정리를 이용해 ‘대다수’ 군이 만족한다는 의미다. 저자들은 특정 ‘generic’ 성질—예를 들어, 모든 비자명한 원소가 무한 차수인 군—이 위상화 가능성을 보장함을 증명한다. 이 접근법은 기존에 개별적인 구성법에 의존하던 위상화 가능 군의 존재 증명을 보다 체계적이고 보편적으로 만든다.

마지막으로 이 방법을 적용해 ‘비이산 준순환군(quasi‑cyclic group) of finite exponent’의 존재를 보인다. 기존에는 유한 지수와 비이산 위상이 동시에 가능한지에 대한 의문이 있었으며, Morris와 Obraztsov가 이를 질문하였다. 저자들은 위에서 만든 generic 위상화 가능한 군 중에서, 모든 원소가 유한 차수를 갖고, 전체 군이 준순환 구조를 이루는 경우를 선택한다. 결과적으로, 유한 지수(e)와 비이산 Hausdorff 위상을 동시에 만족하는 무한 군이 존재함을 확인한다. 이는 유한 지수 군에 대한 위상적 제한이 생각보다 약함을 시사한다.

전체적으로 이 논문은 군 이론과 위상학 사이의 깊은 상호작용을 새롭게 조명한다. 전유전 위상불가능 군의 구성은 기존의 부정적 결과를 확장하고, c‑compact와 콤팩트 사이의 차이를 명확히 한다. 동시에 마크드 군 공간을 통한 일반적 위상화 가능성 증명은 앞으로 다양한 위상군 문제에 적용될 수 있는 강력한 도구를 제공한다.