[논문 리뷰] The length of chains in algebraic lattices

Ilham Chakir, Maurice Pouzet|ArXiv.org|2008. 12. 11.

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

한 줄 요약

이 논문은 대수적 격자에서 체인의 길이와 그 컴팩트 원소들의 조인-세미격자 구조 간의 관계를 조사한다. 임의의 순서형 α에 대해, 대수적 격자 L에서 형식 I(α)의 체인이 존재하지 않는 것은 K(L) 내에서 특정한 조인-세미격자들의 부재로 특징지어지며, 이러한 금지된 세미격자의 수는 최대 2^|α|이다. 가산 α에 대해서는 유한한 특징이 존재할 것이라 추측한다.

ABSTRACT

We study how the existence in an algebraic lattice $L$ of a chain of a given type is reflected in the join-semilattice $K(L)$ of its compact elements. We show that for every chain $α$ of size $κ$, there is a set $\B$ of at most $2^κ$ join-semilattices, each one having a least element such that an algebraic lattice $L$ contains no chain of order type $I(α)$ if and only if the join-semilattice $K(L)$ of its compact elements contains no join-subsemilattice isomorphic to a member of $\B$. We show that among the join-subsemilattices of $[ω]^{

연구 동기 및 목표

• 대수적 격자 L에서 주어진 순서형 α의 체인이 존재하거나 부재할 경우가 컴팩트 원소들의 조인-세미격자 K(L)에 어떻게 반영되는지 규명하는 것.
• 포지트의 아이디얼 격자에서의 결과를 최소 원소를 가진 조인-세미격자들을 통해 대수적 격자로 일반화하는 것.
• 가산 순서형 α에 대해, K(L)에서 형식 I(α)의 체인이 존재하지 않는 것을 특징짓는 유한한 금지된 조인-하위세미격자 집합이 존재하는지 조사하는 것.
• Ω(α′)와 같은 조인-세미격자들의 구조적 성질과 그것들이 아이디얼 격자에 체인을 임베드하는 데 수행하는 역할을 탐구하는 것.

제안 방법

• 저자는 최소 원소를 가진 조인-세미격자들의 집합 𝕁을 정의하고, ℬ의 원소들과 동형인 하위세미격자를 포함하지 않는 것을 나타내는 Forb(ℬ)의 개념을 사용한다.
• J(P)에 형식 I(α)의 체인이 존재하지 않는 조인-세미격자 P의 집합 𝕁_¬α를 정의하고, |ℬ| ≤ 2^|α|인 ℬ ⊆ 𝕁가 존재하여 𝕁_¬α = Forb(ℬ)임을 보인다.
• 체인의 시에르피ńsk리제이션과 단조적 임베딩을 사용하여, Ω(α′)와 같은 특정 조인-세미격자를 구성하며, 이는 특정 체인 유형에 대해 보편적이다.
• α = ωα′ + n (n < ω)일 때, S_α = Ω(α′) ⊕ n 이고 Q_α = I_<ω(S_α)이면, 임의의 α와 ω의 시에르피ńsk리제이션 S에 대해 Q_α가 I_<ω(S)에 임베드될 수 있음을 증명한다.
• Q_α ∈ 𝕁_α 이며, 임베딩이 유한한 합을 보존함을 보이며, K(L)의 구조와 L 내의 장거리 체인 존재성 간의 연결 고리를 확립한다.
• 특히 [11]의 결과, 즉 Ω(α′)가 ωα′와 ω의 임의의 시에르피ńsk리제이션에 임베드될 수 있음을 활용한다.

실험 결과

연구 질문

• RQ1 주어진 순서형 α에 대해, K(L)에서 어떤 조인-하위세미격자들의 부재가 대수적 격자 L에서 형식 I(α)의 체인이 존재하지 않음을 특징짓는가? 이 집합의 최소성은 무엇인가?
• RQ2 α가 가산일 경우, 2^|α|의 금지된 하위세미격자 수를 더 작은 유한 집합으로 개선할 수 있는가?
• RQ3 체인의 시에르피ńsk리제이션은 어떻게 포지트의 아이디얼 격자에 조인-세미격자를 임베드하는 데 관련되는가?
• RQ4 Ω(α′)와 관련 구조의 어떤 구조적 성질이 그들이 체인 유형을 특징지우는 데 보편성을 보장하는가?
• RQ5 주어진 α에 대해, 모든 다른 금지된 하위세미격자에 임베드될 수 있는 표준적인 조인-하위세미격자가 존재하는가?

주요 결과

• 모든 순서형 α에 대해, 𝕁 내에서 최대 2^|α|개의 조인-세미격자로 이루어진 집합 ℬ가 존재하여, 대수적 격자 L이 형식 I(α)의 체인을 포함하지 않음과 K(L)가 ℬ의 임의의 원소와 동형인 조인-하위세미격자를 포함하지 않음이 동치임을 보였다.
• α = ω*일 경우, [ω]^{<ω}의 조인-세미격자들 중 금지된 가족 ℬ에 속하는 한 원소가 나머지 모든 원소에 임베드될 수 있으며, 이는 표준적인 최소 장애물임을 시사한다.
• α = ω 또는 유한일 경우, 금지된 가족 ℬ는 단 하나의 원소만을 포함한다. 바로 α = 1 + α′일 때의 체인 α′이며, 이 경우 더 단순한 구조를 보인다.
• α = ω* 또는 η일 경우, 금지된 가족 ℬ는 정확히 두 개의 원소를 포함한다: α와 Ω(α), 이는 [11]에서 알려진 결과를 새로운 맥락에서 확인한다.
• S_α = Ω(α′) ⊕ n 이고 Q_α = I_<ω(S_α)일 때, 임의의 α와 ω의 시에르피ńsk리제이션 S에 대해 Q_α가 I_<ω(S)에 임베드되고 Q_α ∈ 𝕁_α임을 증명하여, 이러한 구조들이 J(P) 내에서 I(α)의 존재를 탐지하는 데 충분함을 보였다.
• 저자는 α가 가산일 경우, 유한한 집합 ℬ로 충분할 것이라 추측하며, 2^|α|의 bound를 강화할 수 있을 것으로 기대한다.