On the group of substitutions of formal power series with integer coefficients

We study certain properties of the group J(Z) of substitutions of formal power series in one variable with integer coefficients. We show that J(Z), regarded as a topological group, has four generators and cannot be generated by fewer elements. In particular, we show that the one-dimensional continuous homology of J(Z) is isomorphic to Z oplus Z oplus Z2 oplus Z2. We study various topological and geometric properties of the coset space J(R)/J(Z). We compute the real cohomology H-tilde*(J(Z);R) with uniformly locally constant supports and show that it is naturally isomorphic to the cohomology of the nilpotent part of the Lie algebra of formal vector fields on the line