$EMV$-代数的 Loomis--Sikorski 定理
交换代数
2017-07-04 v1
摘要
最近，在[DvZa]中，我们引入了-代数，它类似于-代数，但不保证有顶元素。对于-完全的-代数，我们证明了 Loomis--Sikorski 定理的一个类比，表明每个-完全的-代数都是一个-模糊集族的-同态像，其中所有代数运算由点定义。为了证明这一点，建立了态射空间与极大理想空间的某些拓扑性质。
引用
@article{arxiv.1707.00270,
title = {The Loomis--Sikorski Theorem for $EMV$-algebras},
author = {Anatolij Dvurečenskij and Omid Zahiri},
journal= {arXiv preprint arXiv:1707.00270},
year = {2017}
}