Two kinds of enriched topological representations of Q-algebras

被引:0
|
作者
Ruan, Xianglong [1 ]
机构
[1] Xi An Jiao Tong Univ, Sch Math & Stat, Xian 710049, Peoples R China
基金
中国国家自然科学基金;
关键词
Q-algebra; stronghomomorphism; spatiality; M-6-enrichedtopology; QUANTALES;
D O I
10.1093/logcom/exad029
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
In this paper, we continue the study of the enriched topological representation of Q-algebras where Q is a unital quantale and give two kinds of enriched topological representations of Q-algebras. The first one is based on strong M-3-valued Q-algebra homomorphisms, and the second way is based on strong M-6-valued Q-algebra homomorphisms. For the first way, we first construct a spatial and semiunital Q-algebra M-3 containing three elements and show that prime elements of semiunital Q-algebras are identified with strong Q-algebra homomorphisms taking their values in M-3. Then we prove that a semiunital Q-algebra is spatial iff strong Q-algebra homomorphisms with values in M-3 separate elements. Based on this, we obtain that every spatial and semiunital Q-algebra can be identified with an M-3-enriched sober space. For the second enriched topological representation, we construct a spatial and semiunital Q-algebra M-6 containing exactly six elements and prove that every spatial and semiunital Q-algebra can be identified with an M-6-enriched sober space.
引用
收藏
页码:795 / 814
页数:20
相关论文
共 50 条