We study the structure of discrete subgroups of the group G[[r]] of complex formal power series under the operation of composition of series. In particular, we prove that every finitely generated fully residually free group is embeddable to G [[r]].
Main ResultLet G[[r]] be the prounipotent group of formal power series of the form r + ∞ i=1 c i r i+1 , c i ∈ C, i ∈ N, under the operation • of composition of series. In the paper we study the problem on the structure of discrete subgroups of G [[r]]. The problem is of importance, in particular, in connection with the classification of local analytic foliations and the holonomy of local differential equations (see, e.g.,[NY] and references therein). The deep results of [EV] show that in contrast to free prounipotent groups (see [LM, Cor. 4.7]) the group G[[r]] contains two-generator discrete subgroups which are neither abelian nor free (see also [NY] for further results in this direction). In turn, in [Br, Problem 4.15] we asked with regard to the center problem for families of Abel differential equations whether the fundamental groups of orientable compact Riemann surfaces are embeddable to G [[r]]. In this paper we answer this question affirmatively. Our approach is purely group-theoretical and can be applied to a wide class of prounipotent groups.To formulate the main result of the paper we introduce several definitions. Let G be a group and u = (u 1 , . . . , u k ), k ∈ N, be a tuple of non-trivial elements of G. We say that u is commutation-free1 for any integers α 1 , . . . , α k ≥ n.Definition 1.1. Group G satisfies the big powers condition if every commutation-free tuple in G is independent.