[논문 리뷰] AF inverse monoids and the structure of countable MV-algebras

Mark V. Lawson, Philip Scott|arXiv (Cornell University)|2014. 08. 06.

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

한 줄 요약

이 논문은 Bratteli 다이어그램으로부터 구성된 AF 역모노이드를 도입하여, 비가환적인 불리안 대수의 일반화로 간주되는 비가환적 일반화를 제시한다. 모든 가산 MV-대수는 이러한 모노이드의 주 이상수의 격자로 나타남을 보이며, 이는 모든 가산 MV-대수를 역반군의 구조를 통해 좌표화함으로써 성립한다.

ABSTRACT

We define a class of inverse monoids having the property that their lattices of principal ideals naturally form an MV-algebra. We say that an arbitrary MV-algebra can be co-ordinatized if it is isomorphic to one constructed in this way from such a monoid. We prove that every countable MV-algebra can be so co-ordinatized. The particular inverse monoids needed to establish this result are examples of what we term AF inverse monoids. These are constructed from Bratteli diagrams and arise naturally as direct limits of finite direct products of finite symmetric inverse monoids.

연구 동기 및 목표

• 가산 MV-대수와 역반군 사이의 구조적 연결을 수립하기 위해, 주 이상수 격자가 MV-대수를 이루는 역모노이드의 클래스를 도입함으로써.
• Bratteli 다이어그램으로부터 구성된 유한 대칭 역모노이드의 유한 곱의 직접극한으로서 AF 역모노이드를 정의하고 연구함으로써.
• 모든 가산 MV-대수는 AF 역모노이드의 주 이상수 격자와 동형임을 증명함으로써, 이러한 모든 MV-대수를 좌표화함으로써.
• 가환적 AF 역모노이드가 정확히 가산 불리안 대수임을 보여, 이들이 비가환적 동치물로서의 역할을 강화함으로써.
• 비가환적 스톤 이중성과 연결하기 위해, 모노이드의 초집합에 대한 초집합을 통해 에탈레 군oids를 정의함으로써, 군oids의 원소들이 Bratteli 다이어그램에서 尾-등가 경로와 대응됨을 보임.

제안 방법

• 정점이 수준을 나타내고 간선이 사상들을 정의하는 Bratteli 다이어그램을 사용하여, 유한 대칭 역모노이드의 직접극한으로 AF 역모노이드를 구성함.
• 요소들에 대한 무게 함수를 정의하여 구조적 깊이를 추적하며, 간선 추가 연산을 통한 수준 간의 무게 유지 사상들을 정의함.
• 역모노이드의 동형 직교 완비화를 통해 분배적 역모노이드를 형성하고, 주 이상수의 격자가 격자 구조를 이루도록 함.
• 각 수준에서 국소 부분모노이드로의 사상과 제약 사상들을 정의하여, 수준 간의 간선 추가를 시뮬레이션함.
• 비가환적 스톤 이중성을 적용하여, 모노이드에 대해 Hausdorff 에탈레 군oids를 부여함. 군oids의 원소들은 동일한 근원에서 루트로 향하는 삼중의 경로로 식별됨.
• 모노이드 상의 합동 관계 ≡는 무게 감소 사상 εp에 의해 유도된 식별을 식별하며, 이 합동은 이러한 식별들에 의해 생성됨.

실험 결과

연구 질문

• RQ1 모든 가산 MV-대수는 어떤 역모노이드의 주 이상수 격자로 표현될 수 있는가?
• RQ2 어떤 종류의 역모노이드가 주 이상수 격자가 MV-대수를 이루는가?
• RQ3 Bratteli 다이어그램과 대칭 역모노이드의 직접극한 구성은 어떻게 불리안 대수의 비가환적 일반화를 이끌어내는가?
• RQ4 비가환적 스톤 이중성 하에서 역모노이드의 구조는 군oids 이론적으로 어떻게 해석되는가?
• RQ5 무게 함수와 사상 εp는 어떻게 역모노이드의 구조와 주 이상수의 구조를 코딩하는가?

주요 결과

• 모든 가산 MV-대수는 AF 역모노이드의 주 이상수 격자와 동형임을 보이며, 이는 모든 가산 MV-대수들이 이러한 구성에 의해 좌표화될 수 있음을 증명한다.
• 구간 [0,1] 내의 이진 유리수의 MV-대수와 관련된 AF 역모노이드는 CAR 대수의 이산적 형태로서 구체적인 실현을 제공한다.
• 가환적 AF 역모노이드는 정확히 가산 불리안 대수임을 보이며, 이는 이들이 비가환적 일반화로서의 역할을 확인함.
• AF 역모노이드와 관련된 군oids는 기저 Bratteli 다이어그램의 尾-등가 군oids와 동형이며, 대수적 구조와 위상적 동역학을 연결함.
• 모노이드 상의 합동 ≡는 사상 εp에 의해 유도된 식별들에 의해 생성되며, 불리안 역모노이드에서는 자명하지만 동형 완비화의 수준 간에서는 비자명함.
• 사상 η: S → e₁De₁는 엄격하게 감소하는 아이소텐트의 수열을 유도하며, 제약 사상 εp: Dp → Dp+1는 Bratteli 다이어그램에서의 간선 추가를 모델링하며 모노이드의 구조를 유지함.