Real

The famous problem involves applying two maps: and to positive integers. If is even, one applies , if it is odd, one applies . The conjecture states that each trajectory of the system arrives to the periodic orbit . In this paper, instead of choosing each time which map to apply, we allow ourselves more freedom and apply both and independently of . That is, we consider the action of the free semigroup with generators and on the space of positive real numbers. We prove that this action is minimal (each trajectory is dense) and that the periodic points are dense. Moreover, we give a full characterization of the group of transformations of the real line generated by and .