Which self-maps appear as lattice anti-endomorphisms?

From MaRDI portal
Publication:2630278



Abstract: Let f be a self-map of the set A. We give a necessary and sufficient condition for the existence of a lattice structure on A such that f becomes a lattice anti-endomorphism with respect to this structure.


A mapping \(f:A\to A\) is said to be an anti-endomorphism of a lattice \((A,\vee,\wedge)\) if \(f(x\vee y)=f(x)\wedge f(y)\). The theorem answering the question above is as follows: For a map \(f:A\to A\), there exists a lattice \((A,\vee,\wedge)\) such that \(f\) is an anti-endomorphism of \((A,\vee,\wedge)\) if and only if \(f\) has a cycle of length 2 or \(f\) has no proper cycles and has at most one fixed point. Further the authors deal with extensions of a partial order and they prove that if \(f:A\to A\) is such that \(f^2\) has no proper cycles and has at most one fixed point, then there exists a distributive lattice \((A,\vee,\wedge)\) such that \(f\) is an anti-endomorphism of \((A,\vee,\wedge)\).











This page was built for publication: Which self-maps appear as lattice anti-endomorphisms?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2630278)