No label defined (Q4359490)

In dieser Arbeit untersuchen wir die Existenz von äußeren Komplementen zu Moduln über kommutativen noetherschen Ringen. Man nennt diejenigen Moduln \(M\), so daß jeder Untermodul ein Komplement in \(M\) hat, komplementiert, und wir nennen diejenigen Moduln, die in jeder Erweiterung ein Komplement haben, Moduln mit Ergänzungseigenschaft. Hauptergebnisse dieser Arbeit sind: Die endlich erzeugten Moduln mit Ergänzungseigenschaft sind genau die linear kompakten, endlich erzeugten Moduln (Theorem 2.3). Über einem nicht lokalen Integritätsring ist jeder torsionsfreie Modul mit Ergänzungseigenschaft injektiv (Satz 3.10). Jeder flache \(R\)-Modul mit Ergänzungseigenschaft hat die Form \[ (R_{{\mathfrak q}_1})^{(l_1)}\times \dots\times (R_{{\mathfrak q}_n})^{(l_n)}\times \widehat{R_{{\mathfrak m}_1}}^{m_1}\times\dots\times \widehat{R_{{\mathfrak m}_l}}^{m_l}, \tag{\(*\)} \] wobei \({\mathfrak q}_i\) minimale Primideale und \(l_i\) Mengen sind, alle \(m_j\) natürliche Zahlen und die \({\mathfrak m}_j\) maximale Ideale positive Höhe, sodaß es zu jedem \(j\in \{1,\dots,l\}\) ein \({\mathfrak a}_j\in\text{Ass}(R)\) gibt mit \({\mathfrak a}_j\subset{\mathfrak m}_j\) und \(R/{\mathfrak a}_j\) lokal (Theorem 1.10). Für einen \(R\)-Modul \(M\) hat genau dann jeder Untermodul von \(M\) die Ergänzungseigenschaft, wenn \(M\) Summe eines linear-kompakten und eines global-beschränkten Untermoduls ist (Theorem 5.7). Ein eindimensionaler lokaler Integritätsring \(R\) hat genau dann in jedem Zwischenmodul zwischen \(R\) und seinem Quotientenkörper \(Q(R)\) bzw. dem ganzen Abschluß \(R'\) ein Komplement, wenn \(R\) analytisch irreduzibel bzw. analytisch unverzweigt ist (Theorem 6.8, Theorem 6.5).