Formal relations between quasianalytic functions of some fixed class
In [Ga] Gabrielov has given conditions under which the completion of the kernel of a morphism φ: A → B between analytic rings coincides with the kernel of the induced morphism φ̂: Â → B̂ between the completions. If B is a domain, a sufficient condition is that rk φ = dim(Â/ker φ̂), where rk φ is the rank of the jacobian matrix of φ considered as a matrix over the quotient field of B. We prove that the above property holds in a fixed quasianalytic Denjoy-Carleman class if and only if the class coincides...