{"title":"Spectral properties of cBCK-algebras","authors":"C. Matthew Evans","doi":"10.1007/s00012-022-00779-0","DOIUrl":null,"url":null,"abstract":"<div><p>In this paper we study prime spectra of commutative BCK-algebras. We give a new construction for commutative BCK-algebras using rooted trees, and determine both the ideal lattice and prime ideal lattice of such algebras. We prove that the spectrum of any commutative BCK-algebra is a locally compact generalized spectral space which is compact if and only if the algebra is finitely generated as an ideal. Further, we show that if a commutative BCK-algebra is involutory, then its spectrum is a Priestley space. Finally, we consider the functorial properties of the spectrum and define a functor from the category of commutative BCK-algebras to the category of distributive lattices with zero. We give a partial answer to the question: what distributive lattices lie in the image of this functor?</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6000,"publicationDate":"2022-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Algebra Universalis","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s00012-022-00779-0","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 2
Abstract
In this paper we study prime spectra of commutative BCK-algebras. We give a new construction for commutative BCK-algebras using rooted trees, and determine both the ideal lattice and prime ideal lattice of such algebras. We prove that the spectrum of any commutative BCK-algebra is a locally compact generalized spectral space which is compact if and only if the algebra is finitely generated as an ideal. Further, we show that if a commutative BCK-algebra is involutory, then its spectrum is a Priestley space. Finally, we consider the functorial properties of the spectrum and define a functor from the category of commutative BCK-algebras to the category of distributive lattices with zero. We give a partial answer to the question: what distributive lattices lie in the image of this functor?
期刊介绍:
Algebra Universalis publishes papers in universal algebra, lattice theory, and related fields. In a pragmatic way, one could define the areas of interest of the journal as the union of the areas of interest of the members of the Editorial Board. In addition to research papers, we are also interested in publishing high quality survey articles.