Dedekindbereich/Endliche Erweiterung/Separabel/Kähler-Modul/Eigenschaften/Fakt

Es sei ${}R\subseteq S$ eine endliche Erweiterung von Dedekindbereichen derart, dass die Körpererweiterung ${}Q(R)\subseteq Q(S)$ der Quotientenkörper separabel sei. Dann gelten folgende Aussagen.

Es ist ${}{\left(\Omega _{S{|}R}\right)}_{S\setminus \{0\}}=0$ .

Es gibt ein ${}s\in S$ , ${}s\neq 0$ , mit ${}{\left(\Omega _{S{|}R}\right)}_{s}=0$ .

Es gibt ein ${}r\in R$ , ${}r\neq 0$ , mit ${}{\left(\Omega _{S{|}R}\right)}_{r}=0$ .

Es gibt endlich viele Primideale ${}{\mathfrak {q}}\in \operatorname {Spek} {\left(S\right)}$ mit ${}{\left(\Omega _{S{|}R}\right)}_{\mathfrak {q}}\neq 0$ .

Es gibt ein ${}r\in R$ , ${}r\neq 0$ , und ein ${}m\in \mathbb {N}$ mit ${}r^{m}{\left(\Omega _{S{|}R}\right)}=0$ . Insbesondere ist ${}\Omega _{S{|}R}$ ein ${}S/r^{m}S$ -Modul.

Zum Beweis, Alternativen Beweis erstellen

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.