Formale Potenzreihe
aus Wikipedia, der freien Enzyklopädie
Formale Potenzreihen sind ein Analogon zu dem mathematischen Begriff der Potenzreihe in der Analysis. Hier werden sämtliche Konvergenzfragen ignoriert.
[Bearbeiten] Definition
Für einen kommutativen Ring A mit Einselement bezeichne A[[X]] den Ring der Folgen
- (a0, a1, ...)
mit der natürlichen Addition und der Faltung als Multiplikation. Die Elemente von A[[X]] heißen formale Potenzreihen und werden als
- a0 + a1X + a2X2 + ...
geschrieben; man kann mit formalen Potenzreihen rechnen, als seien sie Polynome unendlichen Grades.
[Bearbeiten] Eigenschaften
- Die Einheiten von A[[X]] sind genau die Potenzreihen, deren Absolutglied a0 eine Einheit in A ist.
- Ist A noethersch oder ein Integritätsbereich, so gilt das auch für A[[X]].
- Ist k ein Körper, so ist k[[X]] ein vollständiger diskreter Bewertungsring. Er ist die Vervollständigung von k[X] bezüglich des Ideals (X). Sein Restklassenkörper ist k, sein Quotientenkörper der Körper der formalen Laurentreihen k((X)).
- Umgekehrt ist nach den Struktursätzen von Irving S. Cohen jeder vollständige diskrete Bewertungsring gleicher Charakteristik isomorph zum Ring der formalen Potenzreihen über seinem Restklassenkörper.
[Bearbeiten] Weiterführende Themen
- Witt-Vektoren
- Lokaler Körper
- Erzeugende Funktion