Kurs:Funktionentheorie (Osnabrück 2023-2024)/Vorlesung 9

Einige algebraische Grundbegriffe

Wir erwähnen einige algebraische Grundbegriffe, die für das Verständnis der Eigenschaften der Ringe der formalen Potenzreihen bzw. der konvergenten Potenzreihen relevant sind.

Definition

Ein kommutativer, nullteilerfreier, von ${}0$ verschiedener Ring heißt Integritätsbereich.

Definition

Ein Element ${}u$ in einem kommutativen Ring ${}R$ heißt Einheit, wenn es ein Element ${}v\in R$ mit ${}uv=1$ gibt.

Definition

Eine Nichteinheit ${}p\neq 0$ in einem kommutativen Ring ${}R$ heißt prim (oder ein Primelement), wenn folgendes gilt: Teilt ${}p$ ein Produkt ${}ab$ mit ${}a,b\in R$, so teilt ${}p$ einen der Faktoren.

Definition

Zwei Elemente ${}a$ und ${}b$ eines kommutativen Ringes ${}R$ heißen assoziiert, wenn es eine Einheit ${}u\in R$ derart gibt, dass ${}a=ub$ ist.

Definition

Eine Teilmenge ${}{\mathfrak {a}}$ eines kommutativen Ringes ${}R$ heißt Ideal, wenn die folgenden Bedingungen erfüllt sind:

1. ${}0\in {\mathfrak {a}}$.
2. Für alle ${}a,b\in {\mathfrak {a}}$ ist auch ${}a+b\in {\mathfrak {a}}$.
3. Für alle ${}a\in {\mathfrak {a}}$ und ${}r\in R$ ist auch ${}ra\in {\mathfrak {a}}$.

Definition

Ein Ideal ${}{\mathfrak {a}}$ in einem kommutativen Ring ${}R$ der Form

${}{\mathfrak {a}}=(a)=Ra=\{ra:\,r\in R\}\,$

heißt Hauptideal.

Definition

Ein Integritätsbereich, in dem jedes Ideal ein Hauptideal ist, heißt Hauptidealbereich.

Sowohl die ganzen Zahlen ${}\mathbb {Z}$ als auch der Polynomring ${}K[X]$ über einem Körper ${}K$ bilden einen Hauptidealbereich, was in beiden Fällen auf der Division mit Rest beruht, siehe Satz 20.10 (Lineare Algebra (Osnabrück 2024-2025)).

Definition

Ein Ideal ${}{\mathfrak {m}}$ in einem kommutativen Ring ${}R$ heißt maximales Ideal, wenn ${}{\mathfrak {m}}\neq R$ ist und wenn es zwischen ${}{\mathfrak {m}}$ und ${}R$ keine weiteren Ideale gibt.

Definition

Ein kommutativer Ring ${}R$ heißt lokal, wenn ${}R$ genau ein maximales Ideal besitzt.

Definition

Ein diskreter Bewertungsring ${}R$ ist ein Hauptidealbereich mit der Eigenschaft, dass es bis auf Assoziiertheit genau ein Primelement in ${}R$ gibt.

Beispiel

Es sei ${}p$ eine Primzahl und sei

${}R=\mathbb {Z} _{(p)}={\left\{q\in \mathbb {Q} \mid {\text{ in der gekürzten Darstellung von }}q{\text{ ist der Nenner kein Vielfaches von }}p\right\}}\,$

die sogenannte Lokalisierung am maximalen Ideal ${}{\mathfrak {m}}=(p)$. Dann ist ${}R$ ein diskreter Bewertungsring. ${}R$ ist ein Hauptidealbereich, da ja ${}\mathbb {Z}$ ein Hauptidealbereich ist. Die Ideale von ${}R$ sind das Nullideal und die Ideale ${}{\left(p^{n}\right)}$ mit ${}n\in \mathbb {N}$. Die beiden einzigen Primideale von ${}R$ sind ${}(0)\subset (p)$, und Da es nur ein maximales Ideal gibt, kann es bis auf Assoziiertheit auch nur ein Primelement geben, nämlich ${}p$.

Formale Potenzreihen

Definition

Es sei ${}K$ ein Körper und ${}T$ eine Variable. Eine formale Potenzreihe in ${}T$ über ${}K$ ist ein Ausdruck der Form

