[논문 리뷰] On the representation of finite distributive lattices

Mark Siggers|arXiv (Cornell University)|2014. 11. 28.

Advanced Algebra and Logic참고 문헌 7인용 수 6

한 줄 요약

이 논문은 체인의 곱의 부분격자와 조인-기약 원소로부터 유도된 표준 구조의 스펜된 전순서 확장 사이의 일대일 대응을 수립하며, 전순서의 비대칭성에 의해 날카로운 부분격자를 특성화한다. 이는 조인-기약 원소의 체인 분해와의 연결을 통해 고전적인 분배 격자 임베딩 결과를 확장한다.

ABSTRACT

A simple but elegant result of Rival states that every sublattice $L$ of a finite distributive lattice $\mathcal{P}$ can be constructed from $\mathcal{P}$ by removing a particular family $\mathcal{I}_L$ of its irreducible intervals. Applying this in the case that $\mathcal{P}$ is a product of a finite set $\mathcal{C}$ of chains, we get a one-to-one correspondence $L \mapsto \mathcal{D}_\mathcal{P}(L)$ between the sublattices of $\mathcal{P}$ and the preorders spanned by a canonical sublattice $\mathcal{C}^\infty$ of $\mathcal{P}$. We then show that $L$ is a tight sublattice of the product of chains $\mathcal{P}$ if and only if $\mathcal{D}_\mathcal{P}(L)$ is asymmetric. This yields a one-to-one correspondence between the tight sublattices of $\mathcal{P}$ and the posets spanned by its poset $J(\mathcal{P})$ of non-zero join-irreducible elements. With this we recover and extend, among other classical results, the correspondence derived from results of Birkhoff and Dilworth, between the tight embeddings of a finite distributive lattice $L$ into products of chains, and the chain decompositions of its poset $J(L)$ of non-zero join-irreducible elements.

연구 동기 및 목표

• 유한한 체인의 곱의 모든 부분격자를 날카로운 임베딩을 넘어서 체계적으로 특성화하는 것.
• 조인-기약 원소의 체인 분해와 날카로운 임베딩 사이의 고전적 비르호프-딜워스 대응을 일반화하는 것.
• 유한한 분배 격자를 체인의 곱으로부터 유도된 표준 구조의 전순서 확장에 의한 체계적인 프레임워크를 제공하는 것.
• 새로운 대응 프레임워크를 사용하여 코흐의 분배 격자를 최대 반사집합의 격자로 표현하는 구성법을 복원하고 확장하는 것.

제안 방법

• 유한한 분배 격자에서 부분격자가 기약 간격 제거로부터 유도됨을 라비의 결과로 이용하여, 체인의 곱에 적용한다.
• 조인-기약 원소에 0과 단위를 추가하여 형성된 표준 구조 $\cC^{\infty}$ 를 도입한다.
• 각 부분격자 $L$ 에 대해 $D_{\cP}(L)$ 라는 전순서를 할당하는 사상 $L \mapsto D_{\cP}(L)$ 를 정의하며, 이는 $J(\cP)$ 를 확장하고 반사적, 추이성을 갖는다.
• 날카로운 부분격자를 $D_{\cP}(L)$ 가 비대칭일 때, 즉 부분순서일 때로 특성화하며, 이 경우 $D_{\cP}(L)\restriction_{J(\cP)} \cong J(L)$ 임을 보인다.
• 전순서 확장을 디그래프 $A_{\cP}(L)$ 로 매핑하는 쌍대 구성 $K_{\cP}$ 를 도입하며, 이는 부분격자 $L$ 를 최대 반사집합을 통해 표현한다.
• 부분격자 $L$ 과 비반사적, 추이적인 디그래프 $A_{\cP}(L)$ 사이의 대응을 수립하며, 사이클 없음 조건이 부분직접 부분격자를 특성화한다.

실험 결과

연구 질문

• RQ1 체인의 곱의 모든 부분격자를 어떻게 체계적으로 특성화할 수 있는가?
• RQ2 부분격자 $L$ 의 구조와 그 조인-기약 원소로부터 유도된 전순서 $D_{\cP}(L)$ 사이의 정확한 관계는 무엇인가?
• RQ3 체인의 곱 $\cP$ 의 날카로운 부분격자는 $J(\cP)$ 의 부분순서 확장과 어떻게 대응되며, 이는 더 넓은 부분격자 클래스 내에서 어떻게 특성화되는가?
• RQ4 코흐의 분배 격자를 최대 반사집합의 격자로 표현하는 구성법이 전순서 기반 프레임워크에서 자연스럽게 유도될 수 있는가?
• RQ5 디그래프 $A_{\cP}(L)$ 에 대한 어떤 조건이 부분격자가 부분직접이거나 $\{\mathbf{0},\boldsymbol{\infty}\}$-부분격자임을 보장하는가?

주요 결과

• 체인의 곱 $\cP$ 의 부분격자 $L$ 과 $J(\cP)$ 에서 유도된 $\cC^{\infty}$ 의 스펜된 전순서 확장 사이에 일대일 대응이 존재한다.
• 날카로운 부분격자는 $D_{\cP}(L)$ 가 비대칭일 때, 즉 부분순서일 때로 특성화되며, 이 경우 $D_{\cP}(L)\restriction_{J(\cP)} \cong J(L)$ 이다.
• $K_{\cP}$ 는 전순서 확장 $D$ 를 디그래프 $A_{\cP}(L)$ 로 매핑하며, $D$ 가 추이적이고 $\cI$ 가 닫혀져 있으면 $A_{\cP}(L)$ 는 추이적이다.
• 부분격자 $L$ 이 부분직접일 필요충분조건은 $A_{\cP}(L)$ 가 비반사적일 때이며, 이는 $A_{\cP}(L)$ 가 사이클이 없을 때와 동치이다.
• $\cA_{\rm{m}}(P) \cong L$ 를 만족하는 임의의 부분순서 $P$ 에 대해, $P = A_{\cP}^{r}(L)$ 인 부분직접 임베딩이 존재한다. 여기서 $A_{\cP}^{r}(L)$ 는 $A_{\cP}(L)$ 의 반사적 형태이다.
• $K_{\cP}$ 는 분배 격자를 최대 반사집합의 격자로 표현하는 코흐의 방법을 일반화하며, 주요 차이점은 일반성을 확보하기 위해 디그래프 표현에서 순환을 유지한다는 것이다.