[논문 리뷰] Homomorphisms and principal congruences of bounded lattices

George Grätzer|arXiv (Cornell University)|2015. 07. 12.

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

한 줄 요약

이 논문은 유계 순서 간의 등온 {0,1}-사상에 대한 표현 정리를 수립한다. 이를 통해 모든 이러한 사상이 유계 랏스의 {0,1}-환원사상에 의해 유도된 주어진 주 congruence 랏스 위의 유도 사상으로 자연스럽게 유도됨을 보여준다. 핵심 기여는 구조적 이중성: 임의의 유계 순서 삼중체 (P, Q, ψ)는 어떤 유계 랏스 K, L과 {0,1}-환원사상 φ: K → L에 대해 (Princ K, Princ L, φ_Hom)로 등기적으로 표현 가능하다는 것이다.

ABSTRACT

Two years ago, I characterized the order $\Princl L$ of principal congruences of a bounded lattice $L$ as a bounded order. If $K$ and $L$ are bounded lattices and $\gf$ is a \zo homomorphism of $K$ into~$L$, then there is a natural isotone \zo-map $\gf_{\Hom}$ from $\Princl K$ into $\Princl L$. We prove the converse: For bounded orders $P$ and $Q$ and an isotone \zo map $\gy$ of $P$ into $Q$, we represent $P$ and $Q$ as $\Princl K$ and $\Princl L$ for bounded lattices $K$ and $L$ with a \zo homomorphism $\gf$ of $K$ into $L$, so that $\gy$ is represented as $\gf_{\Hom}$.

연구 동기 및 목표

• 유계 랏스 간의 {0,1}-환원사상 φ에 의해 유도되는 자연스러운 사상 φ_Hom의 역을 확립하는 것.
• 유계 순서 간의 등온 {0,1}-사상 중 어떤 것이 주 congruence 랏스의 유계 랏스에 대한 사상으로 실현될 수 있는지 특성화하는 것.
• 임의의 유계 순서 삼중체 (P, Q, ψ)를 유계 랏스의 주 congruence 랏스와 환원사상으로 구조적으로 표현하는 것.
• Czédli의 이전의 부분락 기반 표현을 더 넓은 범위의 환원상의 영상으로 확장하기 위해 정교화된 랏스 구성 기법을 도입하는 것.

제안 방법

• K에서 a ≤ b이면 φ_Hom(con_K(a,b)) = con_L(φ(a), φ(b))로 정의하여 φ_Hom: Princ K → Princ L를 정의한다.
• φ_Hom이 잘 정의되어 있고, 등온이며 0과 1을 보존함을 증명함으로써, 이는 등온 {0,1}-사상임을 보인다.
• Czédli의 0-분리 사상에 관한 정리 2를 활용하여 부분락을 통한 사상의 병합을 표현한다.
• P와 Q의 disjoint 합집합에 0과 1을 동일시함으로써 R = Top(P, Q, ψ)로 유계 순서 R를 구성한다.
• 정확한 congruence 관계를 확보하기 위해 확장된 G(p,q)^Ext 구성법을 적용한다.
• 각 호환성 쌍에 대해 복잡한 부분락을 4원소의 Equi(p) 랏스로 대체함으로써 랏스 구성의 원소 수를 30에서 4로 감소시킨다.

실험 결과

연구 질문

• RQ1 유계 순서 간의 등온 {0,1}-사상 ψ: P → Q는 항상 어떤 유계 랏스 K와 L의 주 congruence 랏스 위의 유도 사상 φ_Hom으로 표현될 수 있는가?
• RQ2 Princ K ≅ P, Princ L ≅ Q, φ_Hom ≅ ψ를 만족하는 유계 랏스 K와 L, 그리고 {0,1}-환원사상 φ: K → L를 구성할 수 있는 구조적 방법이 존재하는가?
• RQ3 주어진 congruence 관계를 유지하면서도 순서 삼중체를 표현하는 데 사용되는 랏스 구성의 크기를 최소화할 수 있는가?
• RQ4 Czédli의 이전 작업에서 다룬 가산 랏스와 순서로의 일반화가 가능한가?

주요 결과

• 모든 등온 {0,1}-사상 ψ: P → Q는 어떤 유계 랏스 K, L과 {0,1}-환원사상 φ: K → L에 대해 φ_Hom로 표현 가능하다.
• 이 표현은 R = Top(P, Q, ψ)를 사용하여 K = Lat^Ext(P)와 L = Lat^Ext(R)로 구성함으로써 달성되며, 확장된 G(p,q)^Ext 랏스를 활용한다.
• 복잡한 부분락을 4원소의 Equi(p) 랏스로 대체함으로써 원소 수를 15c_P + 15c_Q + 30n_P에서 7c_P + 7c_Q + 4n_P로 감소시켰다.
• φ_Hom은 잘 정의되어 있으며 순서 구조와 경계를 유지하므로, 등기사상에 의해 Princ K ≅ P와 Princ L ≅ Q를 확보한다.
• 이 표현은 Czédli의 0-분리 부분락 구성법과 호환되며, 랏스 환원사상에 의한 사상 병합을 가능하게 한다.
• 일반적인 구성에서는 G(p,q)^Ext를 사용하는 것이 정확성 확보에 필수적이지만, 개선된 버전에서는 G(p,q)만으로도 충분하다.