Zur Idealtheorie der kommutativen Ringe. I. (Q2590490)

Jedem Ideal \(\mathfrak a\) eines Integritätsbereiches \(\mathfrak R\) sei ein Oberideal \(\overline{\mathfrak a}\) als ``abgeschlossene Hülle'' mit folgenden Eigenschaften zugeordnet: \(\overline{\overline{\mathfrak a}}=\overline{\mathfrak a}\), \(\overline{\sum\mathfrak a_\nu}=\overline{\sum\overline{\mathfrak a_\nu}}\), \(\overline{\mathfrak a\mathfrak b}=\overline{\overline{\mathfrak a}\overline{\mathfrak b}}\), \(\overline{(a)\mathfrak b}=(a)\overline{\mathfrak b}\) für \(a\subset\mathfrak R\). Zwei Ideale \(\mathfrak a\) und \(\mathfrak b\) heißen äquivalent, wenn \(\overline{\mathfrak a}=\overline{\mathfrak b}\). Es werden nun notwendige und hinreichende Bedingungen dafür angegeben, daß für die Klassen äqui\-valenter Ideale der Satz von der Eindeutigkeit der Zerlegung in Primklassen gilt. Im Falle der Gültigkeit stimmt die abgeschlossene Hülle mit der von \textit{B. L. van der Waerden} (Moderne Algebra II, 2. Auflage (1940; F. d. M. 66), \S~105) überein, d. h. es ist \(\overline{\mathfrak a}=(\mathfrak a^{-1})^{-1}\).