讨论理想Quantale的性质,给出了当Q是可换Quantale时,Q中理想都是半素理想的一个条件。引入了理想的扩张的概念,证明了与序半群中的一些经典结论相一致的命题。通过理想的扩张构造了一个Quantale上的同余,得到了当原理想是素理想时,这个同余所确定的Quantale商是Frame且找到了它的具体结构。
In this paper, the properties of Id(C2) are discussed. A condition that every ideal of a quantale Q is semiprime ideal is given, if the quantale Q is commutative. The concept of ideal extension is introduced. We get that some propositions concerning ordered semigroup still hold for ideal extension in a quantale. A quantic congruence is constructed by the ideal extension. The quantic quotient induced by the congruence is frame and its concrete structure is found, if the original ideal is prime ideal.