Quantale上的Ⅰ型结构及其性质  

Ⅰ type structure on a Quantale and its properties

作　　者：韩胜伟[1] 

机构地区：[1]陕西师范大学数学与信息科学学院,陕西西安710062

出　　处：《陕西师范大学学报（自然科学版）》2010年第2期1-4,共4页Journal of Shaanxi Normal University：Natural Science Edition

基　　金：国家自然科学基金资助项目(10871121);陕西师范大学博士基金资助项目(999333)

摘　　要：引入了Quantale上Ⅰ型结构和弱子结构的概念,讨论了Ⅰ型结构和弱子结构与映射之间的对应关系,利用Quantale上的、∨和∧等运算,分别给出了Quantale上的一个非空子集是Ⅰ型结构和弱子结构的充要条件,证明了在预Girard Quantale上Ⅰ型核映射与Ⅰ型理想余核之间是一一对应关系.The concepts of an I type structure and a weak substructure on a Quantale are introduced,the corresponding relations between Ⅰ type structures（weak structures） and maps are discussed.By using the operations ×,∨ and ∧ of a Quantale,sufficient and necessary conditions for a nonempty subset to be an I type ideal and a weak subquantale are given,respectively.Finally,it is proved that I type nuclei and I type ideal conuclei are in one-to-one correspondence on pre-Girard Quantale.

关 键 词：完备格 预Girard QUANTALE Ⅰ型结构 

分 类 号：O153.1[理学—数学]