Sur une généralisation du théorème de Fermat, et ses rapports avec la théorie des substitutions uniformes. (Q1543354)

Ist \(\varphi(z)\) eine eindeutige Function von \(z\), deren Iterirungen durch \(\varphi_1(z),\varphi_2(z),\dots\) bezeichnet werden, und betrachtet man die Gleichungen \[ (E_n)\quad z-\varphi_n(z)=0, \] so gehören diejenigen Wurzeln \(z\) zum Index \(n\), bei denen kein \(\varphi(z)=z\) wird, wo \(n'<n\) ist. Die Zahl der zu \(n\) gehörigen Wurzeln von \(E_n\) ist durch \(n\) teilbar, falls die Gesamtzahl der Wurzeln endlich bleibt. Nun sei \(\varphi\) eine rationale Function, deren Zähler und Nenner nur bis zum Grade \(m\) aufsteigen. Dann ist \(E_n\) vom Grade \(m^n+1\) und die Anzahl der zu \(n\) gehörigen Wurzeln von \(E\) wird bei \[ n=a^\alpha b^\beta c^\gamma\dots, \] wo unter den \(a,b,c,\dots\) von einander verschiedene Primzahlen verstanden werden, die Anzahl der zu \(n\) gehörigen Wurzeln von \(E_n\) \[ m^n-\sum m^{\frac ma}+\sum m^{\frac n{ab}}-\sum m^{\frac n{abc}}+\cdots \] Vgl. Picquet, É. Lucas, Peller (F. d. M. XV. 1883. p. 142, JFM 15.0142.06).