## [Formaler Potenzreihenring](/de/node/63311) Definition Der Ring der formalen Summen ∑_{α} c_{α} x^{α} in einer oder mehreren Indeterminanten x mit Koeffizienten c_{α} in einem gegebenen Koeffizienzring oder -körper, wobei unendliche Summen zugelassen sind, aber keine analytische Konvergenz vorausgesetzt wird; Addition und Multiplikation erfolgen komponentenweise bzw. durch das Cauchy-Produkt der Koeffizienten. ## Prinzip Prinzip Betrachte Potenzreihen formal als algebraische, durch das von den Indeterminanten erzeugte Ideal vervollständigte Objekte (x-adische Topologie): Operationen müssen die Struktur formaler unendlicher Summen und das Cauchy-Konvolutionsgesetz für Koeffizienten respektieren. ## Demonstration Demonstration Für einen Körper K bezeichnet K[[x]] den Ring formaler Potenzreihen in einer Variable x: ein typisches Element ist a0 + a1 x + a2 x^2 + …; der Koeffizient von x^n im Produkt ist ∑_{i+j=n} a_i b_j. Einheiten sind genau die Reihen mit invertierbarem konstantem Term a0 in K. ## Fehlanwendung Fehlanwendung Formale Potenzreihen wie analytische Funktionen zu behandeln und Konvergenzradien anzunehmen oder Zahlen für x einzusetzen, ohne eine Konvergenzstruktur zu haben; oder davon auszugehen, dass jedes Element ein Polynom (endlichen Grades) sei. ## Konsequenz Konsequenz Formales Arbeiten erlaubt algebraische Operationen wie Inversion, formale Differentiation und die Konstruktion von Komplettierungen und lokalen Ringen; man erhält eine lokale, vollständige Ringstruktur mit expliziten Einheitenskriterien und natürlicher Filtrierung nach Grad. ## Umkehrung Umkehrung Der Polynomring ist die nicht vollendete Gegenform, in der nur endliche Summen zugelassen sind; analytische Potenzreihen erzwingen Konvergenzbedingungen und haben analytische Strukturen, die formal fehlen. ## Abgrenzung Abgrenzung Gilt für formale Reihen über einem einheitlichen Koeffizienring; schließt Laurent-Reihen (mit endlich vielen negativen Potenzexponenten) aus, sofern keine Erweiterung angegeben ist, und schließt Betrachtungen aus, die analytische Konvergenz oder nicht-adische Topologien erfordern. ## Semantische Spannung Semantische Spannung Die Spannung liegt in der Gegenüberstellung von 'formal' (rein algebraisch, ohne Konvergenz) und 'analytisch' (konvergent) bei Potenzreihen; ein naher Bedeutungsbereich ist die Komplettierung eines Polynomrings gegenüber Ringen von punktweise auswertbaren Funktionen. ## Synthese Synthese Ein formaler Potenzreihenring ist die algebraische Vervollständigung eines Polynomrings in einer oder mehreren Indeterminanten, die unendliche formale Summen und eine Cauchy-ähnliche Multiplikation zulässt und so eine lokale, vollständige Ringstruktur für algebraische und kombinatorische Anwendungen bereitstellt, ohne analytische Konvergenz vorauszusetzen.