Isotone maps on lattices

被引:3
作者
Bergman, G. M. [1 ]
Graetzer, G. [2 ]
机构
[1] Univ Calif Berkeley, Berkeley, CA 94720 USA
[2] Univ Manitoba, Dept Math, Winnipeg, MB R3T 2N2, Canada
关键词
free product of lattices; varieties; prevarieties and quasivarieties of lattices; isotone map; free lattice on a partial lattice; semilattice;
D O I
10.1007/s00012-012-0191-2
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Let L = (L-i vertical bar i is an element of I) be a family of lattices in a nontrivial lattice variety V, and let phi(i) : L-i --> M, for i is an element of I, be isotone maps (not assumed to be lattice homomorphisms) to a common lattice M (not assumed to lie in V). We show that the maps phi(i) can be extended to an isotone map phi: L --> M, where L = Free(V) L is the free product of the L-i in V. This was known for V = L, the variety of all lattices. The above free product L can be viewed as the free lattice in V on the partial lattice P formed by the disjoint union of the L-i. The analog of the above result does not, however, hold for the free lattice L on an arbitrary partial lattice P. We show that the only codomain lattices M for which that more general statement holds are the complete lattices. On the other hand, we prove the analog of our main result for a class of partial lattices P that are not-quite-disjoint unions of lattices. We also obtain some results similar to our main one, but with the relationship lattices : orders replaced either by semilattices : orders or by lattices : semilattices. Some open questions are noted.
引用
收藏
页码:17 / 37
页数:21
相关论文
共 17 条
[1]  
[Anonymous], ALGEBRA UNIVERS
[2]  
[Anonymous], 2007, GEN LATTICE THEORY
[3]  
[Anonymous], 1970, FUND MATH, DOI DOI 10.4064/FM-69-3-233-240
[4]  
[Anonymous], 1967, SIB MAT J
[5]  
[Anonymous], 1995, Free Lattices
[6]   CATEGORICAL CHARACTERIZATION OF MACNEILLE COMPLETION [J].
BANASCHEWSKI, B ;
BRUNS, G .
ARCHIV DER MATHEMATIK, 1967, 18 (04) :369-+
[7]   INJECTIVE HULLS OF SEMILATTICES [J].
BRUNS, G ;
LAKSER, H .
CANADIAN MATHEMATICAL BULLETIN, 1970, 13 (01) :115-&
[9]   PROJECTIVE LATTICES [J].
FREESE, R ;
NATION, JB .
PACIFIC JOURNAL OF MATHEMATICS, 1978, 75 (01) :93-106
[10]  
Freese R., 2005, PREPRINT