[논문 리뷰] Sublattices of the lattice of local clones

Michael Pinsker|ArXiv.org|2008. 01. 15.

Advanced Algebra and Logic참고 문헌 12인용 수 5

한 줄 요약

이 논문은 가чёт 무한 집합 위의 국소 클론의 격자에 대해 연구하며, 이 격자가 최대 가чёт 수의 컴팩트 원소를 가진 모든 대수적 격자를 포함하지만, 그보다 더 복잡한 구조를 가짐을 증명한다. 또한 이 격자가 $M_{2^{\binom{0}}}$와 같은 비가чёт 구조를 합과 교집합을 보존하는 부분격자로 포함하고 있음을 보이며, 이는 가чёт 수의 컴팩트 원소를 가진 대수적 격자보다 더 높은 표현 능력을 지닌다는 것을 시사한다.

ABSTRACT

We investigate the complexity of the lattice of local clones over a countably infinite base set. In particular, we prove that this lattice contains all algebraic lattices with at most countably many compact elements as complete sublattices, but that the class of lattices embeddable into the local clone lattice is strictly larger than that.

연구 동기 및 목표

• 기저 집합이 가чёт 무한인 국소 클론 격자의 구조적 복잡성을 분석하는 것.
• 국소 클론 격자 $Ο_{\text{loc}}(X)$에 임bedded될 수 있는 레이티스는 무엇인지 규명하는 것.
• 국소 클론 격지가 가чёт 수의 컴팩트 원소를 가진 대수적 격자 클래스보다 엄밀히 더 복잡한가를 조사하는 것.
• 예를 들어 $M_{2^{\binom{0}}}$와 같은 비가чёт 레이티스가 $Ο_{\text{loc}}(X)$에 임베딩 가능한가를 탐구하는 것.

제안 방법

• 작용소와 관계 사이의 이중성, 즉 $Π$와 $Ι$ 연산자를 통해 국소 클론을 $Σ$의 관계 집합에 대해 $Π(\mathcal{R})$로 특성화한다.
• 국소 클론의 보간 성질을 활용하여, 클론이 국소임은 그 원소들이 정의역의 모든 유한 부분집합에서 일치하는 모든 작용소를 포함할 때에만 성립함을 증명한다.
• 국소 클론 격자 $Ο_{\text{loc}}(X)$에 $M_{2^{\binom{0}}}$의 합과 교집합을 보존하는 명시적 임베딩을 구성하기 위해 $X$의 부분집합에서의 단항 작용소와 관계를 사용한다.
• 부하하위대수 격자와 컴팩트 원소에 관한 기존 결과를 적용하여, $Ο_{\text{loc}}(X)$가 가чёт 수의 컴팩트 원소를 가진 어떤 대수적 격자에도 임베딩될 수 없음을 보인다.
• 이 증명은 $ω$의 부분집합들로 이루어진 비가чёт 수의 가닥이 모두 같은 고정된 집합과 상호교차하지 않는다는 사실에 기반한다. 이는 이러한 임베딩을 차단한다.

실험 결과

연구 질문

• RQ1 가чёт 수의 컴팩트 원소를 가진 모든 대수적 격자는 $Ο_{\text{loc}}(X)$의 완전한 부분격자로 임베딩될 수 있는가?
• RQ2 $Ο_{\text{loc}}(X)$에 임베딩 가능한 레이티스의 클래스는 가чёт 수의 컴팩트 원소를 가진 대수적 격자 클래스보다 엄밀히 더 큰가?
• RQ3 $M_{2^{\binom{0}}}$ 레이티스(크기가 $2^{\binom{0}}$인 반사열과 최소·최대 원소를 가진 레이티스)는 $Ο_{\text{loc}}(X)$에 임베딩 가능한가?
• RQ4 모든 레이티스가 $ω$의 멱집합에 순서로 임베딩 가능한가, 그리고 그와 동시에 $Ο_{\text{loc}}(X)$에도 임베딩 가능한가?

주요 결과

• $Ο_{\text{loc}}(X)$ 격자는 컴팩트 원소가 최대 가чёт 수인 모든 대수적 격자를 완전한 부분격자로 포함한다.
• 국소 클론 격자 $Ο_{\text{loc}}(X)$에 임베딩 가능한 레이티스의 클래스는 가чёт 수의 컴팩트 원소를 가진 대수적 격자 클래스보다 엄밀히 더 크다.
• $M_{2^{\binom{0}}}$$Ο_{\text{loc}}(X)$에 합과 교집합을 보존하는 부분격자로 임베딩된다.
• $X$의 비어있고 진부분집합인 $A_i \subset X$에 대해 $Π(\{A_i\})$ 형태의 국소 클론을 사용하여 $M_{2^{\binom{0}}}$에 대한 합을 보존하는 임베딩이 존재한다.
• $X$의 고정된 두 원소 위에서의 단항 작용소 $f_{B_i}$와 상수 작용소를 사용하여 $M_{2^{\binom{0}}}$에 대한 교집합을 보존하는 임베딩이 존재한다.
• $Ο_{\text{loc}}(X)$는 가чёт 수의 컴팩트 원소를 가진 어떤 대수적 격자에도 임베딩될 수 없으며, 이러한 격자들은 $M_{2^{\binom{0}}}$를 교집합 준순서하위반순서집합으로 포함할 수 없기 때문이다.