On finitely generated simple complemented lattices

Werner Poguntke
1981 Canadian mathematical bulletin  
Let L be a lattice, and let P and Q be partially ordered sets. We say that L is generated by P if there is an isotone mapping from P into L with its image generating L. P contains Q if there is a subset Q' of P which, with the partial ordering inherited from P, gives an isomorphic copy of Q. For an integer n >0, the lattice of partitions of an n -element set will be denoted by II(n); it is well-known that II(rc) is simple and complemented (cf. P. Crawley-R. P. Dilworth [1; p. 96]). The purpose
more » ... f this note is to prove: THEOREM. For a finite partially ordered set P, the following conditions are equivalent:
doi:10.4153/cmb-1981-010-8 fatcat:nbkg67yfd5bi7hzicrbki5hupy