The Theorem of Grauert-Mülich-Spindler.
Let X ⊂ (ℝⁿ,0) be a germ of a set at the origin. We suppose X is described by a subalgebra, Cₙ(M), of the algebra of germs of functions at the origin (see 2.1). This algebra is quasianalytic. We show that the germ X has almost all the properties of germs of semianalytic sets. Moreover, we study the projections of such germs and prove a version of Gabrielov’s theorem.
We determine explicitly the structure of the torsion group over the maximal abelian extension of and over the maximal -cyclotomic extensions of for the family of rational elliptic curves given by , where is an integer.
We prove: For a local analytic family of analytic space germs there is a largest subspace in such that the family is trivial over . Moreover the reduction of equals the germ of those points in for which is isomorphic to the special fibre .