Formale Potenzreihen und Laurentreihen/C/Inklusionen und Quotientenkörper/Aufgabe

Zeige, dass die folgenden (jeweils echten) Inklusionen von Ringen vorliegen, und dass in der zweiten Zeile die Quotientenkörper der ersten Zeile stehen (dabei bezeichnet ${}{\mathcal {M}}_{0}$ den Ring der Keime der meromorphen Funktionen und ${}{\mathbb {C} }(\!(T)\!)$ den Ring der formalen Laurent-Reihen mit endlichem Hauptteil).

${\begin{matrix}{\mathbb {C} }[T]_{(T)}&\subseteq &{\mathbb {C} }\langle \!\langle T\rangle \!\rangle &\subseteq &{\mathbb {C} }[\![T]\!]\\\downarrow &&\downarrow &&\downarrow &\\{\mathbb {C} }(T)&\subseteq &{\mathcal {M}}_{0}&\subseteq &{\mathbb {C} }(\!(T)\!)&\,.\end{matrix}}$

Eine Lösung erstellen