[논문 리뷰] A note on finite lattices with many congruences

Gábor Czédli|arXiv (Cornell University)|2017. 12. 17.

Advanced Algebra and Logic참고 문헌 8인용 수 14

한 줄 요약

이 논문은 유한 래티스에서 동치관계의 수에 대한 날카운 임계값을 확립한다: $n$-원소 래티스는 최대 $2^{n-1}$개의 동치관계를 가지며, 이는 정확히 체인일 때에만 등호가 성립한다. $2^{n-1}$개 미만의 동치관계가 존재할 경우 최댓값은 $2^{n-2}$이며, 이는 정확히 $C_1 \dot{+} B_2 \dot{+} C_2$ 형태의 래티스에서 달성된다. 여기서 $C_1$와 $C_2$는 체인이고 $B_2$는 네 원소를 가진 부울 래티스이다. 증명은 귀납법, 동치관계 래티스의 구조, 몫 래티스를 통한 대응정리에 기반한다.

ABSTRACT

By a twenty year old result of Ralph Freese, an $n$-element lattice $L$ has at most $2^{n-1}$ congruences. We prove that if $L$ has less than $2^{n-1}$ congruences, then it has at most $2^{n-2}$ congruences. Also, we describe the $n$-element lattices with exactly $2^{n-2}$ congruences.

연구 동기 및 목표

• 기존의 $2^{n-1}$ 최댓값을 넘어서 유한 래티스에서의 동치관계 수에 대한 상한을 더욱 정밀하게 조정하기 위해.
• 이 상한이 달성되지 않을 경우 정확한 동치관계 수의 최댓값을 규명하기 위해.
• $n$-원소 래티스 중 정확히 $2^{n-2}$개의 동치관계를 가지는 래티스를 특성화하기 위해.
• Freese의 결과인 $2^{n-1}$ 상한에 대한 새로운 증명을 제공하기 위해, 동치관계 래티스의 구조와 몫 래티스를 활용하여.

제안 방법

• 래티스 $L$ 의 크기 $n$ 에 대한 귀납법을 사용하며, 동치관계 래티스 $\textup{Con}(L)$ 의 구조를 활용한다.
• 소수 간격 $[a,b]$ 에 의해 생성되는 최소 동치관계 $\Theta = \textup{con}(a,b)$ 에 대해, 사영 사상 $f(\Psi) = \Theta \vee \Psi$ 를 정의하고, 각 이미지에 대해 최대 두 개의 원상만 존재함을 증명한다.
• 대응정리를 적용하여 $|\textup{Con}(L/\Theta)|$ 와 $|\textup{Con}(L)|$ 를 연결함으로써 $|\textup{Con}(L/\Theta)| \geq \frac{1}{2} |\textup{Con}(L)|$ 을 도출한다.
• Funayama와 Nakayama의 결과에 따라 $\textup{Con}(L)$ 이 분배적임을 이용하여 상대적 보완의 유일성을 보장하고, 원상 수의 상한을 뒷받침한다.
• 몰입 래티스 $L/\Theta$ 의 분석을 통해 $L$ 에 대한 구조적 제약 조건을 유도하며, 특히 $|L/\Theta| = n-1$ 이거나 $n-2$ 인 경우를 고려하고, 생성 소수 간격이 너비가 좁은지 여부에 따라 경우를 분류한다.
• 등장사상 $\textup{Con}(K \dot{+} \mathbf{2}) \cong \textup{Con}(K) \times \mathbf{2}$ 를 활용하여, 특히 $|\textup{Con}(L)| = 2^{n-2}$ 인 경우에 나누어 떨어짐을 이용한 추론을 통해 일부 구성 구조를 배제한다.

실험 결과

연구 질문

• RQ1 크기가 $n$ 인 유한 래티스가 체인이 아닐 경우, 최대 몇 개의 동치관계를 가질 수 있는가?
• RQ2 어느 $n$-원소 래티스가 정확히 $2^{n-2}$개의 동치관계를 가지는가?
• RQ3 등호가 성립하지 않을 경우, $2^{n-1}$개의 동치관계 상한을 더욱 날카롭게 조정할 수 있는가?
• RQ4 정확히 $2^{n-2}$개의 동치관계를 가지는 래티스는 어떤 구조적 성질을 갖는가?
• RQ5 동치관계 래티스 $\textup{Con}(L)$ 의 구조는 몫 사상과 동치관계 생성을 통해 래티스 $L$ 을 어떻게 제약하는가?

주요 결과

• 모든 $n$-원소 래티스는 최대 $2^{n-1}$개의 동치관계를 가지며, 이는 정확히 래티스가 체인일 때에만 성립한다.
• 래티스가 $2^{n-1}$개 이하의 동치관계를 가질 경우, 그 수는 최대 $2^{n-2}$개이다.
• 동치관계 수가 정확히 $2^{n-2}$개임은 정확히 $C_1 \dot{+} B_2 \dot{+} C_2$ 형태의 래티스일 때에만 성립한다. 여기서 $C_1$와 $C_2$는 체인이고 $B_2$는 네 원소를 가진 부울 래티스이다.
• 이 증명은 동치관계 사상 $\Psi \mapsto \Theta \vee \Psi$ 와 대응정리를 활용한 새로운 귀납적 추론을 제공한다.
• 생성 소수 간격이 너비가 좁지 않은 경우, 몰입 래티스 $L/\Theta$ 는 반드시 체인이어야 하며, 이 경우 래티스 $L$ 은 $a \prec b$, $a \prec c$, $b \vee c = d$, $b \prec d$ 를 만족하는 커버링 스퀘어 $S = \{a, b, c, d\}$ 를 포함하며, $L \setminus S$ 도 체인이어야 한다.
• $C_1 \dot{+} N_5 \dot{+} C_2$ 구성은 배제된다. 왜냐하면 $|\textup{Con}(N_5)| = 5$ 이고, 이는 $2^{n-2}$ 에 나누어 떨어지지 않기 때문이며, 이는 요구되는 동치관계 수와 모순된다.