${}F=\sum _{n\in \mathbb {N} }a_{n}T^{n}\,,$

mit ${}a_{n}\in K$ für alle ${}n\in \mathbb {N}$.

Man addiert zwei Potenzreihen komponentenweise und multipliziert sie in der gleichen Weise wie Polynome. D.h. man setzt

${}F\cdot G={\left({\sum }_{i=0}^{\infty }a_{i}T^{i}\right)}{\left({\sum }_{j=0}^{\infty }b_{j}T^{j}\right)}={\sum }_{k=0}^{\infty }c_{k}T^{k}\,$

mit ${}c_{k}=\sum _{i=0}^{k}a_{i}b_{k-i}$. Die Multiplikation ist also durch das Cauchy-Produkt gegeben.

Definition

Es sei ${}K$ ein Körper. Dann bezeichnet man mit

$K[\![T]\!]$

den Potenzreihenring in einer Variablen (oder den Ring der formalen Potenzreihen in einer Variablen) über ${}K$.

Lemma

Der Ring der formalen Potenzreihen ${}K[\![T]\!]$ in einer Variablen über einem Körper ${}K$

ist ein kommutativer Ring.

Beweis

Siehe Aufgabe 9.12.

$\Box$

Satz

Es sei ${}K$ ein Körper und sei ${}K[\![T]\!]$ der Ring der formalen Potenzreihen in einer Variablen.

Dann ist eine formale Potenzreihe ${}F={\sum }_{n=0}^{\infty }a_{n}T^{n}$ genau dann eine Einheit, wenn der konstante Term ${}a_{0}\neq 0$ ist.

Beweis

Die angegebene Bedingung ist notwendig, da die Abbildung

$K[\![T]\!]\longrightarrow K,\,F\longmapsto a_{0},$

die eine Potenzreihe ${}F$ auf ihren konstanten Term schickt, ein Ringhomomorphismus ist, siehe Aufgabe 9.13. Für die Umkehrung müssen wir eine Potenzreihe ${}G={\sum }_{j=0}^{\infty }b_{j}T^{j}$ mit

${}FG={\left({\sum }_{i=0}^{\infty }a_{i}T^{i}\right)}{\left({\sum }_{j=0}^{\infty }b_{j}T^{j}\right)}=1\,$

angeben. Für ${}b_{0}$ ergibt sich daraus die Bedingung ${}a_{0}b_{0}=1$, die wegen ${}a_{0}\neq 0$ eine eindeutige Lösung besitzt, nämlich ${}b_{0}=a_{0}^{-1}$. Nehmen wir induktiv an, dass die Koeffizienten ${}b_{j}$ für ${}j<n$ schon konstruiert seien, und zwar derart, dass sämtliche Koeffizienten ${}c_{k}$, ${}1\leq k<n$, der Produktreihe ${}FG$ gleich ${}0$ sind. Für den ${}n$-ten Koeffizienten ergibt sich die Bedingung

${}0=c_{n}=a_{0}b_{n}+a_{1}b_{n-1}+\cdots +a_{n-1}b_{1}+a_{n}b_{0}\,.$

Dabei sind bis auf ${}b_{n}$ alle Werte schon festgelegt, und wegen ${}a_{0}\neq 0$ ergibt sich eine eindeutige Lösung für ${}b_{n}$.

$\Box$

Beispiel

Wir betrachten ${}1-T$ im Potenzreihenring ${}K[\![T]\!]$ über einem beliebigen Körper ${}K$. Nach Satz 9.15 besitzt ${}1-T$ ein inverses Element, das man über den Ansatz

${}1={\left(1-T\right)}{\left(b_{0}+b_{1}T+b_{2}T^{2}+b_{3}T^{3}+\ldots \right)}\,$

bestimmen kann. Induktiv ergibt sich, dass ${}b_{n}=1$ für alle ${}n\in \mathbb {N}$ ist, das Inverse ist also die (formale) geometrische Reihe.

Korollar

Es sei ${}K$ ein Körper und ${}R=K[\![T]\!]$ der Potenzreihenring in einer Variablen.

Dann ist ${}R$ ein diskreter Bewertungsring.

