시드닉 서브측도와 군의 두 부분 분할

초록

이 논문은 모든 가산 무한 군 G에 대해 임의의 자연수 k에 대해 G를 두 부분 A와 B로 나눌 수 있음을 보인다. 여기서 A와 B는 k‑원소 부분집합 K에 대해 KA와 KB가 두껍지 않은 k‑희박 집합이다. 핵심은 G가 ‘시드닉 서브측도’를 가짐을 이용하는데, 이는 왼쪽 불변 서브측도 μ가 μ(A)<1이면 μ가 작은 B⊂G\A와 유한 집합 F가 존재해 FB=G가 되도록 하는 성질이다. 이를 통해 두 k‑희박 집합의 존재를 구성한다.

상세 분석

논문은 먼저 서브측도와 두께(thick) 개념을 정밀히 정의한다. 집합 X⊂G가 F‑두껍다( F⊂G 유한)면 FX=X이며, 이는 X가 좌측 이동에 대해 큰 부분을 차지한다는 의미다. 반대로 k‑희박 집합은 모든 k‑원소 K⊂G에 대해 K·X가 두껍지 않음으로, K가 작아도 X가 전역적으로 퍼지지 못함을 나타낸다. 핵심 도구는 ‘시드닉 서브측도’ μ이다. μ는 ℘(G)→