[논문 리뷰] A note on partitions of groups

Ігор Протасов, Sergii Slobodianiuk|arXiv (Cornell University)|2014. 08. 24.

Mathematics and Applications참고 문헌 5인용 수 4

한 줄 요약

이 논문은 기수로의 분할을 조사하며, 특수 기수 𝝳에 대해 자유군은 양측 모두가 왼쪽 𝝳-크지 않은 두 부분집합으로 분할 가능하지만, 기수 𝝳인 아벨 군은 그렇지 않음을 보여준다. 핵심 기여는 대칭성의 이분법적 성질로서, 분할 성질은 대수적 구조에 따라 달라지며, 아벨 군의 최대 𝝳-유계 위상에 응용된다.

ABSTRACT

Every infinite group $G$ of regular cardinality can be partitioned $G=A_1\cup A_2$ so that $G eq FA_1$, $G eq FA_2$ for every subset $F\subset G$ of cardinality $|F|

연구 동기 및 목표

• 프로타소프(2002)가 제기한 질문을 해결한다: 모든 기수 𝝳인 무한군은 양측 모두가 왼쪽-크지 않은 두 부분집합으로 분할될 수 있는가?
• 기수 𝝳인 자유군에서 관찰된 분할 성질이 다른 군 유형, 특히 아벨 군으로까지 확장되는가를 판단한다.
• 기수 𝝳인 아벨 군에 대해 최대 이동 불변 𝝳-유계 위상의 존재를 탐색한다.
• 특히 𝝳-정규성 하에서, 기수 𝝳인 군에서 두껍고 크지 않은 부분집합 간의 관계를 명확히 한다.

제안 방법

• 기수 기반의 𝝳-두껍고 𝝳-크지 않은 부분집합 정의를 사용하며, 여기서 𝝳는 |G| 이하인 무한 기수이다. 이를 보완을 통한 이중성 분석을 수행한다.
• 벌레인 정리(정리 1)를 적용하여, 정규 기수 군은 |G|개의 𝝳-두껍고 부분집합으로 분할 가능함을 보여준다.
• 코finality 추론과 크기가 < 𝝳인 부분집합으로 G를 분해함으로써, 기수 𝝳이 비정규일 경우 왼쪽 𝝳-두껍고 부분집합은 오른쪽 𝝳-크지 않은 부분집합임을 증명한다.
• 마지막 문자 기준 및 알파벳 기반 기준을 사용하여 자유군에 대한 명시적 분할을 구성함으로써, 비왼쪽-크지 않음을 보장한다.
• 인덱스가 붙은 알파벳을 기반으로 한 자유군의 직합을 사용하여, |x^G| < 𝝳 이지만 유한 분할 성질을 만족하지 못하는 반례를 구축한다.
• 불변 위상 이론 및 반바르크 측도 이론의 결과를 적용하여, 아벨 군 위상의 해석 가능성과 최대성 분석을 수행한다.

실험 결과

연구 질문

• RQ1 모든 기수 𝝳인 무한군은 양측 모두가 왼쪽 𝝳-크지 않은 두 부분집합으로 분할될 수 있는가?
• RQ2 기수 𝝳인 자유군에서 관찰된 분할 성질이 동일 기수의 모든 아벨 군으로까지 확장되는가?
• RQ3 기수 𝝳인 모든 아벨 군은 최대 이동 불변 𝝳-유계 위상을 갖는가?
• RQ4 군의 대수적 구조와 비크지 않은 부분집합으로의 유한 분할 존재성 간의 관계는 무엇인가?
• RQ5 𝝳-정규성 조건을 |x^G| < 𝝳로 약화시켜도, 비크지 않은 부분집합으로의 유한 분할 성질이 유지되는가?

주요 결과

• 기수 𝝳인 모든 자유군 F_A에 대해, F_A = B₁ ∪ B₂ 를 만족하는 분할이 존재하며, 이때 B₁ 및 B₂ 둘 다 왼쪽 𝝳-크지 않다.
• 반면, 기수 𝝳인 모든 아벨 군 G에 대해, 양측 모두가 왼쪽-𝝳-크지 않은 두 부분집합으로의 분할은 존재하지 않는다.
• G가 𝝳-정규이고 기수 𝝳일 경우, G의 모든 유한 분할은 적어도 하나의 𝝳-크지 않은 셀을 포함한다.
• 논문은 |x^G| < 𝝳를 만족하지만, 유한 개의 비크지 않은 부분집합으로 분할할 수 없는 반례 군 G(자유군의 직합)를 구성한다.
• 기수 𝝳인 모든 아벨 군은 최대 이동 불변 𝝳-유계 위상을 갖는다. 이 성질은 정규 기수 군에서는 성립하지 않는다.
• 기수 𝝳인 아벨 군에 대해 이러한 최대 위상의 존재는 분할 결과의 결과로 증명된다.