Beweis

Zunächst ist ${}R$ ein lokaler Ring mit maximalem Ideal ${}{\mathfrak {m}}=(T)$. Wenn nämlich eine Potenzreihe ${}F$ keine Einheit ist, so muss nach Satz 9.15 der konstante Term von ${}F$ gleich ${}0$ sein. Dann kann man aber ${}F=T{\tilde {F}}$ mit der umindizierten Potenzreihe ${}{\tilde {F}}$ schreiben. Die Nullteilerfreiheit folgt durch Betrachten der Anfangsterme: Sind ${}F$ und ${}G$ von ${}0$ verschiedene Potenzreihen, so ist

${}F=a_{k}T^{k}+a_{k+1}T^{k+1}+\ldots \,$

und

${}G=b_{\ell }T^{\ell }+a_{\ell +1}T^{\ell +1}+\ldots \,$

mit ${}a_{k},b_{\ell }\neq 0$. Für die Produktreihe ist dann der Koeffizient

${}c_{k+\ell }=a_{k}b_{\ell }\neq 0\,,$

da die kleineren Koeffizienten alle ${}0$ sind. Es bleibt also noch noethersch zu zeigen. Es ergibt sich aber direkt, dass ein Hauptidealbereich vorliegt, und zwar wird jedes Ideal ${}\neq 0$ von ${}T^{j}$ erzeugt, wobei ${}j$ das Minimum über alle Indizes von Koeffizienten ${}\neq 0$ von Potenzreihen in dem Ideal ist.

$\Box$

Einsetzen von formalen Potenzreihen

Man kann Potenzreihen nicht nur addieren und multiplizieren, sondern auch, unter gewissen Zusatzbedingungen, Potenzreihen in andere Potenzreihen einsetzen. Diese Operation entspricht der Hintereinanderschaltung von Abbildungen.

Definition

Es sei ${}K$ ein Körper und ${}F={\sum }_{i=0}^{\infty }a_{i}T^{i}\in K[\![T]\!]$ eine Potenzreihe. Es sei ${}G={\sum }_{j=0}^{\infty }b_{j}T^{j}$ eine weitere Potenzreihe mit konstantem Term ${}0$. Dann nennt man die Potenzreihe

${}{\begin{aligned}F(G)&=a_{0}+a_{1}{\left({\sum }_{j=0}^{\infty }b_{j}T^{j}\right)}+a_{2}{\left({\sum }_{j=0}^{\infty }b_{j}T^{j}\right)}^{2}+a_{3}{\left({\sum }_{j=0}^{\infty }b_{j}T^{j}\right)}^{3}+\ldots \\&={\sum }_{k=0}^{\infty }c_{k}T^{k}\end{aligned}}$

die eingesetzte Potenzreihe. Ihre Koeffizienten sind durch

${}c_{k}=\sum _{s=0}^{k}a_{s}{\left(\sum _{j_{1}+\cdots +j_{s}=k}b_{j_{1}}\cdots b_{j_{s}}\right)}\,$

festgelegt. Hierbei wird über alle geordneten ${}s$-Tupel ${}(j_{1},\ldots ,j_{s})\in \mathbb {N} _{+}^{s}$ summiert.

Man beachte in der vorstehenden Definition, dass wegen ${}b_{0}=0$ nur über ${}j\geq 1$ summiert wird, sodass alle beteiligten Summen endlich sind. Die Formeln für das Einsetzen sind derart, dass sie bei Polynomen das übliche Einsetzen von Polynomen in Polynome ergeben. Einsetzen von Potenzreihen in Potenzreihen liefert wieder einen Einsetzungshomomorphismus der Potenzreihenringe.

Lemma

Es sei ${}K$ ein Körper mit dem Potenzreihenring ${}K[\![T]\!]$. Es sei ${}G\in K[\![S]\!]$ eine Potenzreihe mit konstantem Term ${}0$.

Dann definiert ${}G$ durch Einsetzen einen ${}K$- Algebrahomomorphismus

$K[\![T]\!]\longrightarrow K[\![S]\!],\,F\longmapsto F(G).$

Beweis

