共查询到17条相似文献,搜索用时 140 毫秒
3.
4.
5.
6.
7.
8.
明平华 《数学物理学报(A辑)》2004,24(4):491-495
该文在文[1]中幂格概念的基础上,得到了幂格的一个充要条件,给出了正则幂格、相对幂格的概念,并讨论了商格与正则幂格、相对幂格的关系.〖HT5”H〗关键词:〖HT5”SS〗格;幂格;商格;正则幂格;相对幂格. 相似文献
9.
10.
11.
在分配格中引入了次极大滤子的概念,并以此给出了分配格的滤子格是空间式frame的一种新证明,然后研究了次极大滤子在Heyting代数中的一些具体性质。 相似文献
13.
14.
15.
非结合剩余格是非结合格值逻辑系统的代数抽象,本文研究几类特殊非结合剩余格的代数性质。证明了满足预线性条件的非结合剩余格必是分配格,并给出预线性非结合剩余格的充分必要条件。同时,引入对合和强对合非结合剩余格的概念,研究了它们的基本性质,并分别给出对合和强对合非结合剩余格的等价条件。最后,通过反例说明强对合预线性非结合剩余格不一定是蕴涵格。 相似文献
16.
Complete Surjections and Complete Epimorphisms over Completely Distributive Lattices 总被引:1,自引:0,他引:1
Generators and lattice properties of the poset of complete homomorphisic images of a completely distributive lattice are exploited via the localic methods. Some intrinsic and extrinsic conditions about this poset to be a completely distributive lattice are given. It is shown that the category of completely distributive lattices is co-well-powered,and complete epimorphisms on completely distributive lattice are not necessary to be surjections. Finally, some conditions about complete epimorphisms to be surjections are given. 相似文献
17.
Jürgen Reinhold 《Applied Categorical Structures》2000,8(1-2):367-376
We discuss the question whether every finite interval in the lattice of all topologies on some set is isomorphic to an interval in the lattice of all topologies on a finite set – or, equivalently, whether the finite intervals in lattices of topologies are, up to isomorphism, exactly the duals of finite intervals in lattices of quasiorders. The answer to this question is in the affirmative at least for finite atomistic lattices. Applying recent results about intervals in lattices of quasiorders, we see that, for example, the five-element modular but non-distributive lattice cannot be an interval in the lattice of topologies. We show that a finite lattice whose greatest element is the join of two atoms is an interval of T
0-topologies iff it is the four-element Boolean lattice or the five-element non-modular lattice. But only the first of these two selfdual lattices is an interval of orders because order intervals are known to be dually locally distributive. 相似文献