检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:朱玉山[1]
机构地区:[1]中国计量学院理学院数学系,浙江杭州310018
出 处:《山西师范大学学报(自然科学版)》2006年第3期8-12,共5页Journal of Shanxi Normal University(Natural Science Edition)
摘 要:一个半格可以定义为一个泛代数,也可以定义为一个偏序集.本文中,我们证明了作为泛代数的半格的定义与作为偏序集的半格的定义是等价的.为了刻划半格的两种不同定义间的关系,我们建立了两个等式.此外,我们建立了一个充分必要条件.这一充分必要条件反映了两个半格之间的同构与这两个半格的理想格之间的关系.A semilattice can be defined as a universal algebra, and it can also be defined as a partial ordered set. In this paper, we proved that the definition of a semilattice as a universal algebra and the definition of a semilattice as a partial ordered set are equivalent. In order to describe the relationship between two kinds of definitions for a semilattice, we established two formulas. Moreover, we proved a necessary and sufl%ient condition showing the relationship between the isomorphisms of semilattices and the isomorphisms of the lattices of the ideals of the semilattices.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222