Idealtheorie in Ringen mit Teilkettensatz ohne Endlichkeitsbedingung. (Q1439239)

Die Gesamtheit der durch ein Primideal \(\mathfrak p\) nicht teilbaren Elemente bildet ein multiplikativ abgeschlossenes System \(\mathfrak S_{\mathfrak p}\). Ein wichtiges Hilfsmittel der Arbeit ist der folgende Satz über alle multiplikativ abgeschlossenen Systeme \(\mathfrak S\) in einem beliebigen Ring: Wenn \(\mathfrak S\) kein Element aus einem vorgegebenen Ideal \(\mathfrak a\) enthält, dann gibt es stets einen Primidealteiler \(\mathfrak p\) von \(\mathfrak a\), der zu \(\mathfrak S\) elementefremd ist und die Eigenschaft hat, daß in jedem echten Teiler von \(\mathfrak p\) mindestens ein Element aus \(\mathfrak S\) vorkommt. Die zu einem Ideal \(\mathfrak a\) nichtprimen Elemente verteilen sich auf die ``niedersten Primideale'' (zu \(\mathfrak a\) nichtprime Primideale, für die jeder echte Teiler mindestens ein zu \(\mathfrak a\) primes Element enthält). Jedes niederste Primideal eines isolierten Komponentenideals \(\mathfrak a_{\mathfrak S}\) von \(\mathfrak a\), das durch ein beliebiges multiplikativ abgeschlossenes System \(\mathfrak S\) bestimmt ist (zur Definition s. \textit{van der Waerden}, Math. Ann. 99 (1928), 497-541; F. d. M. 54,141), ist durch ein niederstes Primideal von \(\mathfrak a\) teilbar; zwei isolierte Komponentenideale von \(\mathfrak a\) mit denselben niedersten Primidealen sind identisch. Jedes Ideal hat ``höchste'' Primidealteiler, für die kein echtes Primidealvielfaches noch Teiler von \(\mathfrak a\) ist. Das isolierte Komponentenideal \(\mathfrak q_{\mathfrak p}\) eines höchsten Primideals ist ein zu \(\mathfrak p\) gehöriges Primärideal, das der Durchschnitt aller derjenigen zu \(\mathfrak p\) gehörigen Primärideale ist, die \(\mathfrak a\) enthalten. \(\mathfrak p\) ist für die zugehörigen Primärideale das einzige höchste und niederste Primideal. Sind in einem Ring mit Einselement die höchsten Primideale von \(\mathfrak a\) teilerlos, so ist \(\mathfrak a\) als Durchschnitt von zu verschiedenen Primidealen gehörigen Primäridealen darstellbar. In jedem Ring ist jedes Ideal \(\mathfrak a\) Durchschnitt seiner Hauptkomponenten, d. h. der isolierten Komponentenideale, die zu niedersten Primidealen gehören. Zum Schluß werden die Beziehungen zwischen den zu \(\mathfrak a\) ``gehörigen'' Primidealen und den isolierten Komponentenidealen untersucht.