An automorphism (opp) of a
chain Ω is a permutation g of Ω which preserves order in the sense that ω < τ iff
ωg < τg. All antiautomorphism (orp) is a permutation k of Ω which reverses order in
the sense that ω < τ iff ωk > τk. A permutation which either preserves or reverses
order is called monotonic, and the group of all monotonic permutations is denoted by
M(Ω). M(Ω) is ordered pointwise, i.e., g ≦ h iff ωg ≦ ωh for all ω ∈ Ω. This yields a
poset but not a pogroup. However the subgroup A(Ω) of all opps of Ω forms a
latticeordered group (lgroup). A subgroup K of M(Ω) is called lmonotonic if
K′ = K ∩ A(Ω) is nonempty, i.e., if K contains an orp, and if G(K) = K ∩ A(Ω) is
a transitive lsubgroup of A(Ω). The group M(Ω) is lmonotonic iff Ω is
homogeneous and admits an orp. The opp group G(K) has index 2 in K and is
oisomorphic to K′. Thus K′ is also a lattice and there exist orps k in K′ such
that k^{2} = 1. The stabilizer of a point α ∈ Ω is M_{α} = {m ∈ M∣αm = α},
and the paired orbit of Δ is Δ′ = {αg∣α ∈ Δg for some g ∈ G}. The Main
Theorem 8 shows that a K_{α}orbit is the union of a G_{α}orbit and its paired
G_{α}orbit.
An lsubgroup H of A(Ω) is extendable if there exists an lmonotonic group
(K,Ω) such that G(K) = H. Regular abelian opp groups and full periodically
oprimitive groups are uniquely extendable. There exist both extendable and
nonextendable o2transitive groups. A characterization of oprimitive lmonotonic
groups is given.
