The factorization and representation of lattices
The factorization and representation of lattices
复制标题
格的因式分解和表示
DOI:
10.1090/s0002-9947-1975-0360386-3
复制
发表时间:
1975
影响因子:
1.3
通讯作者:
G. Markowsky
中科院分区:
文献类型:
--
作者:
G. Markowsky
For a complete lattice L, in which every element is a join of completely join-irreducibles and a meet of completely meet-irreducibles (we say L is a fm-lattice) we define the poset of irreducibles P(L) to be the poset (of height one) J(L) U M(L) (J(L) is the set of completely join-irreducibles and M(L) is the set of completely meet-irreducibles) ordered as follows: a < P(L) b if and only if a E J(L), b E M(L), and a % Lb. For a jm-lattice L, the automorphism groups of L and P(L) are isomorphic, L can be reconstructed from P(L), and the irreducible factorization of L can be gotten from the components of P(L). In fact, we can give a simple characterization of the center of a jm-lattice in terms of its separators (or unions of connected components of P(L)). Thus P(L) extends many of the properties of the poset of join-irreducibles of a finite distributive lattice to the class of all jm-lattices. We characterize those posets of height 1 which are P(L) for some jmlattice L. We also characterize those posets of height 1 which are P(L) for a completely distributive jm-lattice, as well as those posets which are P(L) for some geometric lattice L. More generally, if L is a complete lattice, many of the above arguments apply if we use "join-spanning" and "meet-spanning" subsets of L, instead of J(L) and M(L). If L is an arbitrary lattice, the same arguments apply to "join-generating" and "meet-generating" subsets of L. This paper concerns the problem of representing lattices by means of closure operators on partially ordered sets of height 1. Every relation between two sets R S X x Y induces a Galois connection between the power set of X and the power set of Y, and hence determines a lattice L(R) of closed sets (in X, say). If L is a finite lattice, and X and Y are the sets of joinand meetirreducible elements of L, and R is the relation t, then L L(R). This idea extends trivially to complete infmite lattices in which every element is a Received by the editors August 17, 1973 and, in revised form, January IS, 1974. AMS (MOS) subject classifications (1970). Primary 06A15, 06A20, 06A23, 06A35; Secondary 06A30, 06A45.