유한계수 대칭역반군의 폐쇄성 및 조밀 임베딩

본 논문은 대칭역반군 $I^{\lambda}_{n}$(순위 $n$ 이하인 유한 변환들의 집합)의 위상적 성질을 조사하기 위해 새로운 두 개념, 즉 ω‑불안정 집합과 조밀 이데알 연쇄(tight ideal series)를 도입한다. 첫 번째 섹션에서는 ω‑불안정의 정의와 기본적인 예시를 제시한다. 무한 집합 $D$가 ω‑불안정이면, 임의의 $a\in D$와 무한 $B\subseteq D$에 대해 $aB\cup Ba$가 $D$에 완전히 포함되지 않는다. Lemma 2는 $\lambda$가 무한일 때 $D=I^{\lambda}_{n}\setminus I^{\lambda}_{n-1}$가 ω‑불안정임을 보이며, 이는 이후 증명의 핵심 도구가 된다. 다음으로 세미위상반군(semitopological semigroup) $S$와 그 부분반군 $T$를 고려한다. $T$가 이데알 $I$와 차집합 $D=T\setminus I$가 ω‑불안정일 때, $S$ 안의 $T$의 극한점 $s$는 모든 $t\in T$에 대해 $st\in I$ 혹은 $ts\in I$를 만족한다(Lemma 3). 이 결과는 Corollary 4로 이어져, $xyx=x$인 원소 $x$가 $I$에 속하거나 $T$ 안에서 고립점임을 보인다. 조밀 이데알 연쇄는 $I_{0}\subseteq I_{1}\subseteq\cdots\subseteq I_{m}=S$와 같은 이데알 연쇄에서 $I_{0}$가 유한하고 각 차이집합 $D_{k}=I_{k}\setminus I_{k-1}$가 ω‑불안정인 경우를 말한다(Definition 5). 이 연쇄를 갖는 정규 반군에서는 각 $I_{k}$가 폐쇄이며, $S\setminus I_{m-1}$의 모든 원소가 고립점이라는 Proposition 7을 증명한다. 이러한 일반 결과를 $I^{\lambda}_{n}$에 적용한다. $I^{\lambda}_{n}$은 $I^{\lambda}_{0}=\{\emptyset\}\subseteq I^{\lambda}_{1}\subseteq\cdots\subseteq I^{\lambda}_{n}$와 같은 조밀 이데알 연쇄를 갖는다(Example 6). 따라서 $I^{\lambda}_{n}$을 포함하는 어떤 세미위상반군 $S$에서도 $I^{\lambda}_{n}$은 폐쇄 집합이 된다(Corollary 8). 특히 역원 연산이 연속인 세미위상역반군의 경우, Proposition 10에 의해 조밀 이데알 연쇄를 갖는 부분역반군은 자동으로 폐쇄된다. 이를 통해 $I^{\lambda}_{n}$이 모든 연속 역원 반군에서 H‑closed이며, 따라서 algebraically closed임을 얻는다(Corollary 14, 15). 반면, 논문은 $I^{\lambda}_{k}$가 모든 위상 반군에서 H‑closed가 아님을 보여주는 두 개의 구체적 예시를 제시한다. Example 16에서는 $I^{\lambda}_{k}$에 새로운 원소 $a$를 추가하고, $a$의 근방을 특정한 무한 집합들의 합집합으로 정의함으로써 $I^{\lambda}_{k}$가 로컬 컴팩트 반군 안에서 밀집하지만 폐쇄가 아닌 경우를 만든다. Example 17에서는 항등원 $\iota$를 추가하고, $\iota$의 근방을 $\iota$와 특정 이데알을 포함하는 집합들로 구성해, $I^{\lambda}_{\infty}$가 연속 역원 연산을 갖는 위상 역반군에 조밀하게 포함되지만 폐쇄가 아니게 된다. 마지막으로, 조밀 이데알 연쇄를 갖는 반군 클래스가 유한 직적곱과 유한 상(quotient)에서도 닫혀 있음을 Lemma 18과 Lemma 19로 증명한다. 이를 통해 $P\!T(X,I)_{n}$과 같은 보다 일반적인 부분함수 반군도 동일한 폐쇄성 특성을 공유함을 확인한다. 전체적으로 논문은 ω‑불안정과 조밀 이데알 연쇄라는 두 도구를 활용해, 대칭역반군 $I^{\lambda}_{n}$이 연속 역원 위상반군에서 대수적으로 폐쇄(algebraically closed)하고 H‑closed임을 체계적으로 증명한다. 동시에 이러한 폐쇄성이 항상 성립하지 않음을 구체적인 반례를 통해 보여줌으로써, 어느 정도의 위상적 제약이 필요한지를 명확히 제시한다.