共查询到20条相似文献,搜索用时 314 毫秒
1.
O. A. Kuryleva 《Algebra and Logic》2008,47(1):42-48
A vector space V over a real field R is a lattice under some partial order, which is referred to as a vector lattice if u + (v ∨ w) = (u + v) ∨ (u + w) and u
+ (v ∧ w) = (u + v) ∧ (u + w) for all u, v, w ∈ V. It is proved that a model N of positive integers with addition and multiplications is relatively elementarily interpreted in the ideal lattice
ℱ
n
of a free vector lattice ℱ
n
on a set of n generators. This, in view of the fact that an elementary theory for N is hereditarily undecidable, implies that an elementary theory for
ℱ
n
is also hereditarily undecidable.
__________
Translated from Algebra i Logika, Vol. 47, No. 1, pp. 71–82, January–February, 2008. 相似文献
2.
Hugh Thomas 《Order》2006,23(2-3):249-269
In this paper, we study lattices that posess both the properties of being extremal (in the sense of Markowsky) and of being left modular (in the sense of Blass and Sagan). We call such lattices trim and show that they posess some additional appealing properties, analogous to those of a distributive lattice. For example, trimness is preserved under taking intervals and suitable sublattices. Trim lattices satisfy a weakened form of modularity. The order complex of a trim lattice is contractible or homotopic to a sphere; the latter holds exactly if the maximum element of the lattice is a join of atoms. Any distributive lattice is trim, but trim lattices need not be graded. The main example of ungraded trim lattices are the Tamari lattices and generalizations of them. We show that the Cambrian lattices in types A and B defined by Reading are trim; we conjecture that all Cambrian lattices are trim. 相似文献
3.
4.
5.
针对离散数学经典教材中提出的"交运算对并运算的分配等式和并运算对交运算的分配等式是等价的"这一结论,分析了一种常见的错误证明,通过一个反例说明该结论在一般的格中不一定成立,进一步证明这两个分配等式在且仅在模格中是等价的,并提出利用定义判断一个模格是否是分配格的简便算法.作为一个应用,重新证明了该教材中的一条定理. 相似文献
6.
Summary In a recent survey article, G. Grätzer and E. T. Schmidt raise the problem when is the ideal lattice of a sectionally complemented chopped lattice sectionally complemented. The only general result is a 1999 lemma of theirs, stating that if the finite chopped lattice is the union of two ideals that intersect in a two-element ideal U, then the ideal lattice of M is sectionally complemented. In this paper, we present examples showing that in many ways their result is optimal. A typical result is the following: For any finite sectionally complemented lattice U with more than two elements, there exists a finite sectionally complemented chopped lattice M that is (i) the union of two ideals intersecting in the ideal U; (ii) the ideal lattice of M is not sectionally complemented. 相似文献
7.
8.
Jin Bo YANG Mao Kang LUO 《数学学报(英文版)》2006,22(3):951-958
We introduce the concept of quasi-hyperalgebraic lattice and prove that a complete lattice is a Priestley space with respect to the interval topology if and only if it is quasi-hyperalgebraic. Some characterizations of quasi-hyperalgebraic lattices are presented. We also prove that the Smyth powerdomain of a quasi-hyperalgebraic lattice is hyperalgebraic. 相似文献
9.
The goal of this article is to study finite groups admitting a pseudocomplemented subgroup lattice (PK-groups) or a pseudocomplemented normal subgroup lattice (PKN-groups). In particular, we obtain a complete classification of finite PK-groups and of finite nilpotent PKN-groups. We also study groups with a Stone normal subgroup lattice, and we classify finite groups for which every subgroup has a Stone normal subgroup lattice. Finally, we obtain a complete classification of finite groups for which every subgroup is monolithic. 相似文献
10.
《代数通讯》2013,41(7):3505-3518
Abstract This paper obtains a structure theorem for a finitely generated lattice module 𝔐 over a Noetherian principal element domain 𝔏,with a slightly stronger theorem if the lattice module satisfies a hypothesis valid over principal ideal domains. Additionally,we obtain a new characterization of Dedekind lattice domains as multiplicative lattice domains over which there exists a non torsion,principally generated,Noetherian join-principal-element lattice module. 相似文献
11.
朱福祖 《中国科学A辑(英文版)》2001,44(1):7-14
Methods are presented for the construction of nondecomposable positive definite integral Hermitian forms over the ring of
integers Rm of an imaginary quadratic field ℚ(√−m). Using our methods, one can construct explicitly an n-ary nondecomposable positive
definite Hermitian Rm-lattice ( L, h) with given discriminant 2 for every n⩾2 (resp. n⩾13 or odd n⩾3) and square-free m = 12 k + t with k⩾1 and
t∈ (1,7) (resp. k⩾1 and t = 2 or k⩾0 and t∈ 5,10,11). We study also the case for discriminant different from 2. 相似文献
12.
There are two results in the literature that prove that the ideal lattice of a finite, sectionally complemented, chopped lattice is again sectionally complemented. The first is in the 1962 paper of G. Grätzer and E. T. Schmidt, where the ideal lattice is viewed as a closure space to prove that it is sectionally complemented; we call the sectional complement constructed then the 1960 sectional complement. The second is the Atom Lemma from a 1999 paper of the same authors that states that if a finite, sectionally complemented, chopped lattice is made up of two lattices overlapping in an atom and a zero, then the ideal lattice is sectionally complemented. In this paper, we show that the method of proving the Atom Lemma also applies to the 1962 result. In fact, we get a stronger statement, in that we get many sectional complements and they are rather close to the componentwise sectional complement. 相似文献
13.
M. V. Semenova 《Algebra and Logic》2006,45(2):124-133
V. B. Repnitskii showed that any lattice embeds in some subsemilattice lattice. In his proof, use was made of a result by
D. Bredikhin and B. Schein, stating that any lattice embeds in the suborder lattice of a suitable partial order. We present
a direct proof of Repnitskii’s result, which is independent of Bredikhin—Schein’s, giving the answer to a question posed by
L. N. Shevrin and A. J. Ovsyannikov. We also show that a finite lattice is lower bounded iff it is isomorphic to the lattice
of subsemilattices of a finite semilattice that are closed under a distributive quasiorder.
Supported by INTAS grant No. 03-51-4110; RF Ministry of Education grant No. E02-1.0-32; Council for Grants (under RF President)
and State Aid of Fundamental Science Schools, project NSh-2112.2003.1; a grant from the Russian Science Support Foundation;
SB RAS Young Researchers Support project No. 11.
__________
Translated from Algebra i Logika, Vol. 45, No. 2, pp. 215–230, March–April, 2006. 相似文献
14.
D. A. Bredikhin 《Acta Appl Math》1998,52(1-3):247-251
15.
本文首先给出了一般格成为析取分配格的几个条件,并证明了在满足并无限分配律的条件下,具有析取性质的分配格与Boole格是等价的。文章还给出了析取分配格的拓扑表示。 相似文献
16.
17.
明平华 《数学的实践与认识》2004,34(6):159-161
由幂格的定义知 ,幂格与幂集格是不同的 ,然而它们却有一定的联系 .本文在幂格概念的基础上 ,进一步地讨论幂格和幂集格在一定条件下的联系 . 相似文献
18.
明平华 《数学物理学报(A辑)》2004,24(4):491-495
该文在文[1]中幂格概念的基础上,得到了幂格的一个充要条件,给出了正则幂格、相对幂格的概念,并讨论了商格与正则幂格、相对幂格的关系.〖HT5”H〗关键词:〖HT5”SS〗格;幂格;商格;正则幂格;相对幂格. 相似文献
19.
20.
The main result of this paper is: any primary Arguesian lattice over the field GF(p) of geometric dimension at least three is isomorphic to the lattice of all submodules of a finitely generated module over the ring of polynomials of bounded degree over the field GF(p). 相似文献