Sur les fonctions rationnelles permutables. (Q1460360)

Zwei rationale Funktionen \(\varPhi(z)\) und \(\varPsi(z)\) heißen abhängig, wenn ihre Iterierten geeigneter Ordnung übereinstimmen, d. h. \(\varPhi_p(z) = \varPsi_q(z)\). Sind \(\varPhi(z)\) und \(\varPsi(z)\) vertauschbar und nicht abhängig, so gibt es eine meromorphe, einfach oder doppelt-periodische Funktion \(f(z)\), sowie gewisse Konstanten \(m\), \(n\), \(a\), \(b\), derart, daß \[ f(mz + a) = \varPhi(z), \quad f(nz + b) = \varPsi(z) \] gilt. Sind zwei Polynome vertauschbar und abhängig, so haben sie, abgesehen von einer Drehstreckung, die Form \[ \varepsilon^p G_m(z) \text{ und } \varepsilon^q G_n(z). \] Hierbei bezeichnet \(G_k(z)\) die \(k\)-te Iterierte eines Polynoms der Form \(z g(z^r)\) und \(\varepsilon\) eine \(r\)-te Einheitswurzel; \(p\) und \(q\) sind ganz.