Doubling tolerances and coalition lattices
arXiv:1909.09539
Abstract
If every block of a (compatible) tolerance (relation) on a modular lattice of finite length consists of at most two elements, then we call a \emph{doubling tolerance} on . We prove that, in this case, and determines a modular lattice of size . This construction preserves distributivity and modularity. In order to give an application of the new construct, let be a partially ordered set (poset). Following a 1995 paper by G.\ Pollák and the present author, the subsets of are called the \emph{coalitions} of . For coalitions and of , let mean that there exists an injective map from to such that for every . If is a finite chain, then its coalitions form a distributive lattice by the 1995 paper; we give a new proof of its distributivity by means of doubling tolerances.
arXiv comment17 pages, 4 figures