무한 지수의 아벨 군, 비이산 반사적 위상 존재 증명

본 논문은 “무한 지수(infinite exponent)를 갖는 모든 무한 아벨 군은 비이산이며 반사적(topologically reflexive)인 군 위상을 가질 수 있다”는 정리를 증명한다. 반사성은 군 G와 그 이중군 G^^가 위상 동형인 경우를 의미하며, 이는 조화 해석과 대수적 구조 사이의 깊은 연관성을 보여준다. 논문의 시작에서는 기본 개념을 정리한다. 군 G의 문자군 G^∧는 연속 동형사상 χ:G→𝕋(단위 원)들의 집합이며, G가 반사적이려면 자연 사상 α_G:g↦(χ↦χ(g))가 위상 동형이어야 한다. 이어서 “T‑시퀀스”라는 도구를 도입한다. 이는 어떤 수열 u={u_n}⊂G^∧가 존재하여, 특정 하우스도르프 군 위에서 u_n이 0으로 수렴하도록 할 수 있으면 T‑시퀀스라 정의한다. Zelenyuk와 Protasov의 결과에 따르면, 모든 무한 아벨 군은 문자들이 점을 구분하지 못하는 완전 위상을 가질 수 있다. 저자는 이 방법을 확장해, 특히 지수가 무한인 경우에 한정된 비이산 반사적 위상을 구성한다. 핵심은 “특징화된( characterized) 부분군” 개념이다. 컴팩트 메트리제이션된 군 X와 그 이중군 X^∧ 사이에 수열 u⊂X^∧를 잡고, s_u(X)= {x∈X : (u_n,x)→1} 를 정의한다. 이 집합에 메트릭 ρ(x,y)=d(x,y)+sup_n |(u_n,x)-(u_n,y)| 를 부여하면, (X,ρ)는 폴란드 군이 된다. 여기서 d는 X의 원래 메트릭이다. 이렇게 얻은 G_u:=s_u(X)는 “폴리시 가능한(polishable)” 군이며, G_u^∧는 원래 군과 대수적으로 동일함을 보일 수 있다. 다음으로, 무한 지수의 아벨 군이 반드시 다음 세 형태 중 하나를 포함한다는 사실을 이용한다. 1. 정수군 ℤ 2. Prüfer p‑군 ℤ(p^∞) (p는 소수) 3. 직접합 L_n ℤ(b_n) = ⊕_{n=1}^∞ ℤ(b_n) (b_n이 증가하며 무한히 커짐) 각 경우에 대해 별도의 T‑시퀀스를 구성한다. **ℤ의 경우**는 기존 문헌(정리 2,