[논문 리뷰] Relation identities equivalent to congruence modularity

Paolo Lipparini|arXiv (Cornell University)|2017. 04. 18.

Advanced Algebra and Logic참고 문헌 10인용 수 3

한 줄 요약

이 논문은 일반 대수학에서 동치 모듈러성과 동치인 반사적이고 허용 가능한 관계를 포함하는 새로운 관계 항등식을 제시한다. 유도된 구문(term)과 관계적 합성의 활용을 통해 저자는 $\Theta(S \circ S) \subseteq (\Theta S)^*$와 같은 항등식이 동치 모듈러성을 특징짓는다는 것을 입증하며, 전통적인 구문 기반 정의를 초월한 새로운 대수적 특징을 제공한다.

ABSTRACT

We present some identities dealing with reflexive and admissible relations and which, through a variety, are equivalent to congruence modularity.

연구 동기 및 목표

• 대체로 대수의 다양체에서 동치 모듈러성과 동치인 새로운 관계 항등식을 규명하는 것.
• 기존의 구문 기반 항등식을 초월하여 반사적이고 허용 가능한 관계를 포함하는 항등식으로 동치 모듈러성의 특징을 확장하는 것.
• 동치 모듈러 다양체에서 유도된 구문 또는 Day 구문의 존재와 관계 항등식 간의 관계를 명확히 하는 것.
• 관계적 합성과 닫힘 연산을 활용하여 관계 기반의 톨러런스와 동치 항등식을 체계적으로 분석할 수 있는 프레임워크를 제공하는 것.

제안 방법

• 논문은 관계 기호를 도입한다: 교차를 뜻하는 붙임표기, $\circ$ 는 합성을 의미하며, $R^{\smallsmile}$ 은 역관계를, $R^*$ 은 전이적 닫힘을, $\overline{R}$ 은 $R$ 을 포함하는 최소의 반사적이고 허용 가능한 관계를 나타낸다.
• 반사적이고 허용 가능한 관계 $R$ 이 포함된 최소의 톨러런스를 $\Theta_R$ 로 정의함으로써, 톨러런스를 항등식 내에서 변수로 사용할 수 있도록 한다.
• 핵심 방법은 특정 관계 포함 관계—예를 들어 $\Theta(S \circ S) \subseteq (\Theta S)^*$—가 어떤 다양체에서 성립하는 것이 그 다양체가 동치 모듈러일 때이고 그 때에만 성립한다는 것을 증명하는 것이다.
• 이러한 관계 항등식과 유도된 구문의 존재 간의 동치성을 증명하며, 구문의 공리로부터 유도된 항등식의 사슬을 활용한다.
• 관계의 합을 모델링하기 위해 $S + T = \bigcup_{m \in \mathbb{N}} S \circ_m T$ 를 사용하고, 이를 동치 레이티스 연산과 연결한다.
• 항등식 $\Theta(S \circ S^\smallsmile) \subseteq \Theta S \circ_{k-1} \Theta S^\smallsmile$ 가 성립하는 것은 $k+1$ 개의 Day 구문의 존재를 특징짓는다. 이는 관계 항등식과 Day 구문 시퀀스의 수와의 연결을 보여준다.

실험 결과

연구 질문

• RQ1 어떤 반사적이고 허용 가능한 관계를 포함하는 항등식이 다양체에서 동치 모듈러성과 동치인가?
• RQ2 관계적 합성과 닫힘은 유도된 구문의 존재와 어떻게 관련되는가?
• RQ3 동치 모듈러 다양체에서 Day 구문의 수를 관계 항등식으로 특징지울 수 있는가?
• RQ4 항등식에 소규모 수정을 가했을 때, 분배법칙이나 m-순서성과 같은 더 강력한 성질을 유도하는가?
• RQ5 톨러런스 기반 항등식은 일반 대수학에서 구문 기반 특징을 얼마나 널리 대체할 수 있는가?

주요 결과

• 항등식 $\Theta(S \circ S) \subseteq (\Theta S)^*$ 가 성립하는 것은 다양체가 동치 모듈러일 때이고 그 때에만 성립한다.
• 항등식 $\Theta(S \circ S^\smallsmile) \subseteq (\Theta S \circ \Theta S^\smallsmile)^*$ 는 동치 모듈러성과 동치이다.
• 항등식 $\Theta(S \circ T)^* \subseteq \Theta(\overline{S \cup T}) \circ (\Theta S \circ \Theta T)^*$ 는 동치 모듈러성을 특징짓는다.
• 항등식 $\Theta(S \circ S^\smallsmile) \subseteq \Theta S \circ_{k-1} \Theta S^\smallsmile$ 가 성립하는 것은 다양체가 $k+1$ 개의 Day 구문을 포함할 때이고 그 때에만 성립한다.
• 항등식 (1.1)의 변형인 $\Theta(S \circ S) \subseteq (\Theta S^\smallsmile)^*$ 는 모듈러성보다 엄밀히 강력하며, 어떤 $m$ 에 대해 m-순서성을 유도한다.
• 항등식 $\Theta(S \circ T^\smallsmile) \subseteq (\Theta S \circ \Theta T^\smallsmile)^*$ 는 동치 분배법칙과 동치이며, 모듈러성과는 동치가 아니다.