La définition fonctionnelle des polynomes dans les groupes abéliens. (Q2593983)

\(G\) und \(G'\) seien unendliche additiv geschriebene abelsche Gruppen, und \(G'\) enthalte kein Element endlicher Ordnung. \(f\) sei eine Homomorphie von \(G\) in \(G'\). Setzt man \(\varDelta_\omega f=f(x+\omega)-f(x)\), so wird \(f\) ein ``Polynom'' genannt, wenn, \((\varDelta_\omega)^{n+1}f=0\), und ein ``Monom'', wenn \((\varDelta_\omega)^nf=n!f(\omega)\) ist. Das Hauptergebnis der Arbeit ist: Wenn \(f\) ein Polynom ist, dann gibt es eine ganze Zahl \(m\) derart, daß \(mf\) eine Summe von Monomen ist.