On the height of subgroups of \(\mathrm{Homeo}_+(I)\) (Q486452)

For a group \(\Gamma\) of orientation-preserving homeomorphisms of \([0,1]\) and \(g\in\Gamma\), call \(A\subset[0,1]\) an ``orbital'' provided that \(|A|>1\) and \(A\) is the convex hull of the orbit of a point of \([0,1]\) under \(g\) and the pair \((A,g)\) a ``signed orbital'' of \(\Gamma\). Signed orbitals may be given a natural partial order. A ``tower'' is a chain \(T\) of signed orbitals so that if \((A,g),(A,h)\in T\) then \(g=h\); if, further, \((A,g),(B,h)\in T\) with \((A,g)\not=(B,h)\) implies that \(A\) and \(B\) do not have a common end point then \(T\) is a ``strict tower''. The height (resp. strict height) of \(\Gamma\), denoted by \(h(\Gamma)\) (resp. \(h_{\text{strict}}(\Gamma)\)) is the supremum of the cardinalities of the towers (resp. strict towers) of \(\Gamma\) (or \(\infty\)). If \(h(\Gamma)=n\) (resp. \(h_{\text{strict}}(\Gamma)=n\)) then \(\Gamma\) is solvable of solvability degree at most \(n\) (resp. \(n+1\)).