TY - JOUR ID - 121638 TI - The Belluce lattice associated with a bounded BCK -algebra JO - Journal of Algebraic Hyperstructures and Logical Algebras JA - JAHLA LA - en SN - 2676-6000 AU - Busneag, D. AU - Piciu, D. AU - Istrata, M. AD - Faculty of Sciences, Department of Mathematics, University of Craiova, Craiova, Romania Y1 - 2021 PY - 2021 VL - 2 IS - 1 SP - 1 EP - 16 KW - Belluce lattice KW - $BCK$-algebra KW - prime spectrum KW - maximal spectrum KW - reticulation KW - bounded distributive lattice DO - 10.52547/HATEF.JAHLA.2.1.1 N2 - In this paper, we introduce the notions of Belluce lattice associated with a bounded $BCK$-algebra and reticulation of a bounded $BCK$-algebra. To do this, first, we define the operations  $\curlywedge ,$ $\curlyvee $ and $\sqcup $ on $BCK$-algebras and we study some algebraic properties of them. Also, for a bounded $BCK$-algebra $A$ we define the Zariski topology on $\ Spec(A)$ and the induced topology $\tau _{A,Max(A)}$ on $Max(A)$. We prove $(Max(A),\tau_{A,Max(A)})$ is a compact topological space if $A$ has Glivenko property. Using the open and the closed sets of $Max(A)$, we define a congruence relation on a bounded $BCK$-algebra $A$ and we show $L_{A}$, the quotient set, is a bounded distributive lattice. We call this lattice the Belluce lattice associated with $A.$ Finally, we show $(L_{A},p_{A})$ is a reticulation of $A$ (in the sense of Definition \ref{d7}) and the lattices $L_{A}$ and $S_{A}$ are isomorphic.  UR - https://jahla.hatef.ac.ir/article_121638.html L1 - https://jahla.hatef.ac.ir/article_121638_52a4d7eea12e1cb5a876c0b3ff04f800.pdf ER -