Die Abbildung ist wohldefiniert. Um zu zeigen, dass ein Ringhomomorphismus vorliegt, muss man lediglich gewisse Koeffizienten vergleichen. Diese hängen immer nur von endlich vielen Koeffizienten der beteiligten Potenzreihen an, sodass sich diese Aussage aus dem polynomialen Fall ergibt.

$\Box$

Die folgende Aussage ist der Umkehrsatz in einer Variablen für formale Potenzreihe und ist analog zu Korollar 5.3.

Satz

Es sei ${}K$ ein Körper mit dem Potenzreihenring ${}K[\![T]\!]$. Es sei ${}G={\sum }_{j=0}^{\infty }b_{j}S^{j}\in K[\![S]\!]$ eine Potenzreihe mit $b_{0}=0$ und $b_{1}\neq 0$.

Dann gibt es eine eindeutig bestimmte Potenzreihe ${}F\in K[\![T]\!]$ mit

${}F(G)=S\,.$

Beweis

Wir machen den Ansatz ${}F={\sum }_{i=0}^{\infty }a_{i}T^{i}$ für die Potenzreihe ${}F$ und betrachten die Bedingung ${}F(G)=S$. Dabei muss ${}a_{0}=0$ und ${}a_{1}=b_{1}^{-1}$ sein. Es sei nun die Potenreihe ${}F$ mit der gewünschten Eigenschaft bis zum ${}(k-1)$-Koeffizienten bereits konstruiert und ihre Eindeutigkeit nachgewiesen. Für den Koeffizienten ${}c_{k}$ hat man nach der Definition 9.18 die Bedingung

${}{\begin{aligned}0&=c_{k}\\&=\sum _{s=0}^{k}a_{s}{\left(\sum _{j_{1}+\cdots +j_{s}=k}b_{j_{1}}\cdots b_{j_{s}}\right)}\\&=\sum _{s=0}^{k-1}a_{s}{\left(\sum _{j_{1}+\cdots +j_{s}=k}b_{j_{1}}\cdots b_{j_{s}}\right)}+a_{k}b_{1}^{k}.\end{aligned}}$

Daraus ergibt sich eine eindeutig lösbare Bedingung an ${}a_{k}$.

$\Box$

Korollar

Es sei ${}K$ ein Körper, ${}K[\![T]\!]$ der Potenzreihenring über ${}K$ und ${}G={\sum }_{j=0}^{\infty }b_{j}T^{j}$ mit $b_{0}=0$ und $b_{1}\neq 0$.

Dann definiert der durch ${}T\mapsto G$ definierte Einsetzungshomomorpismus einen ${}K$- Algebraautomorphismus auf ${}K[\![T]\!]$.

Beweis

Nach Satz 9.20 gibt es eine Potenzreihe ${}F={\sum }_{i=0}^{\infty }a_{i}T^{i}$ mit ${}F(G)=T$. Wir betrachten nun die Hintereinanderschaltung

$K[\![T]\!]{\stackrel {T\mapsto F}{\longrightarrow }}K[\![T]\!]{\stackrel {T\mapsto G}{\longrightarrow }}K[\![T]\!].$

Dabei ist die Gesamtabbildung der Einsetzungshomomorphismus ${}T\mapsto T$, und das ist die Identität. Insbesondere ist die hintere Abbildung surjektiv. Da ${}K[\![T]\!]$ nach Korollar 9.17 ein diskreter Bewertungsring ist, sind die Ideale darin bekannt, und nur das Nullideal kommt als Kern der Abbildung in Frage. Die Abbildung ist also auch injektiv und damit bijektiv.

$\Box$

Aus dem vorstehenden Beweis ergibt sich, dass auch ${}G(F)=T$ ist. In der Hintereinanderschaltung

$K[\![T]\!]{\stackrel {T\mapsto F}{\longrightarrow }}K[\![T]\!]{\stackrel {T\mapsto G}{\longrightarrow }}K[\![T]\!]$

wird ${}G$ links auf ${}G(F)$ und dieses wiederum auf ${}G$ abgebildet, da die Gesamtabbildung die Identität ist. Doch die hintere Abbildung bildet ${}T$ auf ${}G$ ab, also muss wegen der Injektivität ${}G(F)=T$ gelten.

<< | Kurs:Funktionentheorie (Osnabrück 2023-2024) | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)