Sharply transitive partially ordered sets (Q1087565)

If \(\Lambda\) is a p.o. set, \(A=Aut(\Lambda,\leq)\) will denote its group of automorphisms. If for each \(\lambda_ 1,\lambda_ 2\in \Lambda\) there is a unique \(a\in A\) such that \(\lambda_ 1a=\lambda_ 2\), we say that \(\Lambda\) is sharply transitive. It is easily seen that any sharply transitive p.o. set is connected or has just 2 elements. No finite group other than \({\mathbb{Z}}/(2)\) can be the automorphism group of a sharply transitive p.o. set; nor can the infinite dihedral group. In contrast it is shown that \({\mathbb{Z}}\times G\) can for any finite group and a complete classification of the countably many sharply transitive p.o. sets with automorphism group \({\mathbb{Z}}\) is given. Finally, it is proved that there are continuum many pairwise nonisomorphic sharply transitive p.o. sets with automorphism group the additive group of rationals.