A remark on the arithmetic in a subfield. (Q2586064)

\(K\) sei ein (kommutativer) Körper und \(k\) einer seiner Unterkörper, über dem \(K\) einen endlichen Grad \(n = (K: k)\) hat. Setzt man in einem Integritätsbereich \(o\), zu dem \(k\) Quotientenkörper ist, den Satz von der Eindeutigkeit der Zerlegung der Ideale in ein Potenzprodukt von endlich vielen Primidealen voraus, so gilt dieser bekanntlich auch im Bereiche \(O\) aller bezüglich \(o\) ganzen Elemente von \(K\). Verf. behandeln die Umkehrung dieses Problems. Ein am Schlusse ihrer Arbeit gegebenes Beispiel zeigt, daß obengenannter Eindeutigkeitssatz im Integritätsbereich \(o = O \frown k\) nicht zu gelten braucht, wenn er in einem im Körper \(K\) eingebetteten ganz abgeschlossenen Integritätsbereich \(O\) statt hat. Unter welchen Voraussetzungen über \(O\) obengenannter Eindeutigkeitssatz in \(o\) gilt, wird durch folgenden Satz, in welchem ohne wesentliche Einschränkung der Allgemeinheit \(K\) als normal über \(k\) angenommen wird, angegeben: Damit in \(o = O \frown k\) der Eindeutigkeitssatz gelte, ist es notwendig und hinreichend, daß er im Durchschnitte \(O^* = O \frown O^\prime \frown \cdots \frown O^{(n-1)}\) (\((n=(K: k)\) von allen (bezüglich \(K/k\)) Konjugierten von \(O\) in \(K\) statt hat. Und wenn das der Fall ist, dann ist \(O^*\) die Gesamtheit der in \(K\) gelegenen bezüglich \(o\) ganzen Elemente. Der Beweis dieses Satzes wird nach Behandlung des Spezialfalles, in welchem \(O\) mit allen seinen Konjugierten zusammenfällt, auf kurzem Wege gegeben.