We investigate endoartinian modules, which satisfy the descending chain condition on endoimages, and establish new characterizations that unify classical and generalized chain conditions. Over commutative rings, endoartinianity coincides with rings satisfying the strongly ACCR* with dim(R) = 0 and strongly DCCR* conditions. For principally injective rings, the endoartinian and endonoetherian rings are equivalent. Addressing a question of Facchini and Nazemian, we provide a condition under which isoartinian and Noetherian rings coincide, and we classify semiprime endoartinian rings as finite products of matrix rings over a division ring. We further show that endoartinianity is equivalent to the Kothe rings over principal ideal rings with central idempotents, and characterize such rings as finite products of artinian uniserial rings.
- Papier-ID: 2510.14477
- Titel: Module mit absteigenden Kettenbedingungen auf Endobildern
- Autoren: Theophilus Gera, Manoj Kumar Patel, Ashok Ji Gupta
- Klassifizierung: math.RA (Ringtheorie und Algebra)
- Veröffentlichungsdatum: 16. Oktober 2025
- Papierlink: https://arxiv.org/abs/2510.14477
Dieses Papier untersucht endoartinsche Module (endoartinian modules), die die absteigende Kettenbedingung auf Endobildern erfüllen, und etabliert neue Charakterisierungen, die klassische und verallgemeinerte Kettenbedingungen vereinheitlichen. Auf kommutativen Ringen ist Endoartinschheit äquivalent zu Ringen, die die starke ACCR*-Bedingung erfüllen und dim(R) = 0 sowie die starke DCCR*-Bedingung erfüllen. Für Hauptinjektivringe sind endoartinsche Ringe äquivalent zu endonoetherschen Ringen. Die Autoren liefern Bedingungen, unter denen Isoartinschheit und Noetherschheit zusammenfallen, und beantworten damit eine von Facchini und Nazemian gestellte Frage. Sie klassifizieren halbeinfache endoartinsche Ringe als endliche Produkte von Matrizenringen über Schiefkörpern. Darüber hinaus wird nachgewiesen, dass auf Hauptidealringen mit zentralen Idempotenten Endoartinschheit äquivalent zur Köthe-Eigenschaft ist, und solche Ringe werden als endliche Produkte von artinschen uniseralen Ringen charakterisiert.
- Entwicklung klassischer Kettenbedingungen: Noether führte 1921 die aufsteigende Kettenbedingung ein, Artin führte 1927 die absteigende Kettenbedingung ein und förderten damit die Strukturtheorie von Ringen erheblich. Das Hopkins-Levitzki-Theorem etablierte das wichtige Ergebnis, dass artinsche Ringe noethersch sein müssen.
- Aufstieg verallgemeinerter Kettenbedingungen: Varadarajan etablierte die Verbindung zwischen Hopfian- und Co-Hopfian-Modulen. Hmaimou und andere führten das Konzept verallgemeinerter Fitting-Module ein, einschließlich stark Hopfian und stark Co-Hopfian Module.
- Zwischenliegende Endlichkeitsbedingungen: Facchini und Nazemian schlugen 2016 einen Rahmen vor, der die Anforderungen standardmäßiger Kettenbedingungsgleichungen lockert. Gouaid und andere führten 2020 das Konzept endonoetherscher Module ein, die zwischen Isonoetherschheit und starker Hopfianität liegen.
Endoartinsche Module liegen in einer Zwischenposition zwischen Isoartinschheit und starker Co-Hopfianität. Während klassische Kettenbedingungen wie Artinschheit die Untermodulstruktur global kontrollieren, legen endoartinsche Module Endlichkeitsbeschränkungen auf die Wirkung des Endomorphismenrings auf, erfassen interne Stabilisierungsphänomene, die nur durch Untermodule nicht beobachtbar sind. Die Robustheit dieser Struktur motiviert die Untersuchung ihrer Eigenschaften und ihrer Verbindungen zu anderen Endlichkeitsbedingungen.
- Etablierung einer systematischen Theorie endoartinscher Module: Definition und tiefgehende Untersuchung von Modulen, die die absteigende Kettenbedingung auf Endobildern erfüllen, schließen die theoretische Lücke zwischen Isoartinschheit und starker Co-Hopfianität.
- Vollständige Charakterisierung auf kommutativen Ringen: Beweis, dass auf kommutativen Ringen Endoartinschheit äquivalent ist zur Erfüllung der starken ACCR*-Bedingung mit dim(R) = 0 und der starken DCCR*-Bedingung (Theorem 2.11).
- Hopkins-Levitzki-artiges Theorem: Für rechts-Hauptinjektivringe wird die Äquivalenz zwischen rechts-Endoartinschheit und rechts-Endonoetherschheit etabliert (Theorem 2.16).
- Beantwortung der Facchini-Nazemian-Frage: Lieferung von Strukturbedingungen, unter denen halbeinfache Isoartinsche Ringe noethersch sind, und Beweis der Äquivalenz von Endoartinschheit und Isoartinschheit auf Primringen (Korollar 2.24).
- Klassifizierung halbeinfacher endoartinscher Ringe: Vollständige Charakterisierung halbeinfacher rechts-endoartinscher Ringe als endliche direkte Produkte von Matrizenringen über Schiefkörpern (Theorem 2.27).
- Verbindung zu Köthe-Ringen: Beweis, dass für Hauptidealringe mit zentralen Idempotenten Endoartinschheit äquivalent zur Köthe-Eigenschaft ist, und Charakterisierung als endliche Produkte von artinschen uniseralen Ringen (Theorem 3.2).
Sei M ein rechts-R-Modul und S = EndR(M) der Endomorphismenring von M.
- Endoartinscher Modul: Wenn jede absteigende Kette von Endobildern Im(f₁) ⊇ Im(f₂) ⊇ ⋯ stabilisiert, wobei fᵢ ∈ S.
- Endonoetherscher Modul: Wenn jede aufsteigende Kette von Kernen stabilisiert.
Für einen Modul M, der sowohl endoartinsch als auch endonoethersch ist, wenn {fₙ} ⊆ EndR(M) die Bedingung fᵢfⱼ = fᵢ₊ⱼ erfüllt, dann existiert n, sodass:
M=ker(fn)⊕Im(fn)
Ein Ring R ist rechts-endoartinsch genau dann, wenn für jede Sequenz {aᵢ} ⊆ R ein n existiert, sodass:
anR=an+1R
Äquivalent existieren b,c ∈ R, sodass aₙ = aₙ₊₁b und aₙ₊₁ = aₙc.
Ein Ring R ist rechts-endoartinsch genau dann, wenn R ein links-vollständiger Ring ist.
- Einführung von Endobildern-Kettenbedingungen: Durch Betrachtung von Bildern von Endomorphismen statt traditioneller Untermodule werden interne Struktureigenschaften von Modulen offenbart.
- Etablierung mehrschichtiger Äquivalenzen: Auf verschiedenen Ringklassen werden Äquivalenzbeziehungen zwischen Endoartinschheit und anderen Bedingungen etabliert, die ein vollständiges Theoriesystem bilden.
- Strukturzerlegungstechniken: Durch Nutzung zentraler Idempotente und Eigenschaften von Hauptidealringen wird eine präzise Zerlegung komplexer Ringstrukturen erreicht.
Als rein mathematisches Theoriepapier wird die Korrektheit der Theorie auf folgende Weise verifiziert:
- Konstruktion von Gegenbeispielen:
- Beispiel 2.1(4): Konstruktion eines stark Co-Hopfian-Moduls, der nicht endoartinsch ist
- Beispiel 2.6: Demonstration der Unvergleichbarkeit von endoartinschen und endonoetherschen Modulen
- Beispiel 2.14: Zeigt das Versagen der Endoartinschheit unter Lokalisierung
- Konkrete Berechnungen: Verifikation theoretischer Vorhersagen durch Berechnungen mit konkreten Ringen und Modulen
- Gegenbeispielanalyse: Beispiel 3.4 mit der oberen Dreiecksmatrizenring T₂(k) zeigt die Notwendigkeit der Annahmebedingungen in Theorem 3.2
Für einen kommutativen Ring R sind folgende äquivalent:
- R ist endoartinsch
- R erfüllt die starke DCCR*-Bedingung
- R erfüllt die starke ACCR*-Bedingung und dim(R) = 0
Für einen rechts-Hauptinjektivring R:
Rechts-Endoartinsch⇔Rechts-Endonoethersch
Für einen Ring R sind folgende äquivalent:
- R ist halbeinfach und rechts-endoartinsch
- R ist halbeinfach
- R ≅ ∏ᵢ₌₁ⁿ Mₙᵢ(Dᵢ), wobei Dᵢ ein Schiefkörper ist
- R ist rechts-erblich und soc(R_R) = R hat endliche Länge
- Vererbung durch direkte Summanden (Proposition 2.2): Endoartinschheit wird von direkten Summanden vererbt.
- Kettenbedingungen auf direkten Summanden (Proposition 2.5): Endoartinsche Module erfüllen die absteigende Kettenbedingung auf direkten Summanden.
- Schröder-Bernstein-Eigenschaft (Theorem 2.21): Jeder endoartinsche Modul erfüllt die SB-Eigenschaft.
- Noether-Artin-Theorie: Etablierung des grundlegenden Rahmens für Noether- und Artinbedingungen
- Hopkins-Levitzki-Theorem: Beweis der Noetherschheit artinscher Ringe
- Wedderburn-Artin-Theorem: Strukturklassifizierung halbeinfacher Ringe
- Varadarajans Arbeiten: Etablierung der Verbindung zwischen Hopfian- und Co-Hopfian-Modulen
- Hmaimou und andere: Einführung des Konzepts verallgemeinerter Fitting-Module
- Facchini-Nazemian-Rahmen: Kettenbedingungen mit gelockerten Gleichheitsanforderungen
- Kaidi-Campos: Erste Einführung des Konzepts endonoetherscher Module
- Gouaid und andere: Systematische Untersuchung der Eigenschaften endonoetherscher Ringe
- Theoretische Vollständigkeit: Etablierung eines vollständigen Theoriesystems für endoartinsche Module, das die Lücke zwischen Isoartinschheit und starker Co-Hopfianität schließt.
- Strukturcharakterisierung: Vollständige Charakterisierung der Endoartinschheit auf mehreren wichtigen Ringklassen, besonders auf kommutativen Ringen und halbeinfachen Ringen.
- Äquivalenzsätze: Unter angemessenen Bedingungen werden Äquivalenzbeziehungen zwischen Endoartinschheit und anderen wichtigen Eigenschaften etabliert.
- Notwendigkeit von Annahmebedingungen: Viele Ergebnisse erfordern relativ starke Annahmebedingungen wie Hauptinjektivität, zentrale Idempotente usw.
- Komplexität im nichtkommutativen Fall: Im allgemeinen nichtkommutativen Fall wird die Theorie komplexer, und einige Probleme bleiben unvollständig gelöst.
- Rechenkomplexität: Die algorithmische Komplexität der Bestimmung, ob ein gegebener Ring endoartinsch ist, wird nicht diskutiert.
- Offene Probleme: Die Facchini-Nazemian-Frage, ob halbeinfache Isoartinsche Ringe notwendigerweise noethersch sind, bleibt im allgemeinen Fall ungelöst.
- Verallgemeinerungsrichtungen: Mögliche Verallgemeinerung der Theorie auf allgemeinere Ringklassen oder Modulklassen.
- Anwendungserkundung: Suche nach Anwendungen der Endoartinschheit in anderen mathematischen Zweigen.
- Theoretische Tiefe: Das Papier etabliert ein vollständiges und tiefgehendes Theoriesystem, das von grundlegenden Definitionen bis zu tieferen Strukturen reicht.
- Technische Innovation: Die Einführung von Endobildern-Kettenbedingungen ist innovativ und eröffnet neue Forschungsrichtungen.
- Vollständigkeit der Ergebnisse: Vollständige Charakterisierungen auf wichtigen Ringklassen mit starker Vollständigkeit der theoretischen Ergebnisse.
- Klare Darstellung: Das Papier hat eine klare Struktur, präzise Definitionen und strenge Beweise.
- Begrenzte Anwendungen: Als reine theoretische Forschung fehlt ein konkreter Anwendungshintergrund.
- Rechnerische Aspekte: Mangel an effektiven Algorithmen zur Bestimmung der Endoartinschheit.
- Einschränkungen bei Verallgemeinerungen: Die Annahmebedingungen einiger Ergebnisse sind relativ stark und begrenzen die Universalität der Theorie.
- Akademischer Beitrag: Lieferung neuer Forschungsrichtungen und Werkzeuge für Ringtheorie und Modultheorie.
- Theoretischer Wert: Vereinigung mehrerer scheinbar unabhängiger Konzepte mit wichtigem theoretischem Wert.
- Nachfolgeforschung: Bereitstellung reichhaltigen Materials und ungelöster Probleme für Nachfolgeforschung.
- Ringtheorieforschung: Bereitstellung neuer Werkzeuge zur Untersuchung der Ringstruktur.
- Modultheorieanwendungen: Möglicherweise nützlich bei der Untersuchung von Modulzerlegung und -struktur.
- Algebraische Geometrie: Mögliche Anwendungen bei der Untersuchung der Ringstruktur algebraischer Varietäten.
Das Papier enthält 32 Literaturquellen, die klassische Literatur in Ringtheorie und Modultheorie abdecken, einschließlich:
- Anderson & Fullers „Rings and categories of modules"
- Lams „A first course in noncommutative rings"
- Facchinis & Nazemians Serienarbeiten zu Isoartinschen Modulen
- Hopkins und Levitzskis klassische Theoreme
- Sowie weitere verwandte moderne Forschungsergebnisse
Gesamtbewertung: Dies ist ein hochqualitatives rein mathematisches Theoriepapier, das bedeutende Beiträge zum Bereich der Ringtheorie und Modultheorie leistet. Das Papier etabliert ein vollständiges Theoriesystem für endoartinsche Module, löst mehrere wichtige Probleme in diesem Bereich und weist Richtungen für zukünftige Forschung auf. Obwohl es direkte Anwendungen fehlen, sind sein theoretischer Wert und akademischer Beitrag erheblich.