그룹의 조합적 파생 연산과 그 응용

초록

이 논문은 군 (G)의 모든 부분집합에 대해 (\Delta(A)={g\in G:\ |gA\cap A|=\infty}) 로 정의되는 조합적 파생 연산을 연구한다. 기본 성질, 얇음·희소성, 큰·작은 집합, 분할 문제, 역구성 및 (\Delta)-궤적, 그리고 위상적 파생 연산 (d)와의 관계를 체계적으로 제시한다.

상세 분석

조합적 파생 연산 (\Delta)는 군의 대칭성을 무한 교집합의 존재 여부로 포착한다는 점에서 기존의 대칭집합 개념을 일반화한다. 논문은 먼저 (\Delta(A)^{-1}=\Delta(A))와 (\Delta(A)\subseteq AA^{-1}) 등 기본적인 대수적 성질을 정리하고, (\Delta(A)=\varnothing) 가 (A)가 유한함과 동치임을 보인다. 두 집합 (A,B)에 대한 확장 연산 (\Delta(A,B))를 도입해 합집합·교집합에 대한 포함 관계를 분석하고, 유한 집합 (F)에 대해 (\Delta(FA)=F\Delta(A)F^{-1})임을 증명한다.

다음으로 얇음(thin)과 거의 얇음(almost thin) 개념을 정의한다. 얇은 집합은 (\Delta(A)={e}) 혹은 유한이며, 거의 얇은 집합은 (\Delta(A))가 유한인 경우이다. 저자는 (|\Delta(A)|)에 따라 거의 얇은 집합을 최대 (|\Delta(A)|-1)개의 얇은 집합으로 분할할 수 있음을 보이며, 특히 2‑희소(2‑sparse) 집합과의 동등성을 이용해 희소성의 계층 구조를 제시한다. 또한, 모든 무한 군은 2‑희소이면서 (\Delta)‑얇은 집합을 포함함을 증명하고, 이러한 집합이 반드시 (\Delta)-큰 집합이 아님을 예시한다.

큰(large)과 작은(small) 집합에 대해서는 (G=FA)인 유한 (F)가 존재하면 (A)는 (\Delta)-큰임을 보이며, 반대는 일반적으로 거짓임을 논한다. P‑작음(P‑small), 약 P‑작음(weakly P‑small) 등 다양한 작음 개념을 도입하고, 이들 사이의 포함 관계와 분할 가능성을 조사한다. 특히, 모든 무한 군이 P‑작음이면서 (\Delta)-작음이 아닌 집합을 가질 수 있음을 역구성 절차를 통해 보여준다.

분할(partition) 섹션에서는 유한 분할 (G=A_{1}\cup\cdots\cup A_{n})에 대해 적어도 하나의 셀 (A_{i})가 (\Delta)-큰임을 증명하고, 아민변 측정(amenable) 군에서는 (|F|\le n)인 유한 집합 (F)로 (G=F\Delta(A_{i}))를 얻는다. 또한, 기존 결과인 (G=FA_{i}A_{i}^{-1})를 (\Delta) 형태로 강화하고, (|F|\le 2^{2n-1}-1)라는 기존 상한을 개선할 가능성을 질문한다.

역구성 및 (\Delta)-궤적(trajectory) 부분에서는 주어진 대칭 집합 (A)에 대해 (\Delta(X)=A)가 되도록 (X)를 구성하는 방법을 상세히 제시한다. 가산 군에서는 (\Delta)-궤적을 임의의 길이와 형태(주기, 증가·감소, 혼돈)로 구현할 수 있음을 보여준다. 특히, (\Delta(A)=A)이면서 (A)가 부분군이 아닌 예시, 그리고 (\Delta^{k}(A))가 엄격히 감소하거나 증가하는 무한 사슬을 구성하는 방법을 제시한다.

마지막으로 위상적 파생 연산 (d)와의 관계를 탐구한다. (\beta G)의 자유 울트라필터를 이용해 (\Delta(A)=\bigcap_{p\in A^{*}}\operatorname{cl}(A,p)) 로 표현하고, 왼쪽 불변 위상에서 (A^{d}\subseteq\Delta(A))임을 보인다. 이를 통해 (\Delta)가 위상적 파생의 일반화이자, 군의 대수적·위상적 구조를 동시에 반영하는 연산임을 강조한다. 전체적으로 논문은 조합적 파생 연산의 기본 이론을 구축하고, 다양한 군 이론·조합론·위상학적 맥락에서의 응용 가능성을 제시한다.