Generic properties of the rotation number of one-parameter diffeomorphisms of the circle
Groups of real analytic diffeomorphisms of the circle with a finite image under the rotation number function
We consider groups of orientation-preserving real analytic diffeomorphisms of the circle which have a finite image under the rotation number function. We show that if such a group is nondiscrete with respect to the -topology then it has a finite orbit. As a corollary, we show that if such a group has no finite orbit then each of its subgroups contains either a cyclic subgroup of finite index or a nonabelian free subgroup.