자유쌍대를 갖는 새로운 아벨 군의 구성

초록

본 논문은 Z^ω의 부분군 G를 구성하여 그 쌍대군 Hom(G,ℤ)이 자유 아벨 군이며 그 자유 차수가 연속체 크기 2^{ℵ₀}임을 보인다. 이는 Blass·Irwin·Schlitt의 질문에 대한 긍정적 답변이며, 더 큰 차수의 자유쌍대를 가질 수 있는지에 대한 논의와 추가적인 부분군들의 예시도 제시한다.

상세 분석

Z^ω는 가산 직합이 아니라 가산 직적이므로 그 구조는 매우 복잡하고, 특히 부분군들의 쌍대(Hom(·,ℤ))는 일반적으로 자유가 아니며 차수도 제한된다. 기존 연구에서는 특정 조건을 만족하는 부분군에 대해 쌍대가 자유가 되는 사례가 몇 개 알려져 있었지만, 자유 차수가 연속체 크기와 일치하는 예는 없었다. 본 논문은 이 공백을 메우기 위해 두 단계의 핵심 아이디어를 도입한다. 첫 번째는 “거의 서로소(Almost Disjoint)”인 무한 부분집합들의 가족 𝔽⊆℘(ω)를 연속체 크기만큼 선택하고, 각 A∈𝔽에 대해 특성 함수 χ_A∈ℤ^ω를 정의하는 것이다. 두 번째는 이러한 χ_A들의 선형 조합으로 생성되는 부분군 G=⟨χ_A : A∈𝔽⟩를 고려하면서, 각 A에 대응하는 평가 사상 φ_A:G→ℤ, φ_A(∑n_iχ_{A_i})=∑n_i|A∩A_i|을 정의한다. 𝔽가 거의 서로소이므로 |A∩A_i|는 대부분 0이 되고, 따라서 φ_A는 잘 정의된 정수값을 반환한다. 중요한 점은 서로 다른 A, B∈𝔽에 대해 φ_A와 φ_B가 선형 독립이며, 더 나아가 모든 정수 계수의 유한 선형 결합이 영 사상이 되려면 모든 계수가 0이어야 한다는 것이다. 이는 𝔽의 거의 서로소 성질이 보장한다. 따라서 {φ_A : A∈𝔽}는 Hom(G,ℤ) 안에서 자유 기저를 이루며, 그 기저의 크기는 |𝔽|=2^{ℵ₀}가 된다. 논문은 이 구조를 정밀히 검증하기 위해 다음과 같은 보조 정리를 제시한다. (1) G는 ℤ-모듈로서 완전히 자유가 아니지만, 그 쌍대는 완전 자유이다. (2) G의 원소는 유한 지원을 갖는 정수열들의 유한 합으로 표현될 수 있다. (3) φ_A들의 선형 독립성은 “거의 서로소” 조건이 없으면 깨지는 사례를 구체적으로 제시한다. 이러한 결과는 기존에 알려진 “프리 쌍대” 예시보다 훨씬 일반적이며, 특히 연속체 크기의 자유 차수를 얻는 것이 가능함을 보여준다. 논문은 또한 자유 차수를 더 크게 만들 수 있는 가능성을 탐색한다. 만약 2^{ℵ₀}보다 큰 기수 κ에 대해 거의 서로소 가족을 구성할 수 있다면, 동일한 방법으로 자유 차수 κ의 쌍대를 얻을 수 있을 것이다. 그러나 ZFC 내에서는 κ>2^{ℵ₀}인 거의 서로소 가족의 존재가 독립적이라는 점을 지적하고, 추가적인 집합론적 가정(예: 대연속체 가설) 하에서 가능한 예시를 제시한다. 마지막으로, Z^ω 안의 다른 유형의 부분군—예를 들어, 제한된 지원을 갖는 순열군이나, 특정 필터에 의해 정의된 군—에 대해서도 유사한 자유쌍대 구조가 나타날 수 있음을 논의한다. 전체적으로 이 논문은 자유쌍대 문제에 대한 새로운 구축법을 제공하고, 집합론과 대수학 사이의 미묘한 상호작용을 명확히 보여준다.