정수 초확장 λZ의 최소 좌측 이상체와 2adic 정수 초확장의 위상동형

이 논문은 초확장 λ(X)라는 개념을 중심으로, 특히 X가 정수군 ℤ일 때의 구조를 상세히 분석한다. 초확장은 최대 연결 시스템(maximal linked systems)들의 집합으로 정의되며, 이는 Stone‑Čech 컴팩트화 β(X)를 포함하는 컴팩트하고 오른쪽 위상 반군인 G(X)의 닫힌 부분집합이다. 저자는 먼저 오른쪽 위상 반군의 일반적 성질을 정리하고, 최소 좌측 이상체가 존재하고 서로 위상동형임을 언급한다. 그 다음, 포함 초공간 G(X)와 그 위에 정의되는 연산 ∗를 소개한다. 이 연산은 초필터(ultrafilter) 연산과 동일한 형태를 가지며, G(X)를 오른쪽 위상 반군으로 만든다. λ(X)는 G(X) 안에서 자기 자신과 전치(⊥)가 같은 원소들의 집합으로, 따라서 λ(X) 역시 오른쪽 위상 반군 구조를 물려받는다. 논문은 ‘odd group’이라는 특수한 군을 정의하고, 이러한 군에서는 λ(G)의 최소 좌측 이상체가 모두 단일 원소(오른쪽 영)임을 증명한다. 이는 불변 최대 연결 시스템이 존재하고, 그 시스템이 바로 오른쪽 영이자 최소 좌측 이상체가 되는 사실과 동치이다. 그 후, 일반 군 G와 정상 홀 부분군 H에 대해 사상 π:G→G/H를 고려한다. λπ가 H‑불변 최대 연결 시스템 A에 대해 λπ|_{λ(G)*A}가 단사임을 보이는 Lemma 3.2와, 이를 이용해 λπ가 λ(G) 전체의 최소 좌측 이상체에 대해 단사임을 보이는 Corollary 3.3을 제시한다. 이는 G의 최소 좌측 이상체가 G/H의 최소 좌측 이상체와 위상동형임을 의미한다. 다음 섹션에서는 최대 불변 연결 시스템 L₀와 그 상향 집합 ↑L₀가 λ(G)에서 좌측 이상체임을 증명한다. 특히 아벨 군 G에 대해 L₀⊥\L₀에 속하는 집합 A는 어떤 원소 x∈G에 대해 xA=G\A가 되며, 따라서 A는 2배 대칭성을 가진다(정리 4.2). 이 성질은 ℤ에 적용될 때, L₀⊥\L₀에 포함된 모든 집합이 2ⁿ‑배 대칭을 만족함을 보여준다. 본 논문의 핵심 결과는 ℤ와 2‑adic 정수군 ℤ₂ 사이의 자연 사상 π:ℤ→ℤ₂에 대한 λπ가 ℤ의 최소 좌측 이상체에 대해 단사임을 증명한 것이다. 이를 위해 위에서 얻은 2ⁿ‑대칭성을 이용해 적절한 n을 선택하고, π₂ⁿ:ℤ→C₂ⁿ(=ℤ/2ⁿℤ) 사상에 대한 λ‑사상이 두 최소 좌측 이상체를 구별함을 보인다. 또한, C₂ⁿ→C₂ᵏ 사상에 대한 λ‑사상이 최소 좌측 이상체에서 단사임을 기존 결과(Corollary 3.3)로부터 끌어온다. 따라서 λπ는 ℤ의 모든 최소 좌측 이상체를 ℤ₂의 최소 좌측 이상체와 일대일 대응시켜, λ(ℤ) 자체가 메트릭 가능하고 컴팩트한 위상 반군임을 확인한다. 결과적으로, 초확장 λ(ℤ)의 최소 좌측 이상체는 λ(ℤ₂)의 최소 좌측 이상체와 위상동형이며, 이는 λ(ℤ)이 메트릭 가능하고 영(0‑차원)인 컴팩트 반군이라는 중요한 구조적 특성을 제공한다. 이 연구는 초확장 이론과 2‑adic 분석을 연결함으로써, 군론, 위상대수학, 그리고 조합론적 응용에 새로운 시각을 제시한다.