가산가능 아벨 군은 가산가능 가분 군의 부분군이다

논문은 “각 두 번째 가산가능 아벨 군은 두 번째 가산가능 가분 군의 부분군이다”라는 명제를 증명하기 위해, 먼저 의사노름(pseudonorm)과 그에 의해 유도되는 위상 구조를 체계적으로 분석한다. 의사노름 |·|_H는 H⊂G에 정의된 비음함수로, 삼각 부등식과 |0|=0을 만족한다. 이러한 의사노름은 (H,|·|_H)를 의사메트릭 공간으로 만들며, 그 밀도 d(H,|·|_H)는 조밀한 부분집합의 최소 크기로 정의된다. **Theorem 1**은 핵심 결과로, H에 정의된 임의의 의사노름을 G 전체에 연장하면서 d(H,|·|_H)=d(G,|·|_G)를 유지할 수 있음을 보인다. 증명은 두 단계로 나뉜다. 첫 단계(Lemma 2)에서는 G/H가 소수 차수(p‑exponent)를 갖는 경우, 즉 G/H가 p‑그룹인 상황을 다룬다. 여기서는 G의 원소를 H의 원소와 p‑배수 형태의 합으로 표현하고, 복합적인 인덱스 집합 I를 선택해 새로운 의사거리 ρ(x,y) = inf{ |u−v|_H + Σ|p g_α_i − p g_β_i|_H }를 정의한다. ρ는 H 위에서는 기존 의사노름과 일치하고, H와 G 각각에 조밀한 집합 D와 I를 적절히 선택함으로써 d(G,ρ)≤d(H,|·|_H)임을 보인다. 또한 ρ(x,y)=|x−y|_H (x,y∈H)임을 확인해 두 위상의 밀도가 정확히 일치함을 증명한다. 두 번째 단계(Lemma 3)는 G/H가 주기적(periodic)인 일반적인 경우를 다룬다. 무한히 많은 소수들의 열 (p_i)_{i≥1}을 잡아 H₀=H, H_{i+1}=p_{i+1}^{−1}H_i (즉 p_{i+1}x∈H_i인 원소들의 집합) 로 정의한다. 주기성 때문에 G=⋃_{i≥1}H_i가 된다. 각 단계마다 Lemma 2를 적용해 H_i에 의사노름 |·|_i를 정의하고, 조밀집합 D_i를 유지한다. 최종적으로 G에 대한 의사노름 |·|_G를 |·|_i (x∈H_i) 로 정의하면, |·|_G는 |·|_H를 연장하고, 조밀집합 D=⋃D_i의 크기가 d(H,|·|_H)와 동일함을 얻는다. **Theorem 2**는 위의 의사노름 연장을 위상적으로 해석한다. 의사노름이 생성하는 기본 열린 구(ε‑ball)들을 이용해 Hausdorff ω‑bounded 위상 τ_H를 정의하고, 이를 G에 연장해 τ_G를 만든다. 이때 boundedness index ib(G,τ_G)=ib(H,τ_H)이며, 문자수 χ(G,τ_G)=max{χ(H,τ_H),log|G|}, 무게 w(G,τ_G)=max{w(H,τ_H),log|G|}가 성립한다. 특히, G가 연속체(𝔠) 이하의 기수를 가질 경우 log|G|≤ℵ₀이므로 χ와 w는 가산가능성을 유지한다. 이러한 일반 정리들로부터 세 가지 주요 추론이 도출된다. 1. **Corollary 1**: |G|≤𝔠인 경우, H의 가산가능 메트릭 위상을 G에 가산가능 메트릭 위상으로 연장할 수 있다. 2. **Corollary 2**: 모든 아벨 군 H(무토션)는 같은 기수의 가분 군 G에 포함될 수 있다. 위상적으로는 w(G)=w(H), χ(G)=χ(H), ib(G)=ib(H)까지 보존한다. 3. **Corollary 3**: 가산가능 메트릭 아벨 군 H(무토션)는 가산가능 메트릭 가분 군 G(무토션)의 부분군이 된다. 이때 G는 선택공리(AC)를 이용해 구성되며, 그 구조는 복잡하지만 가산가능성을 유지한다. 논문은 또한 가분 아날리틱(analytic) 군에 대한 제한을 제시한다. **Proposition 1**은 폴리시(Polish) 군 H가 가분 아날리틱 군 G에 포함될 경우, 모든 n∈ℕ에 대해 1/n: nH→H가 연속이어야 함을 보인다. 이를 이용해 **Example 1**에서는 특정 ℝ^ω 위에 정의된 폴리시 군 H를 구성하고, 1/2가 불연속임을 증명한다. 따라서 H는 가분 아날리틱 군에 포함될 수 없으며, 이는 G가 일반적으로 아날리틱이 아님을 보여준다. 마지막으로 선택공리와 결정공리 사이의 차이를 논한다. **Remark 1**에서는 AD(Determinacy) 하에서는 모든 집합이 Baire 성질을 가지므로 Open Mapping Principle이 강화된다. 이 경우 Proposition 1의 연속성 조건이 자동으로 만족되어, Example 1의 H는 AD 하에서도 가분 메트릭 군에 포함될 수 없게 된다. 즉, Corollary 3는 AC가 전제된 ZFC 체계에서는 참이지만, AD를 가정하면 거짓이 된다. 이는 본 결과가 선택공리의 강력한 사용에 의존함을 명확히 보여준다. 전체적으로 논문은 위상대수학과 집합론적 선택 원리 사이의 깊은 연관성을 밝히며, 가산가능 메트릭 아벨 군을 가분 군 안에 끼워 넣는 새로운 방법을 제공한다. 이는 기존의 순수 대수적 결과(모든 무토션 아벨 군은 가분 군에 포함)와 달리 위상적 성질(가산가능성, 메트릭성, ω‑boundedness)을 동시에 보존한다는 점에서 의미가 크다.