[논문 리뷰] Proper congruence-preserving extensions of lattices

George Grätzer, Friedrich Wehrung|arXiv (Cornell University)|2005. 01. 25.

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

한 줄 요약

이 논문은 두 개 이상의 원소를 가진 모든 격자에 대해 적절한 동치관계를 유지하는 확장이 존재함을 증명하며, 격자 이론에서 오랫동안 남아있던 문제를 해결한다. 저자들은 임의의 격자 $L$를 더 큰 격자로 매장하면서 모든 동치관계를 유지하는 새로운 구성법인 $M_3\langle L\rangle$을 제안한다. 이는 동치관계 격자의 구조를 유지하면서 원래 구조를 엄밀히 확장함으로써, 동치관계 격자가 서로 동형임을 보장한다.

ABSTRACT

We prove that every lattice with more than one element has a proper congruence-preserving extension.

연구 동기 및 목표

• 두 개 이상의 원소를 가진 모든 격자가 적절한 동치관계 유지 확장을 갖는지 여부에 대한 열린 문제를 해결하기 위해.
• 분배 격자에 대한 기존의 $M_3[D]$ 구성법을 임의의 격자로 일반화하기 위해.
• 새로운 격자 구성법인 $M_3\langle L\rangle$을 도입하고, 그 동치관계 유지 및 적절한 확장 성질을 분석하기 위해.
• 모든 격자의 종류($\mathbf{L}$)가 동치관계 유지 확장 성질(CPEP)을 갖는다는 것을 증명하기 위해.

제안 방법

• 모든 $L^3$ 내의 부울 삼중항을, 다음 항등식을 만족하는 것으로 정의한다: $x = (x\vee y)\wedge(x\vee z)$, $y = (y\vee x)\wedge(y\vee z)$, $z = (z\vee x)\wedge(z\vee y)$.
• $M_3\langle L\rangle$을 $L^3$ 내의 모든 부울 삼중항의 집합으로 정의하고, 성분별로 최소상한 및 최대하한 연산을 정의하며, 합 연산에 대해 닫힘을 보장한다.
• $M_3\langle L\rangle$이 격자임을 증명하고, 임bedding $x \mapsto \langle x,0,0\rangle$를 통해 $L$이 $M_3\langle L\rangle$의 부분격자임을 보여준다.
• 모든 $L$의 동치관계가 $M_3\langle L\rangle$로 유일하게 확장됨을 보여, 이는 동치관계 유지 확장임을 입증한다.
• $L$이 두 개 이상의 원소를 가진 경우 $\langle 1,0,0\rangle \notin \{\langle x,0,0\rangle \mid x \in L\}$ 임을 보여, $M_3\langle L\rangle$이 적절한 확장임을 증명한다.
• 부울 삼중항의 구조를 이용해, $M_3\langle L\rangle$이 모듈러일 조건은 $L$이 분배적일 때 뿐이며, $L$이 비분배적일 경우 $M_3\langle L\rangle$이 $N_5$를 부분격자로 포함함을 증명함으로써, 격자의 유형을 유지함을 보여준다.

실험 결과

연구 질문

• RQ1 두 개 이상의 원소를 가진 모든 격지가 적절한 동치관계 유지 확장을 갖는가?
• RQ2 분배 격자에 대한 $M_3[D]$ 구성법을 임의의 격자로 일반화할 수 있는가?
• RQ3 모든 격자의 종류($\mathbf{L}$)는 동치관계 유지 확장 성질(CPEP)을 갖는가?
• RQ4 어떤 조건을 만족할 경우 $M_3\langle L\rangle$이 모든 동치관계를 유지하면서 적절한 확장이 되는가?
• RQ5 모듈러 또는 분배 격자와 같은 다른 대수적 종류의 다양체도 CPEP를 만족하는가?

주요 결과

• 두 개 이상의 원소를 가진 모든 격자 $L$는 적절한 동치관계 유지 확장 $K$를 갖는다. 이는 그라츠너와 슈미트가 제기한 질문에 대한 긍정적 해답이다.
• $M_3\langle L\rangle$ 구성법은 두 개 이상의 원소를 가진 임의의 격자 $L$에 대해, 적절한 동치관계 유지 확장이 되는 격자를 생성한다.
• $L$의 동치관계 격자는 자연스러운 제약 사상에 의해 $M_3\langle L\rangle$의 동치관계 격자와 동형임을 보여준다.
• $M_3\langle L\rangle$ 구성법은 이전의 분배 격자에 대한 $M_3[D]$ 구성법을 임의의 격자로 일반화한 것이다.
• $L$이 비분배적일 경우 $M_3\langle L\rangle$은 $N_5$와 동형인 부분격자를 포함하므로, $M_3\langle L\rangle$은 모듈러가 아니지만 여전히 격자이다.
• 모든 격자의 종류($\mathbf{L}$)는 동치관계 유지 확장 성질(CPEP)을 갖는다. 반면 유한 생성 다양체인 $\mathbf{D}$(분배 격자)는 그렇지 않다.