[논문 리뷰] Dense Elements and Classes of Residuated Lattices

Claudia Mureșan|arXiv (Cornell University)|2009. 01. 12.

Advanced Algebra and Logic인용 수 14

한 줄 요약

이 논문은 잔여 레이티스에서 조밀 원소, 루트럴, 그리고 업그레이드 불 대수 중심을 조사하며, BL-대수와 특정 방정정식을 만족하는 일부 글리븐코 잔여 레이티스가 업그레이드 불 대수 중심 성질을 가짐을 입증한다. 또한 국소 및 반국소적 구조를 일반화하는 준국소 잔여 레이티스를 정의하고 특성화하며, 밀도 이상의 이상적에 대한 몫이 준국소적일 경우 글리븐코 잔여 레이티스가 준국소적임을 증명한다.

ABSTRACT

In this paper we study the dense elements and the radical of a residuated lattice, residuated lattices with lifting Boolean center, simple, local, semilocal and quasi-local residuated lattices. BL-algebras have lifting Boolean center; moreover, Glivenko residuated lattices which fulfill a certain equation (that is satisfied by BL-algebras) have lifting Boolean center.

연구 동기 및 목표

• 잔여 레이티스에서 조밀 원소와 루트럴의 구조를 특성화하는 것.
• 업그레이드 불 대수 중심 성질을 조사하고 이를 만족하는 잔여 레이티스의 범주를 특정하는 것.
• 국소 및 반국소적 레이티스의 일반화로서 준국소 잔여 레이티스를 정의하고 분석하는 것.
• 국소, 반국소, 단순, 준국소 잔여 레이티스 간의 관계를 명확히 하는 것.
• 특히 글리븐코 경우에서 잔여 레이티스가 준국소적일 조건을 설정하는 것.

제안 방법

• 잔여 및 레이티스 이론적 연산(→, ⊙, ¬, ↔)을 사용하여 조밀 원소, 루트럴, 불 대수 중심을 정의한다.
• A/Ds(A) 및 A/F와 같은 몫 구성법을 적용하여 구조적 성질과 동형사상 분석을 수행한다.
• 스펙트럼 위상수학과 필터 이론(소수, 극대, 소(primary), 준소(primary) 필터)를 활용하여 레이티스의 구조를 연구한다.
• θ(a/Ds(A)) = ¬¬a로 주어진 동형사상 θ: A/Ds(A) → Reg(A)를 활용하여 조밀 몫과 정규 부분대수 간의 관계를 규명한다.
• 글리븐코 조건 ¬¬(¬¬a → a) = 1 과 방정식 (¬a→¬b)→¬b = (¬b→¬a)→¬a를 적용하여 구조적 결과를 도출한다.
• 순서 ord(a)와 정규 원소 개념을 활용하여 국소 및 단순 레이티스를 분석한다.

실험 결과

연구 질문

• RQ1 어떤 종류의 잔여 레이티스가 업그레이드 불 대수 중심 성질을 가질까?
• RQ2 루트럴, 조밀 원소, 그리고 몫 A/Ds(A) 간의 관계는 무엇인가?
• RQ3 글리븐코 잔여 레이티스가 준국소적일 조건은 무엇인가?
• RQ4 국소, 반국소, 단순, 준국소 잔여 레이티스의 범주 간의 관계는 어떻게 되는가?
• RQ5 A/Ds(A)의 준국소성이 A의 준국소성을 유도하는 조건는 무엇인가?

주요 결과

• BL-대수는 A/Ds(A)와 Reg(A) 사이의 동형사상으로 인해 업그레이드 불 대수 중심 성질을 가진다.
• 글리븐코 잔여 레이티스가 방정식 (¬a→¬b)→¬b = (¬b→¬a)→¬a를 만족하는 것은 Reg(A)가 MV-대수임과 동치이다.
• 글리븐코 잔여 레이티스에서 몫 A/Ds(A)는 Reg(A)와 동형이며, 이 동형사상은 잔여 레이티스 구조를 유지한다.
• 잔여 레이티스 A가 준국소적임은 모든 a ∈ A에 대해 e ∈ B(A)와 n ∈ ℕ*가 존재하여 aⁿ ⊙ e = 0 및 (¬a)ⁿ ⊙ (¬e) = 0 를 만족함과 동치이다.
• 준국소 잔여 레이티스의 범주는 국소 및 반국소 레이티스를 진정으로 포함하며, 국소 MV-대수와 BL-대수의 약한 불 대수 곱을 포함한다.
• A/Ds(A)는 준국소적이지만 A는 준국소적이지 않은 잔여 레이티스 A가 존재하므로, 준국소성은 조밀 이상에 대한 몫에 대해 보존되지 않는다.