[논문 리뷰] A characterization of well-founded algebraic lattices

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

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

한 줄 요약

이 논문은 알제브라적 랏스의 컴act 원소들 내의 금지된 조인-하나반순서에서의 특성화를 통해 잘 서 있는 알제브라적 랏스를 기술한다. 잘 서 있는 알제브라적 랏스이기 위한 필요충분조건은 컴 pact 원소들의 조인-하나반순서가 잘 서 있고, $[\rho]^{<\rho}$ 또는 $곋{\rho^*}$ 의 사본을 포함하지 않는 것이다. 특히 모듈라 및 잘 순서가 지정된 경우에 중요한 결과를 도출한다.

ABSTRACT

We characterize well-founded algebraic lattices by means of forbidden subsemilattices of the join-semilattice made of their compact elements. More specifically, we show that an algebraic lattice $L$ is well-founded if and only if $K(L)$, the join-semilattice of compact elements of $L$, is well-founded and contains neither $[ω]^{

연구 동기 및 목표

• 알제브라적 랏스의 컴 pact 원소들에 대한 구조적 제약 조건을 사용하여 잘 서 있는 알제브라적 랏스를 기술하기.
• 알제브라적 랏스가 잘 서 있지 않은 것을 막는 최소한의 장애물—특히 금지된 조인-하나반순서—를 식별하기.
• 모듈라 및 잘 순서가 지정된 설정에서 잘 서 있는 것의 등가 조건을 설정하기.
• 이deals의 잘 서 있는 성질을 결정하는 데 있어 무한한 독립 집합과 반사순서의 역할을 명확히 하기.
• 이deals 구성법을 통해 잘 순서가 지정된 부분순서에 대한 결과를 랏스 이론적 설정으로 확장하기.

제안 방법

• 알제브라적 랏스와 조인-하나반순서 사이의 이중성에 기반하여, 컴 pact 원소들의 조인-하나반순서 $P$ 에 대해 이데알 구성 $J(P)$ 를 사용한다.
• 컴 pact 원소들 및 랏스 자체에 대해 잘 서 있는 성질(즉, $\rho^*$-체인을 포함하지 않음)을 적용한다.
• 금지된 구조 특성화를 활용: $L$ 이 잘 서 있는 것은 $K(L)$ 가 $[\rho]^{<\rho}$ 와 $곋{\rho^*}$ 를 조인-하나반순서로 포함하지 않을 때에만 성립함을 증명한다.
• 기존의 독립 집합과 임베딩에 관한 결과를 활용: $K(L)$ 에서의 무한한 독립 집합은 $[\rho]^{<\rho}$ 의 사본에 대응한다.
• 잘 서 있는 부분순서 $Q$ 에 대해 $곋{\rho^*}$ 가 $I_{<\rho}(Q)$ 에 임베딩됨을 이용하여 필요 조건을 도출한다.
• 램지 이론적 접근과 위상적 산산이 찢어지는 성질을 활용하여 $\rho$-거듭제곱 집합과 $\rho^{<\rho}$ 의 임베딩을 분석한다.

실험 결과

연구 질문

• RQ1 알제브라적 랏스의 컴 pact 원소들의 조인-하나반순서에서 어떤 조인-하나반순서가 잘 서 있는 랏스를 이루기 위해 반드시 존재하지 않아야 하는가?
• RQ2 컴 pact 원소들 내의 무한한 독립 집합은 랏스의 잘 서 있는 성질과 어떻게 관련이 있는가?
• RQ3 부분순서 $Q$ 가 어떤 조건을 만족할 경우, 이데알 랏스 $J(I_{<\rho}(Q))$ 가 잘 서 있는가?
• RQ4 $K(L)$ 의 잘 순서가 지정된 성질과 $L$ 의 잘 서 있는 성질 사이의 관계는 무엇인가?
• RQ5 조인-하나반순서 $P$ 에 대해 $J(P)$ 의 잘 서 있는 성질을 $P$ 의 구조적 성질만으로 특성화할 수 있는가?

주요 결과

• 알제브라적 랏스 $L$ 이 잘 서 있는 것은 $K(L)$ 가 잘 서 있고, $[\rho]^{<\rho}$ 또는 $곋{\rho^*}$ 와 동형인 조인-하나반순서를 포함하지 않을 때에만 성립한다.
• 모듈라 알제브라적 랏스의 경우, 잘 서 있는 것은 $K(L)$ 가 잘 서 있고, 무한한 독립 집합을 포함하지 않을 때에만 성립한다.
• $K(L)$ 가 어떤 잘 서 있는 부분순서 $Q$ 에 대해 $I_{<\rho}(Q)$ 에 조인-하나반순서로 임베딩될 경우, $L$ 이 잘 서 있는 것은 $K(L)$ 가 잘 순서가 지정되어 있을 때에만 성립한다.
• $\rho^{<\rho}$ 가 $K(L)$ 에 임베딩될 경우, $J(K(L))$ 는 잘 서 있지 않으며, 그 반대도 마찬가지다.
• $K(L)$ 가 잘 순서가 지정되어 있으면 $J(K(L)) = L$ 도 잘 서 있고, 이 조건은 $K(L)$ 가 $I_{<\rho}(Q)$ 에 임베딩될 경우 필수적이고 충분한 조건이다.
• $곋{\rho^*}$ 는 $[\rho]^{<\rho}$ 나 어떤 잘 서 있는 부분순서 $Q$ 에 대해 $I_{<\rho}(Q)$ 에도 조인-하나반순서로 임베딩되지 않으며, 이는 핵심적인 구조적 장애물이다.