{"id":"arxiv/2608.29732","url":"https://arxiv.org/abs/2608.29732","tags":["math.CO"],"score":0,"title":"Orthogonal adjointness in posets with $0$","domain":"math.CO","source":"arxiv","authors":["Michal Botur","Ivan Chajda","Helmut Länger"],"reviews":0,"subject":"math.CO","summary":"Motivated by the concept of polarity introduced by G. Birkhoff for a binary relation on a set, we introduce a concept of orthogonality in a poset with $0$. A pair of operators $f$, $g$ on a poset with $0$ is called orthogonally adjoint if $f(x)$ is orthogonal to $y$ if and only if $x$ is orthogonal to $g(y)$. We characterize the existence and the uniqueness of $g$ for given $f$ and describe basic properties of orthogonal adjointness. We present constructions of orthogonally adjoint pairs in pseudocomplemented posets. If a given operator $f$ is an order-isomorphism of a pseudocomplemented…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-30","reactions":{}}