[논문 리뷰] Taking Prime, Maximal and Two--class Congruences Through Morphisms

Claudia Mureșan|arXiv (Cornell University)|2016. 07. 23.

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

한 줄 요약

이 논문은 보편 대수학과 격자에서 소, 극대, 그리고 이등분 형 congruence를 연구하며, 특히 허용 가능하고 Max-허용 가능한 준동형사상에서의 행동에 초점을 맞춘다. 전사성은 허용 가능성과 Max-허용 가능성으로 이어지며, 직접적으로 기저가 되는 대수학에서 소 congruence가 극대가 되지 않을 수 있음을 증명한다. 유한 격자에서의 명시적 구성은 이러한 예의 무한성을 보여준다.

ABSTRACT

In this paper we study prime, maximal and two--class congruences from the point of view of the relationships between them in various kinds of universal algebras, as well as their direct and inverse images through morphisms. This research has also produced a set of interesting results concerning the prime and the maximal congruences of several kinds of lattices.

연구 동기 및 목표

• 다양한 보편 대수학과 격자에서 소, 극대, 이등분 형 congruence 간의 관계를 분석하는 것.
• 특히 허용 가능하고 Max-허용 가능한 준동형사상에서 이러한 congruence의 직접적 및 역상 이미지를 조사하는 것.
• 준동형사상이 congruence의 소성과 극대성을 유지하는 조건을 규명하는 것.
• congruence-분배적 또는 congruence-모듈러리일 경우, 직접적으로 기저가 되는 성질에 대한 영향을 탐색하는 것.
• 소 congruence가 극대가 되지 않는 유한 격자에서의 명시적 예를 구성하는 것.

제안 방법

• 역상에서 소 및 극대 congruence를 유지하는 준동형사상인 허용 가능 및 Max-허용 가능 준동형사상을 도입한다.
• 직접곱과 유한 순서합을 통한 대수학 분석을 통해 구성요소의 성질로 소, 극대, 이등분 형 congruence를 특성화한다.
• 공백 이론과 congruence 격자 동형사상을 적용하여 congruence-분배적 및 congruence-모듈러리 다양체에서의 구조적 결과를 도출한다.
• 유계 격자 동형사상을 사용하여 특정 congruence 스펙트럼을 갖는 유한 격자를 구성하며, 이는 비극대 소 congruence를 포함한다.
• 商대수학과 기수 제약 조건을 적용하여 모든 준동형사상이 허용 가능하거나 Max-허용 가능한 대수학을 분류한다.
• 허용 가능성의 연구를 임bedding으로 줄이고, quotient 사상에서의 허용 가능성과 Max-허용 가능성의 보존을 증명한다.

실험 결과

연구 질문

• RQ1 준동형사상이 congruence의 소성 또는 극대성을 유지하는 조건은 무엇인가?
• RQ2 언제 준동형사상이 허용 가능하거나 Max-허용 가능한가, 그리고 전사성과 이러한 성질 간의 관계는 무엇인가?
• RQ3 직접적으로 기저가 되는 대수학에서 소 congruence가 극대가 되지 않을 수 있는가, 만약 그렇다면 어떤 구조적 조건에서 가능한가?
• RQ4 직접적으로 기저가 되는 대수학의 부분대수는 언제 다시 직접적으로 기저가 되는가?
• RQ5 어떻게 하면 소 congruence가 극대가 되지 않는 유한 격자를 구성할 수 있는가?

주요 결과

• 전사 준동형사상은 항상 허용 가능하고 Max-허용 가능하지만, 그 역은 성립하지 않는다.
• 허용 가능성과 Max-허용 가능성은 quotient 사상에서 보존되며, 이는 임bedding의 연구로 축소된다.
• 비극대 소 congruence를 갖는 무한한 유한 직접적으로 기저가 되는 격자가 존재한다.
• 모든 유한 분배 격자 $K$에 대해, $\mathrm{Con}(L) \cong \mathcal{L}_2 \oplus K$를 만족하는 유한 격자 $L$이 존재하며, 이에 따라 $\Delta_L \in \mathrm{Spec}(L)$이다.
• 오각형 격자 $\mathcal{P}$에서 $\mathrm{Spec}(\mathcal{P}) = \{\Delta_{\mathcal{P}}\} \cup \mathrm{Max}(\mathcal{P})$이지만 $\Delta_{\mathcal{P}} \notin \mathrm{Max}(\mathcal{P})$이므로 $\mathrm{Spec}(\mathcal{P}) \nsubseteq \mathrm{Max}(\mathcal{P})$이다.
• 만약 $A$가 유한하고 직접적으로 기저가 되며, $\mathrm{Con}(A)$가 유한하거나 $\mathcal{C}$가 congruence-확장 가능하다면, $A$의 부분대수 $S \subseteq A$가 허용 가능한 포함을 갖는 한 $S$ 역시 직접적으로 기저가 된다.