Über eindeutige Zerlegung in Primelemente oder in Primhauptideale in Integritätsbereichen. (Q1440353)

Verf. stellt sich die interessante Aufgabe, hinreichende oder notwendige Kriterien dafür anzugeben, daß\ in einem Integritätsbereich \(\mathfrak I\) jedes Element eindeutig in Primelemente zerlegbar ist resp. die schärfere Forderung erfüllt ist, daß\ jedes Ideal Hauptidealist, also für jedes Ideal Zerlegung in Primhauptideale möglich ist. Diese Problemstellung knüpft an eine Arbeit von \textit{E. Noether} (Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionskörpern; Math. Ann. 96 (1926), 26-61: F. d. M. 52) an, in welcher in Form von 5 Axiomen die notwendigen und hinreichenden Kriterien dafür angegeben werden, daß\ in einem kommutativen Ring \(\Re\) jedes vom Null- und Einheitsideal verschiedene Ideal eindeutig in ein Produkt von Primidealen zerlegbar ist. Die Kriterien des Verf. lassen sich so aussprechen, daß\ die Existenz einer reellwertigen Funktion für die Elemente von \(\mathfrak I\) postuliert wird, die außer den Eigenschaften \[ \begin{aligned} (1)\quad &\chi(\alpha)\geqq 0\;\text{für jedes}\;\alpha\;\text{aus}\;\mathfrak I\;\text{und}\;=0\;\text{nur für}\;\alpha=0\\ (2)\quad &\chi(\alpha \beta)=\chi(\alpha) \chi(\beta)\end{aligned} \] noch die folgenden zwei weiteren Eigenschaften besitzt; \[ \begin{aligned} (3)\;&\text{die Zahlen}\;\chi(\alpha)\;\text{besitzen keine Häufungsstelle im Endlichen},\\ (4)\;&\text{wenn}\;\chi(\alpha) \geqq \chi(\beta),\;\text{so gibt es zwei Elemente}\;\mu\;\text{und}\;\nu\;\text{in}\;\mathfrak I,\;\text{so daß}\end{aligned} \] \[ \chi(\nu \alpha-\mu \beta)<\chi(\alpha) \] ist. Aus diesen Postulaten folgt sehr leicht, daß\ für alle \(\alpha \neq 0\) \(\chi(\alpha) \geqq 1\) ist, \(\chi(\eta)=1\) dann und nur dann, wenn \(\eta\) eine Einheit ist, und schließlich, daß\ die Eigenschaft (4) verschärft werden kann in \[ \chi(\nu \alpha-\mu \beta)<\chi(\beta). \] Verf. weist nun schrittweise nach, daß\ die Existenz einer derartigen Funktion \(\chi\) I. hinreichend dafür ist, daß\ in \(\mathfrak I\) Zerlegung in Primelemente möglich ist, II. daß\ darüber hinaus diese Bedingung hinreichend dafür ist, daß\ in \(\mathfrak I\) Zerlegung in Primhauptideale gilt, III. daß\ diese Bedingung auch notwendig für Zerlegung in Primhauptideale ist. Damit ist gleichseitig schon gezeigt, daß\ die Bedingung nicht auch notwendig dafür sein kann, daß\ Zerlegung in Primelemente möglich ist, weil es Integritätsbereiche gibt, in denen Zerlegung in Primelemente gilt, nicht aber Zerlegung in Primhauptideale, z. B. den Integritätsbereich der Polynome in mehreren Unbestimmten mit Koeffizienten aus einem Körper. Unter speziellen Voraussetzungen über \(\mathfrak I\) gelingt dagegen der Nachweis, daß\ die Bedingung der Existenz einer solchen Funktion \(\chi\) auch notwendig für die Zerlegung in Primelemente ist, speziell auch dafür, daß\ ein algebraischer Zahlkörper endlichen Grades die Klassenzahl 1 besitzt. (III 7.)