共查询到19条相似文献,搜索用时 218 毫秒
1.
主要是应用正整数的有序分拆,研究了有限格及其Hasse图问题,证明了有限格和有限格对应的Hasse图在同构意义下是一一对应的;引进了一个格的Hasse图的格类的概念,并给出了一种画n个顶点的格对应的Hasse图的简便而有效的方法,并且研究了有限半模格的Hasse图的一些性质. 相似文献
2.
该文引入半Smooth格和半Smooth代数格的概念,讨论它们的一些基本性质及与半连续格的关系,证明了完备格L是半Smooth格和半连续格当且仅当L是完全分配格. 相似文献
3.
通过模糊集理论的方法,给出了m-半格的(素)模糊理想的概念,讨论了(素)模糊理想和(素)理想之间的关系,研究了模糊理想之集的性质。给出了(素)模糊理想和(素)理想的等价刻画,证明了含最小元的正序m-半格的像集中含1的模糊理想之集是分配l-半群。提出的方法能较好地阐述出模糊集理论与m-半格的联系。 相似文献
4.
模糊半群半格 总被引:1,自引:1,他引:0
肖光灿 《四川师范大学学报(自然科学版)》2001,24(2):134-137
讨论了模糊左(右)群半格、单半群半格、半单半群以及群半格与Fuzzy理想的一些等价性质。 相似文献
5.
引入偏序集上的相对极大理想的概念,证明在任意的条件并半格中的一个理想是相对极大理想当且仅当它是理想格中的完全并即约元,最后给出了Heyting代数中相对极大理想的一个等价刻画. 相似文献
6.
张玉琦 《内蒙古师范大学学报(自然科学版)》2004,33(2):124-127
证明了如下结果:设L是完备格,L是完备集环←→L同构到L的完全并既约元有限生成的分配并半格F上的理想格I(F),完备格L同构到一个格K的理想格I(K),L是完备集环←→K是强Sober格。 相似文献
7.
利用半格的等价定义以及超代数运算,引入了超半格的概念,研究了超半格的代数结构、超半格的直积以及超半格的同态.证明了超半格之间的满同态保持吸收元和固定元,给出了超半格的等价刻画.在此基础上又给出了子超半格和超半格的理想的概念,并且研究了它们的同态象、乘积、交并关系及其等价刻画. 相似文献
8.
对于上连续完备模格L,证明了L是局部原子格等价于1是原子的并,也等价于1是独立原子的并,并进一步给出了1可分解为有限个原子并的若干等价条件. 相似文献
9.
朱玉山 《山西师范大学学报:自然科学版》2006,20(3):8-12
一个半格可以定义为一个泛代数,也可以定义为一个偏序集.本文中,我们证明了作为泛代数的半格的定义与作为偏序集的半格的定义是等价的.为了刻划半格的两种不同定义间的关系,我们建立了两个等式.此外,我们建立了一个充分必要条件.这一充分必要条件反映了两个半格之间的同构与这两个半格的理想格之间的关系. 相似文献
10.
给出了偏序半环的半拟序集构成的格,证明了它是完备的分配格,并讨论了偏序半环的两个特殊的半拟序格,即拟序集构成的格与楄序集构成的格的关系。 相似文献
11.
12.
通过对Г-半群上最小半格同余 的研究,给出了 的一个描述,并定义了Г-半群的完全半素理想和滤子的概念及用它们来刻划 。 相似文献
13.
14.
本文研究了(S,+)半群为半格、(S,·)半群为逆半群、(S,*)半群为半格的双半环, 利用加法半群(S,+)、乘法半群(S,·)和乘法半群(S,*)上的偏序以及三者之间的关系, 给出了该类双半环成为分配格的几个等价命题。 相似文献
15.
周含策 《西北大学学报(自然科学版)》2000,30(1):4-6
给出了偏序半群中最小滤子的构造 ,以及几种特殊的偏序半群 ,其中的最小滤子有简单的形式 ,给出了偏序半群上最小半格同余 n与最小正则半格同余 N相等的一个充分必要条件 ,并提出一个问题 ,即 Nm( x) =Nm( x)是否为 n =N的必要条件 相似文献
16.
利用被推广的半群上的ρ-G reen关系,研究LρC-正则半群,得到LρC-正则半群的等价刻画,证明了半群为LρC正-则半群当且仅当它为L-左可消幺半群的强半格。 相似文献
17.
滤子和开滤子是研究序结构和拓扑结构的非常有用的工具.作者通过反例说明L即使为完全分配代数格也无法保证OFilit(L)的分配性,并且证明了对于连续分配半格L,其开滤子Domain OFilt(L)为分配格当且仅当L稳定连续. 相似文献
18.
周绍艳 《云南师范大学学报(自然科学版)》2008,28(1):8-11
文章[4]给出了Dn中的半格置换相似于Tn中的某个半格的充要条件.对于这个充要条件,本文在[5]的基础上给出另一个更简洁的等价描述. 相似文献
19.
代数L-domain的表示定理及其相关范畴性质 总被引:1,自引:0,他引:1
引人局部条件并半格(简记为L-cusl)及其理想完备化等概念.证明了:任一代数L-domain的紧元集是L-cusl,任一代数L-domain是其紧元集赋予A1exandrov拓扑时的Sober化;任一L-cusl的理想完备化是代数L-domain,从而得到了代数L-domain的表示定理.还证明了Scott连续映射为态射的代数L-domain范畴为L-cusl与单调映射作成的范畴的反射于范畴. 相似文献