군 C 대수의 단위군으로 특징짓기 아벨 군 경우

본 논문은 “군 C* 대수의 단위군을 통해 원래 군을 얼마나 정확히 복원할 수 있는가”라는 질문을 중심으로, 아벨 군에 대한 일련의 정밀한 결과들을 제시한다. 서론에서는 이미 알려진 정리, 즉 torsion‑free 아벨 군 Γ에 대해 C*(Γ)의 단위군 U(C*(Γ))를 연결 성분 U₀으로 나눈 몫 U/U₀가 Γ와 동형이라는 사실을 출발점으로 삼는다. 이 정리는 Γ가 유한 생성군이든 무한 생성군이든, 혹은 직접극한으로 표현되는 경우든 모두 적용된다. 따라서 단위군은 torsion‑free 부분을 완전히 포착한다는 점을 확인한다. 그 다음 저자들은 일반 아벨 군 Γ를 토션 부분 t(Γ)와 토션 프리 부분 Γ/t(Γ)로 분해한다. Pontryagin 이중성에 의해 Γ의 이중군 bΓ는 컴팩트 아벨 군이며, C*(Γ)≅C(bΓ,ℂ)와 동형이다. 단위군은 따라서 연속 함수군 C(bΓ,𝕋)와 동일시된다. 이 함수군은 연결 성분 C₀(bΓ,𝕋)와 첫 동소호몰로 그룹 π₁(bΓ)=Hom(Γ,ℤ) 사이에 정확히 \