分子格的既约度,分解度与分子格乘积的既约性

为探讨分子格的乘积的既约性和乘积的既约分解,文献[1]提出了分子格的既约度和分解度的概念,本文是[1]的继续,进一步给出了分子格的既约度与分解度的一些性质,证明了关于分子格乘积的全体主子格之集的基数的一个定理,以及得出了一族分子格的乘积是既约分子格的一个充要条件,此外,本文还证明了分子格范畴中乘积对上积的完全分配性是自然同构,改正了[1]中对这一结论的证明。     

完备格上并既约元的性质

首先给出一个连续并既约元的概念,然后在完备格上对并既约元的性质进行了探讨.     

完备主因子格

本文引入了主因子格的概念,讨论了完备主因子格中元素的结构.得到了完备主因子分配格有不可约并既分解的一个充要条件,证明了完备下连续的主因子格是有不可约并既分解的.最后讨论了完备主因子格中不可约并既分解的惟一性及可替换性,得到了完备下连续的主因子格有惟一不可约并既分解或者有可替换不可约并既分解的一些充要条件.     

偏序集上的滤子极大理想

在偏序集上引入并考察了滤子极大理想的概念,证明了相应的存在性定理。引入并考察了伪极大元和伪既约元的概念,利用图表的形式对连续格中各种类型的既约元和素元之间的关系进行了归纳总结,完善了文献《Continuous Lattices and Domains》(作者:G.Gierz,et al)中的一个图表的相关内容,填补了在分配的连续格情形该图表的一个未知内容,部分地回答了该文献中的一个问题。     

拓扑分子格的极不连通性和S—闭性

利用完备余ｃｏ－Ｈｅｙｔｉｎｇ代数上的伪补运算，在拓扑分子格上引入极不连通性和Ｓ－闭性，得到了每个Ｓ－闭的正则拓扑分子格是极不连通的以及同胚的广义序同态保持极不连通性和Ｓ－闭性。     

连续并既约元及其在刻画Fuzzy关系方程解集中的应用

本文首先引入连续并既约元(是并既约元但不是完全并既约元的元)的概念,并讨论了它的性质,然后应用连续并既约元的性质去刻画完备Brouwer格上无限Fuzzy关系方程A☉X=b的解集(其中A=(aj)j∈J和b已知,b为连续并既约元,X= (xj)j∈JT未知,“☉”表示“sup-inf”,J为无限集):给出了方程存在可达解与不可达解的充要条件及可达解与不可达解的一些性质,进一步刻画了方程的解集．     

每个元有上覆盖的紧生成格的结构

Dilwrorth与Crawleyl973年提出能否去掉上半模格条件来刻画元素的不可约完全交既分解问题以及能否去掉强原子格的条件刻画紧生成格结构的问题,本文首先证明了每个元有上覆盖的紧生成格L中任意元有不可约完全交既分解,从而肯定地回答了Dilworth与Crawley上述第一个问题.之后,在每个元有上覆盖的紧生成格中引入局部强模格与局部强分配格的概念,研究了局部强模格中独立集的特性以及局部强模格与局部分配格的结构,从而部分解决了Dilworth与Crawley上述第二个问题.     

条件交半格中的相对极大滤子

引入偏序集的相对极大滤子的概念,证明在任意条件交半格中一个滤子是相对极大滤子当且仅当它是滤子格的完全交不可约元.一个格是分配的当且仅当每一个相对极大滤子都是素滤子.随后研究了Heyting代数中相对极大滤子的刻画,最后定义和研究了完全并既约生成格.     

赋层拓扑分子格及其紧性

拓扑分子格本身没有层次结构，为其构造某种层次成为很重要的问题。本文的构思是赋于分子格上的拓扑一种层次，从而使拓扑分子格具有丰富的层次性，其次讨论了保层次序同态与赋层积拓扑分子格，在此基础上建立了较理想的拓扑分子格的紧性。     

