Darstellung der Funktionen eines algebraischen Körpers zweier unabhängigen Veränderlichen \(x, y\) in der Umgebung \(=a,\;y= b\). (Q1492157)

Die Funktionen eines algebraischen Körpers \(K\) von zwei unabhängigen Veränderlichen \(x, y\) sind von \textit{Hensel} in der Umgebung einer irreduziblen Kurve \(A(x, y) = 0\) studiert worden (F. d. M. 31, 424-426, 1900). Ist \(y_0\) eine Wurzel der Gleichung \(A(x, y) = 0,\) so läßt sich nach ihm jede Funktion des Körpers nach Potenzen von \(y - y_0\) entwickeln, wobei die Koeffizienten algebraische Funktionen von \(x\) sind, und zwar erhält man eine endliche Anzahl solcher Entwicklungen. Im allgemeinen schreiten diese nach ganzen Potenzen von \(y - y_0\) fort; nur bei den Verzweigungskurven, die in endlicher Anzahl vorhanden sind, ergeben sich gebrochene Potenzen von \(y - y_0\). Wird nunmehr der Veränderlichen \(x\) ein bestimmter Wert \(a\) beigelegt, so werde \(y_0 = b.\) Alsdann läßt sich jede Funktion des Körpers im allgemeinen in eine nach Potenzen von \(x - a\) und \(y - b\) fortschreitende gewöhnliche Potenzreihe entwickeln, die für ein Gebiet \(|x -a| < r, |y - b| < s\) konvergiert. Wenn jedoch durch die Stelle \(a, b\) die Projektion einer oder mehrerer Verzweigungs- oder Unendlichkeitskurven geht, so können die Entwicklungen Potenzen von \(x- a\) mit negativem Exponenten enthalten. In einem solchen Falle läßt sich aber für jede Entwicklung eine positive Zahl \(\varepsilon\)E so bestimmen, daß man die Entwicklung als eine Reihe nach ganzen oder gebrochenen Potenzen von \(\frac {y-y_0}{(x-a)^\varepsilon}\) darstellen kann, deren Koeffizienten nach ganzen oder gebrochenen Potenzen von \(x - a\) fortschreiten. Die Reihe konvergiert für \(|x-a| <r, \;y \left| \frac {y-y_0}{(x-a)^\varepsilon} \right| < s;\) folglich wird ihr Konvergenzradius gleichzeitig mit \(x-a\) unendlich klein. Man erhält daher auf die angegebene Art bei denjenigen Stellen, an denen sich mehrere Verzweigungskurven schneiden, nicht die ganze Umgebung der Stelle \(a, b,\) und die \textit{Hensel}sche Darstellung bedarf hier einer Ergänzung. Die Aufgabe, die Funktionen eines algebraischen Körpers \(K\) in der Nähe einer Stelle \(a, b\) vollständig darzustellen, ist schon mehrfach behandelt worden; im besonderen ist die eingehende und sorgfältige Behandlung von \textit{Black} zu nennen (F. d. M. 33, 656, 1902). Jedoch läßt sich die Aufgabe einfacher und klarer lösen, wenn man die \textit{Hensel}sche Abhandlung zugrunde legt, und es wird auf diese Weise eine deutlichere Einsicht in die Natur der Verzweigungsstellen gewonnen. Das Hauptergebnis läßt sich so aussprechen. Man kann, wenn es sich um die Darstellung in der Umgebung der Stelle \(a = 0, b = 0\) handelt, was die Allgemeinheit nicht beeinträchtigt, Funktionenpaare \(u, v\) des Körpers \(K\) bestimmen, derart, daß \(x\) und \(y\) gewöhnliche Potenzreihen von \(u\) und \(v\) werden, die für \(u = 0, v = 0\) verschwinden, während alle anderen Funktionen des Körpers entweder gewöhnliche Potenzreihen von \(u\) und \(v\) oder Quotienten solcher Reihen werden. Eine endliche Anzahl solcher Funktionenpaare und Entwicklungen genügt, um die Funktionen von \(K\) für die ganze Umgebung der Stelle \(x = 0, y = 0\) darzustellen. Bei diesem Ergebnis besteht das Wesentlich neue darin, daß die Hülfsgrößen \(u\) und \(v,\) die auch bei \textit{Black} auftreten, immer als Funktionen des Körpere \(K\) gewählt werden können. Wie der Verf. zum Schlusse bemerkt, läßt sich das Verfahren von \textit{Black} so umformen, daß auch bei ihm \(u\) und \(v\) als Funktionen des Körpers \(K\) erscheinen; hierauf will er jedoch erst in einer späteren Arbeit eingehen.