카운트블리 콤팩트 0단순 위상역 세미그룹 구조

본 논문은 0‑단순이며 카운트블리 콤팩트한 위상역 세미그룹(Topological Inverse Semigroup)의 구조를 완전 0‑단순 형태인 Brandt λ‑확장으로 완전하게 기술한다. 연구는 크게 네 부분으로 전개된다. 첫 번째 부분에서는 카운트블리 콤팩트 위상역 세미그룹이 이항군(bicyclic semigroup) C(p,q)를 포함할 수 없음을 보인다. 가정에 따라 C(p,q)를 포함하는 경우, 그 폐쇄인 S=cl_T(C(p,q))는 카운트블리 콤팩트 공간이면서도 C(p,q)가 이산 위상만을 허용한다는 사실을 이용한다. 연속 사상 φ(x)=xx^{-1}, ψ(x)=x^{-1}x을 정의하고, 이들의 역상 A=φ^{-1}({1})∪ψ^{-1}({1})가 C(p,q) 안에 포함되는 클롭(clopen) 무한 집합이 된다. 그러나 카운트블리 콤팩트 공간에서는 고립점이 무한히 존재하면 클롭 집합이 무한히 생겨 모순이 발생한다. 따라서 카운트블리 콤팩트 위상역 세미그룹은 C(p,q)를 포함할 수 없으며, 결과적으로 (0‑)단순 카운트블리 콤팩트 위상역 세미그룹은 (0‑)완전 단순(complete simple) 구조를 가져야 함을 도출한다. 두 번째 부분에서는 Brandt λ‑확장 B_λ(S)의 정의와 기본 성질을 소개한다. B_λ(S) = I_λ × S^1 × I_λ ∪ {0}이며, 곱셈은 행렬 형태로 정의된다. λ>1인 경우, B_λ(G)는 완전 0‑단순 역 semigroup이며, λ=1이면 단순히 S에 영을 붙인 형태가 된다. 논문은 B_λ(S) 내부의 부분집합 A_{αβ}= { (α, s, β) | s∈A }가 서로 위상동형임을 보이는 Lemma 1을 제시한다. 이는 사상 φ_{γδ}^{αβ}(x) = (γ,1,α)·x·(β,1,δ) 가 연속 전단사임을 이용한다. 세 번째 부분은 핵심 정리들이다. 정리 2는 0‑단순 카운트블리 콤팩트 위상역 세미그룹 S가 유한 집합 I_λ와 카운트블리 콤팩트 위상군 H에 대해 B_λ(H)와 위상동형임을 증명한다. 증명은 먼저 S가 완전 0‑단순임을 정리 1로부터 얻고, Rees‑matrix 이론에 의해 S는 B_λ(G)와 대수적으로 동형임을 이용한다. 이후 B_λ(e_H) (행렬 단위 세미그룹)의 폐쇄성 및 카운트블리 콤팩트성을 통해 λ가 유한함을 보인다. 따라서 S는 유한 개의 클롭 합과 영점 하나로 이루어진 위상공간이며, 각 클롭은 H와 위상동형이다. 정리 3은 위의 구조를 Stone‑Čech 컴팩티피케이션 βS에까지 확장한다. B_λ(H)는 pseudo‑compact(의사 콤팩트) 공간이며, 각 클롭 H_{αβ}도 pseudo‑compact이다. β(H×I_λ×I_λ)=βH×I_λ×I_λ 임을 이용해 β(B_λ(H))=B_λ(βH)임을 보인다. 따라서 βS는 0‑단순 위상역 세미그룹 구조를 유지하고, 포함 사상 S→βS는 위상동형이다. 정리 4는 자전동형(congruence‑free)인 카운트블리 콤팩트 위상역 세미그룹을 다룬다. 위의 구조 결과에 따라 S는 B_λ(H)와 동형이며, H가 자명군이 아니면 자연스러운 사상 h:B_λ(H)→B_λ(0) (행렬 단위만을 보존) 가 존재한다. 이 사상은 비자명한 동형 사상이며, 이는 자전동형 조건에 위배된다. 따라서 H는 자명군이어야 하고, λ는 유한하므로 S는 단순히 유한 행렬 단위 세미그룹 B_λ(0)와 동형이다. 논문은 또한 카운트블리 콤팩트와 pseudo‑compact, Tychonoff, Stone‑Čech 등 위상적 개념을 적절히 활용해 기존의 컴팩트 혹은 locally compact 경우와 차별화된 결과를 제공한다. 특히, λ가 유한함을 보이는 핵심 단계에서 B_λ(e_H)의 카운트블리 콤팩트성(그리고 이산성)으로부터 유한성을 도출하는 논증은 새로운 통찰을 제공한다. 최종적으로, 0‑단순 카운트블리 콤팩트 위상역 세미그룹은 유한한 Brandt λ‑확장 형태이며, 자전동형인 경우는 유한 행렬 단위 세미그룹에 한정된다는 완전한 구조 이론을 제시한다.