Über Iteration ohne Regularitätsbedingungen im Ring der formalen Potenzreihen in einer Variablen (Q1069069)

Die folgenden Sätze werden bewiesen: Satz 1. Es sei \(F: z\mapsto \rho z+c_ 2z^ 2+...\), (\(\rho\) \(\neq 0)\), ein Automorphismus, der eine Einbettung in eine einparametrige Gruppe \(F_ t: z\mapsto F(t,z)\) von solchen Automorphismen besitzt, d.h. es sei \(F(t+s,z)=F(t,F(s,z))\) für alle t,s\(\in {\mathbb{C}}\) und \(F_ 1=F\). Dann besitzt F auch eine analytische Iteration, und Satz 2. Es sei \(F: z\mapsto \rho z+c_ 2z^ 2+..\). (\(\rho\) \(\neq 0)\) rational iterierbar. Dann ist F auch analytisch iterierbar.