Beiträge zur Arithmetik kommutativer Integritätsbereiche. VI: Der allgemeine Diskriminantensatz. Unverzweigte Ringerweite\-rungen. (Q2590482)

Über einem ganz-abgeschlossenen Integritätsbereich \(R\) mit Quotientenkörper \(K\) sei \(S\) ein ganz-algebraischer Erweiterungsintegritätsbereich \(n\)-ten Grades mit Quotientenkörper \(L\) (es wird nicht vorausgesetzt, daß auch \(S\) ganz-algebraisch-abgeschlossen ist). \(S/R\) heißt für ein Primideal \(\mathfrak p\) von \(R\) unverzweigt, wenn es ein Elementsystem \(a_1\),\dots, \(a_n\) in \(S\) gibt, dessen für \(L/K\) gebildete Diskriminante \(D(a_1,\dots, a_n)\not\equiv0\;(\mathfrak p)\) ist. Es seien \(\mathfrak q_1\),\dots, \(\mathfrak q_s\) die in \(\mathfrak p\) aufgehenden Primideale von \(S\) (d. h. diejenigen Primideale \(\mathfrak q\) von \(S\), für die \(\mathfrak q\cap R = \mathfrak p\) ist). Der Quotientenkörper \(\varLambda_i\) des Restklassenrings \(S/\mathfrak q_i\) ist endlich-algebraisch über dem Quotientenkörper \(\mathbf K\) des Restklassenrings \(R/\mathfrak p\). Der Grad \(n_i\) des größten separablen Teilkörpers von \(\varLambda_i/\mathbf K\) heißt der reduzierte Grad von \(\mathfrak q_i\) in bezug auf \(\mathfrak p\). Verf. beweist zunächst den folgenden Haupt\-satz: \(S/R\) \textit{ist dann und nur dann für \(\mathfrak p\) unverzweigt, wenn die Summe der reduzierten Grade der Primteiler \(\mathfrak q_i\) gleich dem Grad von \(L/K\) ist}: \(n_1 +\cdots + n_s = n\). Für den Fall, daß \(R\) ein Ring mit eindeutiger Primidealzerlegung ist, ist das die E. Noethersche Verallgemeinerung des \textit{Dedekind}schen Diskriminantensatzes. Verf. beweist weiter: Ist \(S/R\) für alle \(\mathfrak p\) unverzweigt, so ist \(S\) ganz-algebraisch-abgeschlossen; für jedes Ideal \(\mathfrak a\) von \(R\) gilt \(\mathfrak aS\cap R = \mathfrak a\), und jedes Primideal \(\mathfrak p\) von \(R\) ist gleich dem Durchschnitt seiner Primteiler \(\mathfrak q_i\) in \(S\). Sind \(\mathfrak p\) und \(\mathfrak p'\) zwei Primideale von \(R\) mit \(\mathfrak p' | \mathfrak p\), mit den Primteilern \(\mathfrak q_1\),\dots, \(\mathfrak q_s\) und \(\mathfrak q_1'\),\dots, \(\mathfrak q_{s'}'\) und ist \(S\) für \(\mathfrak p'\) unver\-zweigt sowie \(\mathfrak p\) für \(\mathfrak p'\) nicht-singulär, so gibt es zu jedem \(\mathfrak q_{i'}'\) genau ein \(\mathfrak q_i\) mit \(\mathfrak q_{i'}'|\mathfrak q_i\). Ist zudem \(L/K\) normal, und sind \(\varGamma_i\), \(\varGamma_{i'}'\) die Zerlegungsgruppen zu den \(\mathfrak q_i\), \(\mathfrak q_{i'}'\), so ist \(s'=ts\) mit \(t = [\varGamma_i: \varGamma_{i'}']\), und jedes \(\mathfrak q_i\) hat genau \(t\) Teiler \(\mathfrak q_{i'}'\). Dabei heißt \(\mathfrak p\) für \(\mathfrak p'\) nicht-singulär, wenn der Restklassenring des Primidealquotientenintegritätsbereichs \(R_{\mathfrak p'}\) nach dem Primideal \(\mathfrak pR_{\mathfrak p'}\) ganz-algebraisch-abgeschlossen ist. Zum Schluß verallgemeinert Verf. den Begriff der Unverzweigtheit auf den Fall, daß \(L/K\) unendlich-algebraisch ist, und ordnet die Theorie der separablen Grundkörpererweiterung in die allgemeine Theorie der unverzweigten Erweiterungsintegritätsbereiche ein.