[논문 리뷰] Factor = quotient, uncountable Boolean algebras, number of endomorphism and width

Saharon Shelah|ArXiv.org|1992. 01. 15.

Advanced Topology and Set Theory참고 문헌 3인용 수 4

한 줄 요약

이 논문은 적절한 기수 산술 조건 하에서, 모든 호모모르픽 이미지가 인자와 동형인 부울 대수에서 국소적으로 작은 조밀도를 가져야 한다고 증명한다. 또한 무한 부울 대수에 대해 부분대수의 수는 종결사상의 수보다 작지 않음을 증명하고, 상호비가능한 원소들의 집합의 크기의 상한을 조사한다. 주요 기여는 집합론적 방법을 사용하여 기수 산술, 인자 구조, 종결사상 수, 그리고 비가산 부울 대수의 너비 사이의 연결 고리를 밝혀낸 데 있다.

ABSTRACT

We prove that assuming suitable cardinal arithmetic, if B is a Boolean algebra every homomorphic image of which is isomorphic to a factor, then B has locally small density. We also prove that for an (infinite) Boolean algebra B, the number of subalgebras is not smaller than the number of endomorphisms, and other related inequalities. Lastly we deal with the obtainment of the supremum of the cardinalities of sets of pairwise incomparable elements of a Boolean algebra.

연구 동기 및 목표

• 모든 호모모르픽 이미지가 인자와 동형인 부울 대수의 구조적 제약 조건을 조사하는 것.
• 무한 부울 대수에서 부분대수의 수와 종결사상의 수 사이의 관계를 규명하는 것.
• 비가산 부울 대수에서 상호비가능한 원소들의 집합의 크기의 상한(너비)을 분석하는 것.
• 이러한 부울 대수에서 국소적으로 작은 조밀도를 가져야 하는 조건을 확립하는 것.
• 기수 산술과 부울 대수의 대수적 성질 사이의 상호작용을 탐색하는 것.

제안 방법

• 논문은 비가산 부울 대수의 구조를 분석하기 위해 집합론적 모델 이론과 기수 산술 기법을 활용한다.
• 적절한 기수 산술을 가정함으로써, 인자 = 몫 조건을 만족하는 부울 대수의 조밀도에 대한 제약 조건을 유도한다.
• 부분대수-종결사상 부등식의 증명은 부울 대수 이론 내에서의 조합론적 추론과 기수 비교에 기반한다.
• 너비 분석은 포스팅 유사 또는 독립성 추론을 사용하여 상호비가능한 원소들의 집합을 구성하거나 유계화하는 데 사용된다.
• 부울 대수에서의 호모모르즘과 몫에 관한 기존 결과를 적용하여 구조적 결과를 도출한다.
• 부분대수와 종결사상 사이의 이중성을 활용하여 부분대수 수의 하한을 확립한다.

실험 결과

연구 질문

• RQ1 모든 호모모르픽 이미지가 인자와 동형이 되는 부울 대수에서 국소적으로 작은 조밀도를 가져야 하는 조건은 무엇인가?
• RQ2 무한 부울 대수에서 부분대수의 수와 종결사상의 수 사이의 최소 가능한 관계는 무엇인가?
• RQ3 기수 산술을 사용하여 부울 대수에서 상호비가능한 원소들의 집합의 크기의 상한을 유계화할 수 있는가?
• RQ4 인자 = 몫 조건은 비가산 부울 대수의 전체적인 구조에 어떻게 제약을 가하는가?
• RQ5 기수 산술은 비가산 부울 대수의 너비와 조밀도를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 적절한 기수 산술을 가정할 경우, 부울 대수 B의 모든 호모모르픽 이미지가 인자와 동형이라면, B는 국소적으로 작은 조밀도를 가진다.
• 모든 무한 부울 대수 B에 대해, 부분대수의 수는 종결사상의 수보다 작지 않다.
• 논문은 부분대수와 종결사상 수 사이의 일반적인 부등식을 확립하여 부분대수 기수의 하한을 제공한다.
• 주어진 가정 하에, 상호비가능한 원소들의 집합의 크기의 상한(너비)은 유계화되어 있다.
• 결과들은 비가산 부울 대수에서 대수적 성질(종결사상, 부분대수)과 구조적 성질(조밀도, 너비) 사이의 깊은 연결 고리를 보여준다.
• 이 작업은 부울 대수 이론에서 모델 이론적 제약과 집합론적 제약 간의 상호작용에 대한 이해를 기여한다.