Join epimorphisms which preserve certain lattice identities (Q922564)

The author shows that a complete join epimorphism F between two complete lattices \(L_ 1\) and \(L_ 2\) which maps principal ideals, preserves so- called meet weak lattice identities that hold in \(L_ 1\). In corollary 2 he proves that if \((A,-)\) and \((X,-)\) are closure spaces and f: \(A\to X\) is an onto map such that \(f(\bar a)=f(a)\) for all \(a\in A\), then each meet weak identity that holds in the corresponding lattice of closed sets \(L(A,-)\), also holds in \(L(X,-).\) This result he applies to incidence geometry, formal concept analysis and universal algebra. Finally he states that every meet weak identity which holds in the subalgebra lattice of an algebra A also holds in the subalgebra lattice of any epimorphic image X of A.