点式拟一致分子格中的拓扑

分子格Ｌ上的一个点式拟一致结构可以诱导出Ｌ上的一个拓扑和一个余拓扑（）。本文证明了下面结论：（１）在拓扑分子格（Ｌ，＊（））中，每个分子皆有一个由（）一开元组成的远域基；（２）在拓扑空间（Ｌ，（））（这里Ｌ是Ｆｕｚｚｙ格）中，每个分子皆有一个由（）一开元组成的＊远域基；（３）若（Ｌ，）是点式一致Ｆｕｚｚｙ格，则（）＝（）。     

模糊幂格的素理想与素对偶理想

讨论格与其模糊幂格的理想,对偶理想的关系,以及格与其模糊幂格的素理想,素对偶的关系.     

关于格序群的极大素子群

研究了格序群的极大素子群的性质以及由素子群根系确定的几种格序群类的结构。     

关于剩余格中滤子的格结构

This paper is devoted to the discussion of filters in residuated lattices. The lattice structure of filters in residuated lattice was established. It is proved that the set of all filters forms a distributive lattice. Also, the concept of prime filter in residuated lattice was proposed and some equivalent conditions about prime filter were given.     

Prime Space of Lattice Implication Algebras

1.IntroductionPeoplehavepaidmoreattentiontolathcevaluedlogicsystem,whichwillbecomemuchbetterlogicalsystemforintelligentcomputer.InreferenceL1JXuYangpresentanalgebrastructure-latticeimplicationalgebrabycomblngthelatticewithimplicationalgebraastruevaluefieldoflatticevaluedlogicaIsystem.Afterthat,westudytheimplicationhomomor-phism,congruencerelationsandalgebraicstructureoflatticeimplicationalgebraanddiscussthefirstorderlogicalsystemFMbasedonlatticeimplicationalgebras,andobtainedseveralimpor-ta…     

弱L^p的对偶空间的一个注记

本文证明了非自反弱序列完备Ｂａｎａｃｈ格在它的二次对偶空间中的正交补是非自反映的，从而证明了Ｃｗｉｋｅｌ的关于弱Ｌ＾ｐ的对偶空间的奇异部的表示定理是错误的。     

拓扑分子格中的有限余复盖性质

本文以素理想为基本工具，讨论了拓扑分子格中的有限余复益性质，给出了有限余复益性质的若干等价刻划。证明了关于有限余复盖性质的ＴＨＸＯＨＯＢ乘积定理成立；具有有限余复盖性质的Ｔ２拓扑分子格是Ｔ４的；在一定条件下Ｔ２拓扑分子格中的具有有限余复盖性质的元素是闭元。     

Limit分子格

通过在完全分配格上引入理想收敛,给出ｌｉｍｉｔ分子格及其范畴,证明了其是包含拓扑分子格范畴为全反射范畴的笛卡儿闭范畴．     

内射拓扑分子格

本文证明了任给T_O拓扑分子格(L,η),以下三条等价:(1)(L,η)为正则内射拓扑分子格;(2)L为完备集环且其完备余素元集ht(L)形成一连续格,余拓扑η为该连续格ht(L)上的Scott闭集格;(3)存在T_O内射拓扑空间(X,Τ),(L,η)同胚于(P(X),Τ~c)在拓扑分子格范畴中的Sober化。此外,还给出了正则内射拓扑分子格、(一般)内射拓扑分子格以及正则内射分子格的一般结构。作为应用,重新证明了有指数元的拓扑分子格的结构。     

Sober拓扑分子格

A topological molecular lattice (TML) is a pair (L, T), where L is a completely distributive lattice and r is a subframe of L. There is an obvious forgetful functor from the category TML of TML‘s to the category Loc of locales. In this note,it is showed that this forgetful functor has a right adjoint. Then, by this adjunction,a special kind of topological molecular lattices called sober topological molecular lattices is introduced and investigated.