[논문 리뷰] Algebra in the superextensions of semilattices

Тарас Банах, Volodymyr Gavrylkiv|arXiv (Cornell University)|2010. 12. 11.

Advanced Algebra and Logic참고 문헌 9인용 수 9

한 줄 요약

이 논문은 반군의 구조와 관련된 반군(예: 필터, 초필터, 업패밀리)의 대수적 구조를 반군 위에서 연구한다. $υ(X)$, $λ(X)$, $φ(X)$ 반군이 유한하고 선형 순서가 있는 반군 $X$일 때이고 그때에만 반군임을 증명한다. 주요 결과로는 $β(X)$가 밴드가 되는 조건과 $λ(X)$가 교환 법칙을 만족하는 조건을 $X$의 구조에 기반하여 기술한다. 이 작업은 스톤-체하프 컴actsation의 대수적 이론을 반군 위의 더 넓은 업패밀리의 클래스로 확장한다.

ABSTRACT

Given a semilattice $X$ we study the algebraic properties of the semigroup $\upsilon(X)$ of upfamilies on $X$. The semigroup $\upsilon(X)$ contains the Stone-Cech extension $β(X)$, the superextension $λ(X)$, and the space of filters $ϕ(X)$ on $X$ as closed subsemigroups. We prove that $\upsilon(X)$ is a semilattice iff $λ(X)$ is a semilattice iff $ϕ(X)$ is a semilattice iff the semilattice $X$ is finite and linearly ordered. We prove that the semigroup $β(X)$ is a band if and only if $X$ has no infinite antichains, and the semigroup $λ(X)$ is commutative if and only if $X$ is a bush with finite branches.

연구 동기 및 목표

• 반군 $X$ 위의 업패밀리 $υ(X)$의 대수적 성질을 분석한다.
• $υ(X)$, $λ(X)$, $φ(X)$, $β(X)$가 반군, 밴드, 또는 교환 법칙을 만족하는 반군이 되는 조건을 규명한다.
• 이러한 슈퍼확장 반군이 $X$의 대수적 성질을 상속받기 위한 $X$의 구조적 조건을 규명한다.
• 초필터의 $β(X)$에서 알려진 결과를 $υ(X)$의 더 넓은 업패밀리 클래스로 확장한다.

제안 방법

• 반군 $X$ 위에서의 이진 연산을 $υ(X)$로 확장하기 위해 공식 $\mathcal{U} * \mathcal{V} = \langle \bigcup_{x\in U} x*V_x : U\in\mathcal{U}, (V_x)_{x\in U}\in\mathcal{V}^U \rangle$을 사용하여 업패밀리 위의 반군 연산을 정의한다.
• 부반군 정의 및 분석: $β(X)$ (초필터), $λ(X)$ (최대 연결 시스템/슈퍼확장), $φ(X)$ (필터), $N_2(X)$ (연결된 업패밀리).
• 위상수학적 및 순서 이론적 도구 적용: $υ(X)$ 위의 컴acts Hausdorff 위상, 포함관계에 의한 부분순서, 업패밀리가 상집합임을 고려한 구조.
• $λ(4)$의 다이어그램적 및 조합적 분석을 통해 비선형성을 입증함으로써, $λ(X)$가 선형이 되는 것은 $X$가 유한하고 선형 순서가 있을 때에만 성립함을 증명한다.
• 격자 이론적 추론을 적용하여, $υ(X)$, $λ(X)$, $φ(X)$가 격자임은 $X$가 크기가 2 이하인 선형 격자일 때에만 성립함을 보인다.
• $X=3$에서의 반례를 제시하여 $λ(3)$과 $φ(3)$이 격자가 아님을 입증함으로써, 필요한 조건의 최소성을 입증한다.

실험 결과

연구 질문

• RQ1 반군 $X$ 위의 업패밀리 반군 $\upsilon(X)$가 반군이 되는 조건은 무엇인가?
• RQ2 반군 $X$의 슈퍼확장 $\lambda(X)$가 교환 법칙을 만족하는 반군이 되는 조건은 무엇인가?
• RQ3 $\beta(X)$가 밴드가 되는 조건은 무엇인가?
• RQ4 $\lambda(X)$의 선형성과 $X$의 구조 사이의 관계는 무엇인가?
• RQ5 $\upsilon(X)$, $\lambda(X)$, 또는 $\varphi(X)$가 격자가 되는 데 필요한 랜드 조건은 무엇인가?

주요 결과

• $\upsilon(X)$ 반군은 $X$가 유한하고 선형 순서가 있는 반군이어야만 반군이 된다.
• $\lambda(X)$ 슈퍼확장은 $X$가 유한하고 선형 순서가 있을 때에만 반군이 된다.
• $\varphi(X)$ 필터 공간은 $X$가 유한하고 선형 순서가 있을 때에만 반군이 된다.
• $\beta(X)$ 반군은 $X$에 무한한 반사집합이 없을 때에만 밴드가 된다.
• $\lambda(X)$ 슈퍼확장은 $X$가 유한한 분지가 있는 부시일 때에만 교환 법칙을 만족한다.
• $\upsilon(X)$, $\lambda(X)$, $\varphi(X)$ 공간은 $X$가 크기가 2 이하인 선형 격자일 때에만 격자가 된다.