[논문 리뷰] Reconstructing the topology on monoids and polymorphism clones of reducts of the rationals

J. K. Truss, Edith Vargas-García|arXiv (Cornell University)|2016. 06. 30.

semigroups and automata theory참고 문헌 7인용 수 4

한 줄 요약

이 논문은 유리수 및 그 색이 칠해진 변형의 재구성에 대한 자동 호메오모르피즘 결과를 확장한다. 이전 연구의 기법을 응용하여, 유리수 위의 사이성, 순환 순서, 분리 관계에 대한 임베딩, 엔도모르피즘, 다형성 클론의 모노이드들이, 소인수 성질과 소인수의 부분군에 대한 조합적 특성에 기반하여 모두 자동 호메오모르피즘을 갖는다는 것을 입증한다. 이는 유리수의 단색 및 $C$-색이 칠해진 경우 $2 \leq |C| \leq \aleph_0$에 대해 성립한다.

ABSTRACT

We extend results from an earlier paper giving reconstruction results for the endomorphism monoid of the rational numbers under the strict and reflexive relations to the first order reducts of the rationals and the corresponding polymorphism clones. We also give some similar results about the coloured rationals.

연구 동기 및 목표

• 순서가 부여된 유리수에서의 자동 호메오모르피즘 결과를, 사이성, 순환 순서, 분리 관계를 포함한 유리수의 재구성으로 확장한다.
• 소인수 성질이 성립하는 $C$-색이 칠해진 유리수의 임베딩 및 엔도모르피즘 모노이드에 대해 자동 호메오모르피즘을 확립한다.
• 순환 유리수 순서 및 그 색이 칠해진 변형의 자기동형군에 대해 소인수 성질을 확인한다.
• 이전 연구에서 사용된 방법 [3]을 새로운 구조에 적용하여, 모노이드 및 클론의 동형사상이 반드시 호메오모르피즘임을 보장한다.
• 반사적 재구성과 그 색이 칠해진 변형에 대해 다형성 클론의 자동 호메오모르피즘을 확장한다.

제안 방법

• 이전 논문 [3]의 조합적 보조정리를 수정하여, 자동형군을 점별로 고정하는 임베딩 모노이드의 단사 엔도모르피즘이 항등사상임을 보임.
• 자기동형군의 소인수 성질을 이용하여, 임베딩 모노이드에 대한 자동 호메오모르피즘을 유도함.
• $C$-색이 칠해진 경우에 색 정보를 반영하도록 변환의 가족 $\Gamma$의 구성 방식을 수정하여, 색을 유지하거나 회피하는 볼록 분해를 보장함.
• 색이 칠해진 구조의 자기동형군에서 소인수의 부분군이 유한하고 대칭적으로 색이 칠해진 집합의 안정자와 대응됨을 입증하여, 필요한 구조를 유지함.
• 자기동형군이 엔도모르피즘 모노이드에서 인덱스가 2임을 이용하여, 임베딩 모노이드의 결과를 엔도모르피즘 모노이드로 이행함.
• [3]의 일반적 결과를 적용하여, 모노이드의 자동 호메오모르피즘이 다형성 클론의 자동 호메오모르피즘을 유도함.

실험 결과

연구 질문

• RQ1 유리수 $\mathbb{Q}$ 위의 사이성 관계에 대한 임베딩 모노이드는 자동 호메오모르피즘을 갖는가?
• RQ2 순환 유리수 순서 및 그 $C$-색이 칠해진 변형에 대해 자기동형군의 소인수 성질을 확립할 수 있는가?
• RQ3 유리수의 재구성, 즉 사이성, 순환 순서, 분리 관계에 대한 엔도모르피즘 모노이드는 자동 호메오모르피즘을 갖는가?
• RQ4 반사적 재구성과 그 색이 칠해진 변형에 대해 다형성 클론의 자동 호메오모르피즘이 유지되는가?
• RQ5 순서가 부여된 유리수에 사용된 방법은 이론적으로 연구된 세 구조 이외의 $\mathbb{Q}_C$의 재구성으로 일반화될 수 있는가?

주요 결과

• 임베딩 모노이드 $\mathrm{Emb}(\mathbb{Q}, \leq)$는 자동 호메오모르피즘을 갖는다. 이는 [3]의 결과를 유리수의 재구성으로 확장한 것이다.
• 순환 유리수 순서 $({\mathbb{Q}}, \mathrm{circ})$의 자기동형군은 소인수 성질을 갖는다. 이는 확장에 핵심적인 기술적 결과이다.
• $C$-색이 칠해진 유리수에서 $2 \leq |C| \leq \aleph_0$일 경우, $\mathrm{Emb}(\mathbb{Q}_C, \leq)$, $\mathrm{End}(\mathbb{Q}_C, \leq)$ 및 $\mathrm{betw}$, $\mathrm{circ}$, $\mathrm{sep}$에 대한 대응 모노이드 모두 자동 호메오모르피즘을 갖는다.
• $\mathrm{Pol}(\mathbb{Q}_C, \leq)$, $\mathrm{Pol}(\mathbb{Q}_C, \mathrm{betw})$, $\mathrm{Pol}(\mathbb{Q}_C, \mathrm{circ})$, $\mathrm{Pol}(\mathbb{Q}_C, \mathrm{sep})$의 다형성 클론 모두 자동 호메오모르피즘을 갖는다.
• 재구성의 자기동형군에서 소인수의 부분군은 유한하고 대칭적으로 색이 칠해진 집합의 안정자와 대응되며, 이는 색이 칠해진 설정에서 소인수 성질이 유지됨을 보장한다.
• 결과는 [3]의 조합적 보조정리와 군론적 기법을 수정하여 도출되었으며, 이는 $\Gamma$ 및 관련 가족의 구성에 색 제약 조건을 통합함으로써 이루어졌다.