On automorphism groups of graphs and distributive lattices (Q5932471)

Birkhoff's theorem that every group is isomorphic to the automorphism group of a distributive lattice is extended: Theorem. Given a distributive lattice \(H\) and a subgroup \(B\subseteq \Aut H\), there exists a distributive lattice \(L\) such that (i) \(H\) is a sublattice of \(L\) and it is a faithful constituent of \(\Aut L\), (ii) the restriction of \(\Aut L\) to \(H\) is \(B\).