A remark on the arithmetic in a subfield.

DOI10.3792/PIA/1195578948MaRDI QIDQ2586064zbMATH OpenOpenAlexWikidataFDO

Authors K. Asano, Tadasi Nakayama

Publication date 1940

Published in Proceedings of the Imperial Academy of Japan (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3792/pia/1195578948

Review text

\(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.

This page was built for publication: A remark on the arithmetic in a subfield.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2586064)