检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:曹发生[1,2]
机构地区:[1]毕节学院数学系,贵州毕节551700 [2]中山大学逻辑与认知研究所,广东广州510275
出 处:《四川师范大学学报(自然科学版)》2012年第2期236-239,共4页Journal of Sichuan Normal University(Natural Science)
基 金:贵州省教育厅自然科学基金(黔教科20090068)资助项目
摘 要:基于布尔格的次直积同构表示,引入布尔格的元的不可辨下标集的定义,给出布尔格的元的不可辨下标集的简单性质.应用布尔格的元的不可辨下标集给出布尔格的主同余的刻画,并给出有穷布尔格的主同余的基数与布尔格的元的不可辨下标集的基数的联系,从而得到布尔格的主同余的构造方法.Congruences,which are closely related to quotient algebras,play an important role in algebra theory.The researchers study the lattices which are the sets of all congruences with subsumption relation.Principal congruences as special congruences are concerned.The indiscernible index set for elements of Boolean lattices is defined based on isomorphism representation of subdirect product on Boolean lattices,and the simple properties of them are discussed.Then equivalent characterization for principal congruence on Boolean lattices is obtained by the indiscernible index set for elements of Boolean lattices.Finally,the relationship of cardinal number of the indiscernible index set and principal congruence on finite Boolean lattices is studied.The construction methods for principal congruences on Boolean lattices are obtained.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222