Automorphism Groups of Homogeneous Semilinear Orders: Normal Subgroups and Commutators
Manfred Droste, W. Charles Holland, Dugald Macpherson · Canadian Journal of Mathematics · 1991
A partially ordered set (T, ≤) is called a tree if it is semilinearly ordered, i.e. any two elements have a common lower bound but no two incomparable elements have a common upper bound, and contains an infinite chain and at least two incomparable elements. Let k ∈ ℕ. We say that a partially ordered set (T, ≤) is k-homogeneous, if each isomorphism between two k-element subsets of T extends to an automorphism of (T, ≤), and weakly k-transitive, if for any two k-element subchains of T there exists an automorphism of (T, ≤) taking one to the other.