[논문 리뷰] Tense operators on m-symmetric algebras

Aldo V. Figallo, Carlos Gallardo외 1명|arXiv (Cornell University)|2012. 03. 24.

Advanced Algebra and Logic참고 문헌 11인용 수 9

한 줄 요약

이 논문은 $m$–대칭 대수에 긴장 연산자 $G$와 $H$를 추가하여 긴장 대수의 일반화로 텐션 $m$–대칭 대수를 도입한다. Ockham 대수에 대한 Urquhart의 이중성과 유계 분배 격자에 대한 Goldblatt의 이중성을 이용하여, 텐션 $m$–대칭 대수의 범주와 $tms$–공간의 범주 사이의 이중 동치를 수립함으로써, 이중 공간의 닫힌 $tms$–부분집합을 통해 그 잉여관계 격자의 완전한 기술이 가능해진다.

ABSTRACT

Here we initiate an investigation of the equational classes of m-symmetric algebras endowed with two tense operators. These varieties is a generalization of tense algebras. Our main interest is the duality theory for these classes of algebras. In order to do this, we require Urquart's duality for Ockham algebras and Goldblatt's duality for bounded distributive lattice with operations. The dualities enable us to describe the lattices of congruences on tense m-symmetric algebras.

연구 동기 및 목표

• 긴장 대수를 $m$–대칭 대수에 긴장 연산자 $G$와 $H$를 추가하여 일반화하는 것.
• 텐션 $m$–대칭 대수의 등식적 클래스에 대한 이중성 이론을 개발하는 것.
• 위상수학적 및 순서론적 이중 구조를 이용하여 텐션 $m$–대칭 대수의 잉여관계 격자를 기술하는 것.
• 텐션 $m$–대칭 대수의 범주와 $tms$–공간의 범주 사이의 이중 동치를 수립하는 것.
• 이중 프리스틀리 공간에서의 닫힌 $tms$–부분집합을 통해 잉여관계를 특성화하는 것.

제안 방법

• Ockham 대수에 대한 Urquhart의 이중성을 활용하여, $m$–대칭 대수를 감소하는 연속 사상 $g$를 갖춘 $OP$–공간으로 표현하는 것.
• 유계 분배 격자에 대한 Goldblatt의 이중성을 적용하여, 이중성을 긴장 연산자 $G$와 $H$를 포함하도록 확장하는 것.
• $tms$–공간을 $(X, g, R_G, R_H)$의 삼중체로 정의하며, 여기서 $X$는 프리스틀리 공간이고, $g$는 감소하는 연속 사상이며, $R_G, R_H$는 특정 공리를 만족하는 이항관계이다.
• 대응함수를 통해 텐션 $m$–대칭 대수의 범주(TmS)와 $tms$–공간의 범주(tmS) 사이의 이중 동치를 구성하는 것.
• 텐션 $m$–대칭 대수의 잉여관계를, $tms1$과 $tms2$ 공리를 만족하는 이중 공간의 닫힌 부분집합 $Y$에 대응시키는 것으로 특성화하는 것.
• 이중 공간의 $tms$–부분집합 격자와 $tms$–잉여관계 격자가 반동치임을 증명하는 것.

실험 결과

연구 질문

• RQ1 긴장 연산자 $G$와 $H$는 어떻게 $m$–대칭 대수에 대수적으로 확장되어 긴장 대수의 일반화를 이룰 수 있는가?
• RQ2 텐션 $m$–대칭 대수의 이중 공간의 구조는 어떠한가? 그리고 긴장 연산자는 $m$–대칭 구조와 어떻게 상호작용하는가?
• RQ3 이중 프리스틀리 공간의 닫힌 부분집합이 텐션 $m$–대칭 대수의 잉여관계에 대응하기 위해 만족해야 할 조건은 무엇인가?
• RQ4 텐션 $m$–대칭 대수와 $tms$–공간 사이의 이중성은 그 잉여관계 격자의 기술을 어떻게 지원하는가?
• RQ5 정확히 어떤 위상수학적 및 순서론적 특성으로 잉여관계 격자가 이중 공간에 의해 기술되는가?

주요 결과

• 텐션 $m$–대칭 대수의 범주는 $tms$–공간의 범주와 이중 동치이며, 이는 이 클래스의 대수에 대한 완전한 이중성을 수립한다.
• 텐션 $m$–대칭 대수의 잉여관계는 이중 $tms$–공간의 닫힌 부분집합 $Y$와 일대일 대응되며, 이는 $tms1$과 $tms2$ 공리를 만족한다.
• $tms1$은 관계 $R_G$와 $R_H$가 이중 공간에서 순서 구조를 유지하고 긴장 연산자와의 호환성을 보장함을 보장한다.
• $tms2$는 $g^{2m-1}(Y) = Y$ 조건을 요구함으로써, $m$–대칭 조건 $N^{2m}(x) = N^0(x)$를 강제한다.
• 텐션 $m$–대칭 대수에서의 $tms$–잉여관계 격자는 그 이중 $tms$–공간의 $tms$–부분집합 격자와 반동치이다.
• 이중성은 기존 긴장 대수에 대한 결과를 일반화한, 잉여관계 격자의 완전한 위상수학적 및 순서론적 기술을 가능하게 한다.