Relative projectivity and transferability for partial lattices

Friedrich Wehrung (1)

1 LMNO - Laboratoire de Mathématiques Nicolas Oresme

A partial lattice P is ideal-projective, with respect to a class C of lattices, if for every K ∈ C and every homomorphism ϕ of partial lattices from P to the ideal lattice of K, there are arbitrarily large choice functions f : P → K for ϕ that are also homomorphisms of partial lattices. This extends the traditional concept of (sharp) transferability of a lattice with respect to C. We prove the following: (1) A finite lattice P , belonging to a variety V, is sharply transferable with respect to V iff it is projective with respect to V and weakly distributive lattice homomorphisms, iff it is ideal-projective with respect to V. (2) Every finite distributive lattice is sharply transferable with respect to the class R mod of all relatively complemented modular lattices. (3) The gluing D 4 of two squares, the top of one being identified with the bottom of the other one, is sharply transferable with respect to a variety V iff V is contained in the variety Mω generated by all lattices of length 2. (4) D 4 is projective, but not ideal-projective, with respect to R mod. (5) D 4 is transferable, but not sharply transferable, with respect to the variety M of all modular lattices. This solves a 1978 problem of G. Grätzer. (6) We construct a modular lattice whose canonical embedding into its ideal lattice is not pure. This solves a 1974 problem of E. Nelson.

Mots clés: weakly distributive; ideal-projective; partial lattice; Projective; distributive; variety; pure sublattice; relatively complemented; modular; transferable

Domaines: Mathématiques générales [math.GM]

Friedrich Wehrung. Relative projectivity and transferability for partial lattices. Order. A Journal on the Theory of Ordered Sets and its Applications, 2018, 35 (1), pp.111--132. ⟨10.1007/s11083-016-9421-0⟩. ⟨hal-01222118v2⟩