Skip to main content
2 of 2
edited body

Contracting join-incomplete lattice endomorphisms

Let $L$ be an complete lattice. A lattice homomorphism $f: L\to L$ is said to be join-incomplete if there is an infinite set $S \subseteq L$ such that $f(\bigvee_L S) \neq \bigvee_L f(S).$

If $f:L\to L$ is join-incomplete, does there exist a lattice homomorphism $g:L\to L$ such that

  • there is $S\subseteq L$ with $g(S) \subseteq S$, and
  • $g(\bigvee_L S) > \bigvee_L g(S)$

?