LetH be a germ of holomorphic diffeomorphism at 0 ∈ ℂ. Using the existence theorem for quasi-conformal mappings, it is possible to prove that there exists a multivalued germS at 0, such thatS(ze 2πi )=H○S(z) (1). IfH λ is an unfolding of diffeomorphisms depending on λ ∈ (ℂ,0), withH 0=Id, one introduces its ideal $$\mathcal{I}_H$$ . It is the ideal generated by the germs of coefficients (a i (λ), 0) at 0 ∈ ℂ k , whereH λ(z)−z=Σa i (λ)z i . Then one can find a parameter solutionS λ (z) of (1) which has at each pointz 0 belonging to the domain of definition ofS 0, an expansion in seriesS λ(z)=z+Σb i (λ)(z−z 0) i with $$(b_i ,0) \in \mathcal{I}_H$$ , for alli. This result may be applied to the bifurcation theory of vector fields of the plane. LetX λ be an unfolding of analytic vector fields at 0 ∈ ℝ2 such that this point is a hyperbolic saddle point for each λ. LetH λ(z) be the holonomy map ofX λ at the saddle point and $$\mathcal{I}_H$$ its associated ideal of coefficients. A consequence of the above result is that one can find analytic intervals σ, τ, transversal to the separatrices of the saddle point, such that the difference between the transition mapD λ(z) and the identity is divisible in the ideal $$\mathcal{I}_H$$ . Finally, suppose thatX λ is an unfolding of a saddle connection for a vector fieldX 0, with a return map equal to identity. It follows from the above result that the Bautin ideal of the unfolding, defined as the ideal of coefficients of the difference between the return map and the identity at any regular pointz∈σ, can also be computed at the singular pointz=0. From this last observation it follows easily that the cyclicity of the unfoldingX λ, is finite and can be computed explicity in terms of the Bautin ideal.