Polynomial ideals defined by infinitely near base points. (Q2595686)

Verf. gibt ein algebraisches Analogon für den Begriff der unendlich benachbarten Basispunkte linearer Scharen ebener Kurven. Die Gesamtheit der Kurven durch vorgegebene Punkte und unendlich benachbarte Punkte mit vorgegebenen Vielfachheiten bilden ein Ideal. Es sei \(w\) eine Bewertung des Körpers \(K(x,y)\) und \(\mathfrak W\) das Ideal der Elemente mit positivem Wert. \(K(x,y)\) kann nun so bewertet werden, daß \(w(x)>0\) und \(w(y)>0\) ist und daß für jedes Element \(z\) aus \(K(x,y)\) mit \(w(z)\geqq 0\) \[ z\equiv c\mod\mathfrak W\qquad (c \;\text{aus} \;K) \] wird. Alle Elemente \(z_{\alpha}\) des Polynomrings \(K[x, y]\) mit \(w(z_\alpha)\geqq\alpha\) bilden ein Bewertungsideal \(\mathfrak p\). Diese Bewertungsideale können nach steigendem \(\alpha\) in Folgen \(\mathfrak p_0, \mathfrak p_1, \mathfrak p_2,\ldots\) angeordnet werden. Verf. studiert das Verhalten solcher Folgen bei quadratischen Transformationen \(x=x'\), \(y=x'y'\). Es gilt der Satz von der eindeutigen Zerlegbarkeit eines Bewertungsideals in unzerlegbare Bewertungsideale. \(\mathfrak P_1, \mathfrak P_2,\ldots\) sei die Teilfolge der unzerlegbaren Bewertungsideale der Folge \(\mathfrak p_1,\mathfrak p_2,\ldots\). Die Ideale \(\mathfrak P_1, \mathfrak P_2,\ldots\) entsprechen dem Nullpunkt \(O\) und den \(O\) schrittweise unendlich benachbarten Punkten. Es wird der Begriff eines vollständigen Ideals (complete ideal) als Produkt von unzerlegbaren Bewertungsidealen eingeführt. Durchschnitt und Quotient von vollständigen Idealen sind wieder vollständige Ideale. Schließlich erläutert Verf. den Zusammenhang mit den Begriffen der Vielfachheit und des Primdivisors.