Quantic格中的理想和理想余闭包算子

引入了Quantic格上的理想和理想余闭包算子的概念,研究了理想和理想余闭包算子的若干性质,讨论了Quantic格同态与理想之间的关系.证明了在Quantic格中,一个子集是理想当且仅当它是某个理想余闭包算子的像.

子Quantic格

研究了Quantic格的内部结构,给出了子Quantic格和余核映射的定义,讨论了余核映射和子Quantic格之间的关系以及子Quantic格的若干性质.

Quantic格上的同态定理

研究了Quantic格的内部运算,证明了Quantic格中的二元运算&满足结合律的充分必要条件是对任意的a、b、c∈Q,均有a&b→c=a→(b→c).讨论了商Quantic格与核映射之间的关系,证明了Quantic格上的同态定理:设f:P→Q是满的Quantic格同态,则存在P上的核映射j,使得Pj≌Q.

Quantic格中的素元及相关问题研究

讨论了Quantic格与Quantale以及Quantic格与分配格的关系.证明了左侧Quantic格构成交换Quantale的充要条件是对任意的a、b、c∈Q,a→(b→c)=b→(a→c).给出Quantic格中素元与S-素元的概念,讨论了它们的一系列性质,得到Quantic格中素元的等价刻画,证明了S-素元在满足一定条件的映射f下的像是f(S)-素元.

Quantic格的模糊理想

引入Quantic格上的模糊子Quantic格、模糊理想和素模糊理想的概念,研究了模糊理想和素模糊理想的若干性质。讨论了Quantic格模糊理想与模糊子Quantic格之间的关系,给出了模糊理想和素模糊理想的刻画,证明了Quantic格的任意一个理想都可看成是此Quantic格的某一模糊理想的一个截集。

Quantic格范畴

系统研究了Quantic格范畴。证明了Quantic格范畴有等子、余等子。给出了Quantic格范畴中的极限和逆极限结构,从而说明了Quantic格范畴是完备范畴。