Projective Lattices RalphFreese ralph@math.hawaii.edu Department of Mathematics University of Hawaii Honolulu
96822 HI USA
Projective Lattices 568365915786E90CFBEBB7C8FA1DBA12 GROBID - A machine learning software for extracting information from scholarly documents

A lattice L is projective in a variety V of lattices if whenever

f : K L

is an epimorphism, there is a homomorphism

g : L → K

such that f (g(a)) = a for all a ∈ L.

Projective lattices are characterized in [3] by four conditions. This talk will discuss two of them that are of current interest.

If g in ( 2) is only required to be order-preserving, it is called an isotone section of the epimorphism (1). We will characterize which lattices L have an isotope section for every epimorphism (1). We will use this to characterize when the ordinal (linear) sum of two projective lattices in V will be projective and give some surprising examples.

The second of the four conditions characterizing projectivity we will discuss is join refinement and the dependency relation; the so-called D-relation. This condition and some closely related concepts are used in many parts of lattice theory. Besides free lattice, projective lattices and finitely presented lattices, it has applications to transferable lattices, congruence lattices of lattices, representing finite lattices as congruence lattices of finite algebras, and ordered direct bases in database theory [1,2].

rdered direct implicational basis of a finite closure system KAdaricheva JBNation RRand Discrete Applied Math 161 2013 The multiple facets of the canonical direct unit implicational basis KBertet BMonjardet Theoret. Comput. Sci 411 22-24 2010 Projective lattices RalphFreese JBNation Pacific J. Math 75 1978