On measures simultaneously 2- and 3-invariant (Q1108396)

H. Furstenberg has conjectured that the only continuous probability measure which is invariant under both \(x\mapsto 2x\) and \(x\mapsto 3x\) mod 1 is the Lebesgue measure. This, in fact is part of a stronger conjecture about continuous S-invariant measures, where S is a nonlacunary semigroup. Under additional mixing conditions this conjecture and related theorems are proven.