A simultaneous representation of a group and a bounded poset with lattice automorphisms and principal congruences
arXiv:1508.04302
Abstract
Given a poset with at least two elements and a group , there exists a selfdual lattice of length 16 such that the collection of its principal congruences is order isomorphic to while its automorphism group to .
8 pages, 4 figures