A valuational interpretation of Kummer's theory of ideal numbers (Q1068897)

Es sei A ein diskreter Bewertungsring des Körpers K mit dem maximalen Ideal \(\pi\) A, und B bezeichne die ganzabgeschlossene Hülle von A in der endlichen Erweiterung L von K. In Anlehnung an den auf Kummer und Dedekind zurückgehenden Begriff eines ''idealen Primdivisors'' [\textit{H. M. Edwards}, Arch. Hist. Exact Sci. 23, 321-378 (1980; Zbl 0472.01013)] betrachtet Verf. ein Element \(\psi\in B\) mit den folgenden Eigenschaften: (i) \(\psi\) \(\not\equiv 0 mod \pi\) (in der Arbeit steht irrtümlich \(\psi\) \(\equiv 0 mod \pi)\); (ii) für alle \(\alpha\),\(\beta\in B\) gilt \(\alpha\) \(\beta\) \(\psi\) \(\not\equiv 0\) oder \(\alpha\) \(\psi\) \(\equiv 0\) oder \(\beta\) \(\psi\) \(\equiv 0 mod \pi.\) Es wird gezeigt, daß die Elemente \(\psi\) dieser Art gerade die über A liegenden diskreten Bewertungsringe von L definieren. Dies liefert einen Beweis des bekannten ''Fundamentalsatzes'': Es gibt nur endlich viele über A liegende diskrete Bewertungsringe \(B_ 1,...,B_ m\) von L, \(1\leq m\leq [L:K]\), und \(B=B_ 1\cap...\cap B_ m\).