[논문 리뷰] The bottom of the lattice of BCK-varieties

Tomasz Kowalski|arXiv (Cornell University)|2024. 09. 15.

Rings, Modules, and Algebras참고 문헌 2인용 수 6

한 줄 요약

논문은 격자 이면의 밑단이 Y-모양임을 증명하고, 어떤 비-C2 변종도 C3 또는 H3를 포함해야 함을 보임으로써 하나의 지속 중인 추측에 답한다.

ABSTRACT

Confirming a conjecture of Pałasiński and Wroński, we show that the bottom of the lattice of subvarieties of BCK is Y-shaped.

연구 동기 및 목표

• Pałasiński와 Wroński의 BCK-변량 격의 하한에 대한 추측에 의해 연구를 동기화한다.
• 비-C2 변종에서 특정 작은 대수(C3 또는 H3)의 포함을 강제하는 구조적 조건을 설명한다.
• 격자 위치를 결정하기 위해 부분직접적으로 불가분하고 무한한 간단한 BCK-대수를 특징지어다.
• 모든 비-C2 변종이 C3 또는 H3를 포함하는지에 대해 긍정적인 답을 제공한다(즉, 다음 격자 수준에 도달한다).

제안 방법

• 구현 Standard BCK-대수 사실을 활용한다.

실험 결과

연구 질문

• RQ1 Is every BCK-variety either contained in C2 or does it intersect {C3, H3} nontrivially?
• RQ2 What structural properties of a non-C2 BCK-algebra force the presence of C3 or H3 as subalgebras?
• RQ3 How do atoms and the height of elements in infinite simple subalgebras influence the lattice categorization?
• RQ4 Can the bottom of the lattice of BCK-varieties be characterized as Y-shaped as conjectured by Pałasiński and Wroński?

주요 결과

• If a non-C2 BCK-algebra has an atom, then it contains C3 or H3 as a subalgebra.
• If a SI BCK-algebra is not contained in C2 and lacks atoms, it contains an infinite simple subalgebra E without an upper bound for relative heights; such E forces inclusion of C3 or H3 in the generated variety.
• For infinite simple E constructed inside a non-C2 variety, a particular quotient yields a subalgebra isomorphic to C3, ensuring its variety intersects {C3, H3}.
• The resulting Dichotomy (Theorem 1) states: a BCK-variety not contained in C2 must intersect {C3, H3} nontrivially.
• The work confirms the Pałasiński–Wroński conjecture by establishing the bottom of the lattice as Y-shaped and identifying the exact next level via C3 and H3.