No label defined (Q5617692)

Es sei \(K\) ein kommutativer Körper von Charakteristik \(0\), \(R(K)\) die Algebra der formalen Potenzreihen \(\sum_{n=0}^\infty a_nx^n\) mit Koeffizienten in \(K\), welche rationale Funktionen \(A(X)=P(X)/Q(X)\in K(X)\) darstellen, wo \(Q(0)\neq 0\), \(\text{Grad}\, P <\text{Grad}\, Q\). Das Hadamardsche Produkt \(C=A\circ B\) mit \(A=\sum a_nX^n\), \(B=\sum b_nX^n\) ist definiert durch \(C=\sum a_nb_nX^n\). Das Quotientenproblem besteht darin: Es seien \(A\) und \(B\) in \(R(K)\), und es werde gesetzt \(a_n=b_nc_n\) für alle \(n\). Es werde noch angenommen, daß \(a_n=0\), wenn \(b_n=0\), und dann wird \(c_n=1\) gesetzt. Unter welchen Voraussetzungen gehört \(\sum c_nX^n\) zu \(R(X)\)? Mit diesem Problem haben sich in Spezialfällen G. Pólya, D. G. Cantor, C. Pisot und seine Schule beschäftigt. Es werden noch zwei weitere Begriffe eingeführt: Eine formale Potenzreibe \(A= \sum a_nX^n\) mit Koeffizienten in \(K\) heißt Funktion von Pólya, wenn existiert ein \(m\in N^+\) und Elemente \(\alpha_0, \alpha_1,\dots, \alpha_{n-1}\) aus \(K\), so daß für \(n= 0,1, \dots, m-1\) und alle \(r\) \(a_{n+rn}=a_n\alpha_n^r\). Solche Funktionen gehören \(R(X)\) an. Es sei weiter \(k\) ein endlicher algebraischer Zahlkörper, \(\Gamma(k)\) der Integritätsbereich der ganzen Zahlen in \(k\). Es sei weiter \(p\) ein Primideal in \(\Gamma\). Jeder Folge \((c_n)\) aus \(k\) kann man die Folge \(\omega_p =(| c_n| p)'\) der \(p\)-adischen Bewertungen zuordnen, wobei die Glieder mit \(c_n=0\) weggelassen werden. Es heißt nun \(p\) ein Primdivisor von \((c_n)\) wenn \(\omega_p\neq 0\) ist. Es sei \(P((c_n))\) die Menge der Primdivisoren von \((c_n)\). Eine Folge \((c_n)\) heißt nun Pólya-Folge, wenn \(P\) endlich ist. Der Hauptsatz, der in dieser Arbeit bewiesen wird, lautet dann: Sind \(A=\sum a_nX^n\in R(K)\) (Körper von Charakteristik \(0\)), \(B=\sum b_nX^n\in R(K)\), ist \(a_n=b_nc_n\) und ist \((c_n)\) eine Pólya-Folge in \(Q\), dann ist \(C=\sum c_nX^n\in R(\mathbb Q)\) und \(C\) ist eine Funktion von Pólya. For the entire collection see Zbl 0191.32601.