Lattice Representations with Set Partitions Induced by Pairings

Abstract

We call a quadruple $\mathcal{W}:=\langle F,U,\Omega,\Lambda \rangle$, where $U$ and $\Omega$ are two given non-empty finite sets, $\Lambda$ is a non-empty set and $F$ is a map having domain $U\times \Omega$ and codomain $\Lambda$, a pairing on $\Omega$. With this structure we associate a set operator $M_{\mathcal{W}}$ by means of which it is possible to define a preorder $\ge_{\mathcal{W}}$ on the power set $\mathcal{P}(\Omega)$ preserving set-theoretical union. The main results of our paper are two representation theorems. In the first theorem we show that for any finite lattice $\mathbb{L}$ there exist a finite set $\Omega_{\mathbb{L}}$ and a pairing $\mathcal{W}$ on $\Omega_\mathbb{L}$ such that the quotient of the preordered set $(\mathcal{P}(\Omega_\mathbb{L}), \ge_\mathcal{W})$ with respect to its symmetrization is a lattice that is order-isomorphic to $\mathbb{L}$. In the second result, we prove that when the lattice $\mathbb{L}$ is endowed with an order-reversing involutory map $\psi: L \to L$ such that $\psi(\hat 0_{\mathbb{L}})=\hat 1_{\mathbb{L}}$, $\psi(\hat 1_{\mathbb{L}})=\hat 0_{\mathbb{L}}$, $\psi(\alpha) \wedge \alpha=\hat 0_{\mathbb{L}}$ and $\psi(\alpha) \vee \alpha=\hat 1_{\mathbb{L}}$, there exist a finite set $\Omega_{\mathbb{L},\psi}$ and a pairing on it inducing a specific poset which is order-isomorphic to $\mathbb{L}$.