Scifaro

中文

每个完备原子布尔代数都是一个 cBCK-代数的理想格

环与代数 2024-07-03 v4

作者: C. Matthew Evans

在 arXiv 上查看 ↗ PDF ↗

摘要

给定一个完备原子布尔代数，我们证明存在一个交换 BCK-代数，其理想格即为该布尔代数。这一结果被证明存在于一个涉及函数 BCK-代数的更大框架中，其后者的理想和素理想通过一种特定的伽罗瓦联络加以分析。作为主定理的推论，我们证明每个离散拓扑空间都是一个 cBCK-代数的素谱。

关键词

完备原子布尔代数 cBCK-代数理想格交换 BCK-代数伽罗瓦联络素谱

引用

@article{arxiv.2109.09291,
  title  = {Every complete atomic Boolean algebra is the ideal lattice of a cBCK-algebra},
  author = {C. Matthew Evans},
  journal= {arXiv preprint arXiv:2109.09291},
  year   = {2024}
}

备注

Published in the European Journal of Mathematics (volume 10, June 2024)