On the height of subgroups of \(\mathrm{Homeo}_+(I)\) (Q486452)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On the height of subgroups of \(\mathrm{Homeo}_+(I)\) |
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the height of subgroups of \(\mathrm{Homeo}_+(I)\) |
scientific article |
Statements
On the height of subgroups of \(\mathrm{Homeo}_+(I)\) (English)
0 references
15 January 2015
0 references
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\)).
0 references
homeomorphisms of the interval
0 references
solvable subgroup
0 references
orbital
0 references
signed orbital
0 references
tower of orbitals
0 references