论文部分内容阅读
讨论理想Quantale的性质，给出了当Q是可换Quantale时，Q中理想都是半素理想的一个条件。引入了理想的扩张的概念，证明了与序半群中的一些经典结论相一致的命题。通过理想的扩张构造了一个Quantale上的同余，得到了当原理想是素理想时，这个同余所确定的Quantale商是Frame且找到了它的具体结构。