Choose fundamental intervals and for two positive bumps of an order automorphism. Any increasing bijection matching their endpoints extends by to their support intervals. Extend it monotonically over the two complementary rays. Then , so . Bounded supports impose no further invariant for positive bumps in the full real-line order-automorphism group.
If two positive bumps of an order automorphism move a point beyond an interval , their conjugacy can be chosen to fix that interval: begin with the identity there, complete the increasing map between fundamental intervals, and extend equivariantly along bump iterates. If both bump supports lie in one fundamental interval of another positive motion , fix that cell's endpoints and repeat the conjugator on all its -translates. The result commutes with , and with any automorphism supported in the interval fixed pointwise.
Articles by others on the same topic
There are currently no matching articles.