Divisibility in o-primitive lattice-ordered permutation groups (Q1083462): Difference between revisions

Let \(\Omega\) be a linearly ordered set and \({\bar \Omega}\) its Dedekind completion. Let \(z\in Aut({\bar \Omega},\leq)\) have no fixed points and G be a subgroup of the centralizer of z in Aut(\(\Omega\),\(\leq)\) that is closed under finite max and min. If (G,\(\Omega)\) is transitive, it is order-primitive. If n is the least positive integer such that for some (any) \(\alpha\in \Omega\), \(\alpha z^ n\in \Omega\), then (G,\(\Omega)\) is said to be of Config (n). If no such n exists, we say that (G,\(\Omega)\) has Config (\(\infty)\). For details see [\textit{A. M. W. Glass}, Ordered Permutation Groups (Lond. Math. Soc. Lect. Note Ser. 55, 1981; Zbl 0473.06010)]. The author shows easily that no such G is divisible unless G has Config 1 or \(\infty\). He also proves straight-forwardly that if G has Config (1) and either \({\bar \Omega}=\Omega\) or G is the full centralizer of z in Aut(\(\Omega\),\(\leq)\), then G is also not divisible. Partial results are also given for the Config (\(\infty)\) case. Finally, six pathological doubly transitive subgroups of Aut(\({\mathbb{R}},\leq)\) are examined for divisibility.