Central Quasi-Morphicity, Central Morphicity, and Strongly $Ï$-Regularity
Gera, Sharma
This paper refines the relationship between centrally quasi-morphic and centrally morphic modules, correcting earlier equivalences and extending them to a broader module-theoretic framework. We prove that if a module \(M\) is image-projective and generates its kernels, then the following are equivalent: \(M\) is centrally morphic, \(M\) is centrally quasi-morphic, and its endomorphism ring \(S=\operatorname{End}_R(M)\) is right centrally morphic. This characterization clarifies the role of image-projectivity and kernel-generation in transferring morphic behavior between a module and its endomorphism ring. Furthermore, if \(R\) is a semiprime right centrally quasi-morphic ring with a von Neumann regular center \(Z(R)\), then \(R\) is strongly \(Ï\)-regular. In the module setting, when the endocenter \(Z(S)\) is von Neumann regular and the kernels and images of powers of endomorphisms are fully invariant, an image-projective module \(M\) is strongly \(Ï\)-endoregular if and only if its endomorphism ring \(S\) is semiprime and \(M\) is centrally quasi-morphic.
academic
Zentrale Quasi-Morphizität, zentrale Morphizität und starke π-Regularität
Diese Arbeit verfeinert die Beziehungen zwischen zentral quasi-morphischen Moduln und zentral morphischen Moduln, korrigiert Äquivalenzfehler in der früheren Literatur und erweitert diese auf einen umfassenderen modultheoretischen Rahmen. Die Hauptergebnisse umfassen:
Modultheoretische Äquivalenzen: Wenn ein Modul M bildprojektiv ist und seine Kerne erzeugt, dann sind äquivalent: M ist zentral morphisch, M ist zentral quasi-morphisch, sein Endomorphismenring S = End_R(M) ist rechts zentral morphisch.
Ringtheoretische Ergebnisse: Wenn R ein halbprimer rechts zentral quasi-morphischer Ring ist und sein Zentrum Z(R) von Neumann-regulär ist, dann ist R stark π-regulär.
Modultheoretische Verallgemeinerung: Unter geeigneten Bedingungen ist ein bildprojektiver Modul M stark π-endomorphismus-regulär genau dann, wenn sein Endomorphismenring S halbprim ist und M zentral quasi-morphisch ist.
Das Kernproblem dieser Arbeit ist die Korrektur und Verbesserung der grundlegenden Äquivalenzbeziehungen in der Theorie der morphischen Module, insbesondere:
Die präzise Beziehung zwischen zentraler Quasi-Morphizität und zentraler Morphizität
Wie morphische Eigenschaften von Moduln mit morphischen Eigenschaften ihres Endomorphismenrings zusammenhängen
Die strukturelle Verbindung zwischen zentraler Quasi-Morphizität und starker π-Regularität
Die Theorie der morphischen Ringe und Module stammt aus der Arbeit von Nicholson und Campos als duales Analogon zum Isomorphismussatz. Diese Theorie untersucht:
Wie Beziehungen zwischen Annihilatoren, Kernen und Bildern die innere Struktur von Ringen und Moduln charakterisieren
Wie Kommutativitätsphänomene (durch die Forderung, dass Endomorphismen zentral sind) das morphische Verhalten beeinflussen
Wie Regularitätsbedingungen sich durch morphische Eigenschaften manifestieren
In der Literatur 3 (Dehghani und Sedaghatjoo, 2025) existiert ein kritischer Fehler:
3, Proposition 2.3 behauptet fälschlicherweise: Für jeden projektiven Modul M ist zentrale Morphizität äquivalent zu zentraler Quasi-Morphizität
Gegenbeispiel: M = R = kx/(x²) ist zentral quasi-morphisch, aber nicht zentral morphisch (4, Remark 3.23)
Grundursache: Es fehlen zusätzliche Annahmen, die die Übertragung von morphischen Eigenschaften zwischen dem Modul und seinem Endomorphismenring sicherstellen
Korrektur des grundlegenden Äquivalenzsatzes (Proposition 2.3):
Explizite Angabe, dass Bildprojektion und Kernerzeugung notwendige Bedingungen für die Äquivalenz zwischen zentraler Morphizität und zentraler Quasi-Morphizität sind
Bereitstellung einer präzisen Charakterisierung der gegenseitigen Umwandlung von morphischen Eigenschaften zwischen Modulebene und Endomorphismenring-Ebene
Etablierung eines ringtheoretischen Struktursatzes (Theorem 2.8):
Beweis, dass ein halbprimer zentral quasi-morphischer Ring, dessen Zentrum von Neumann-regulär ist, notwendigerweise stark π-regulär ist
Verallgemeinerung von Lee-Zhou 7, Proposition 23 von morphischen Ringen zu zentral quasi-morphischen Ringen
Bereitstellung eines modultheoretischen Entsprechungsergebnisses (Proposition 2.10):
Unter geeigneten Vollständig-Invarianz-Annahmen Charakterisierung der starken π-Endomorphismus-Regularität
Korrektur der unvollständigen Aussage von 3, Proposition 3.11
Klärung des halbeinfachen Artin-Falls (Corollary 2.4):
Für halbeinfache Artin-Module sind zentrale Quasi-Morphizität, zentrale Morphizität und zentrale Morphizität des Endomorphismenrings äquivalent
Erweiterung von 4, Corollary 3.21 vom endlich erzeugten Fall auf beliebige halbeinfache Artin-Module
Bereitstellung von Gegenbeispielen und Grenzwertanalyse (Remark 2.9):
Demonstration der Notwendigkeit der Satzvoraussetzungen
Die Kernaufgabe dieser Arbeit ist die Etablierung einer bidirektionalen Korrespondenz zwischen modultheoretischen Objekten (Modul M und seine Untermodulstruktur) und algebraischen Objekten (Endomorphismenring S und seine Idealstruktur), insbesondere:
Eingaben:
Modul M und sein Endomorphismenring S = End_R(M)
Strukturelle Eigenschaften des Moduls (Bildprojektion, Kernerzeugung)
Regularitätsbedingungen des Rings (von Neumann-Regularität des Zentrums, Halbprimheit)
Ausgaben:
Äquivalente Charakterisierungen von morphischen Eigenschaften
Notwendige und hinreichende Bedingungen für starke π-Regularität
Einschränkungen:
Alle Ringe sind assoziativ mit Einselement
Alle Module sind Rechtsmodule (sofern nicht anders angegeben)
Der Endomorphismenring wirkt von links auf dem Modul
(1) Wenn M zentral quasi-morphisch und bildprojektiv ist ⇒ S ist rechts zentral quasi-morphisch und M erzeugt seine Kerne
(2) Wenn M bildprojektiv ist und seine Kerne erzeugt, und S rechts zentral quasi-morphisch ist ⇒ M ist zentral quasi-morphisch
(3) Wenn M bildprojektiv ist und seine Kerne erzeugt, dann sind äquivalent:
(a) M ist zentral morphisch
(b) M ist zentral quasi-morphisch
(c) S ist rechts zentral morphisch
Beweisidee:
(1) Beweis:
Setze ker f = im g, im f = ker h (g, h ∈ Z(S))
Für beliebiges φ mit im φ ⊆ im g = ker f
Nach Bildprojektion ⇒ φ ∈ gS
Daher r.ann_S(f) = gS
Symmetrisch: fS = r.ann_S(h)
(2) Beweis:
Setze r.ann_S(f) = gS, fS = r.ann_S(h) (g, h ∈ Z(S))
Dann g ∈ r.ann_S(f) ⇒ im g ⊆ ker f
Für x ∈ ker f, nach Kernerzeugung:
x ∈ Σ im γ_i, wobei γ_i ∈ r.ann_S(f) = gS
⇒ im γ_i ⊆ im g
⇒ ker f = im g
Symmetrisch: im f = ker h
(3) Beweis:
(a)⇒(b): Definition ist offensichtlich
(b)⇒(c): Nach (1), und die Erzeuger sind idempotent
Innovation: Explizite Angabe, dass Bildprojektion und Kernerzeugung unverzichtbare Bedingungen sind, nicht automatisch für alle projektiven Module erfüllt.
Warum wirksam:
Bildprojektion stellt sicher: Untermodul-Inklusion ⇔ Ideal-Inklusion
Kernerzeugung stellt sicher: Kern kann durch zentrale Elemente dargestellt werden
Zusammen garantieren sie die bidirektionale Umwandlung zwischen Modul und Ring
Innovation: Verwendung der von Neumann-Regularität des Zentrums zur Realisierung von Idempotent-Ersetzung und damit zur Etablierung der Links-Rechts-Symmetrie.
Technische Details:
Für zentrales Element c existiert zentrales Idempotent e mit cZ(R) = eZ(R)
Idempotente haben einfache Annihilator-Form: r.ann(e) = (1-e)R
Dies vereinfacht die Kettenbedingungs-Analyse erheblich
Innovation (Kern von Theorem 2.8): Durch Konstruktion orthogonaler Idempotente und Verwendung der Halbprimheit wird der Ausschluss unendlicher aufsteigender Ketten erreicht.
Beweisrahmen:
Annahme: Kette g₁R ⊆ g₂R ⊆ ... bricht nicht ab
Konstruiere e_k = g_k(1 - g_{k-1}) (orthogonale Idempotente)
Dann (ae_k)^k = 0 für alle k
Betrachte J = ⊕ Re_k (direkte Summe von Idealen)
J ist nilpotentes Ideal ⇒ Widerspruch zur Halbprimheit
Daher muss die Kette abbrechen
Hinweis: Diese Arbeit ist eine rein theoretische mathematische Arbeit ohne experimentelle Teile. Der folgende Inhalt bezieht sich auf theoretische Verifikation und Beispielanalyse.
Die Bildprojektion wandelt geometrische Bedingungen (Untermodul-Inklusion) in algebraische Bedingungen (Ideal-Inklusion) um, was die Brücke zwischen Modul und Ring darstellt.
Die Kernerzeugung stellt sicher, dass der Kern durch Bilder von Endomorphismen dargestellt werden kann, was der Schlüssel vom Ring zurück zum Modul ist.
Konkrete Manifestation:
ker f kann durch {im γ | γ ∈ r.ann_S(f)} erzeugt werden
Kombiniert mit r.ann_S(f) = gS ergibt sich ker f = im g
Kernschlussfolgerung: Die Äquivalenz zwischen zentraler Morphizität und zentraler Quasi-Morphizität erfordert:
Bildprojektion (image-projectivity)
Kernerzeugung (kernel-generation)
Diese beiden Bedingungen stellen gemeinsam sicher, dass morphische Eigenschaften zwischen Modul und Endomorphismenring bidirektional übertragen werden.
Einschränkung: Die Umkehrung von Theorem 2.8 gilt nicht (Remark 2.9(2)).
Bedeutung: Starke π-Regularität kann nicht auf zentrale Quasi-Morphizität zurückschließen, selbst unter der Bedingung der zentralen von Neumann-Regularität.
Einschränkung: Viele Ergebnisse hängen von der Regularität des Zentrums ab; die Verallgemeinerung auf nichtkommutative Ringe erfordert feinere Analysen.
Dies ist ein hochqualitatives reines mathematisches Theoriearbeit mit wichtigen Beiträgen zur Ring- und Modultheorie:
✅ Strenge Fehlerkorrektur: Präzise Identifikation des Problems in 3 mit korrekten notwendigen und hinreichenden Bedingungen
✅ Verallgemeinerung klassischer Ergebnisse: Erweiterung des Lee-Zhou-Theorems auf zentral quasi-morphische Ringe
✅ Systematische Theorieentwicklung: Vollständige Charakterisierung der Modul-Ring-Entsprechung
✅ Elegante Beweistechniken: Demonstriert tiefe algebraische Einsichten
⚠️ Anwendungsszenarien benötigen Stärkung: Theoretisch orientiert, aber praktische Anwendungen nicht offensichtlich
⚠️ Rechenmethoden fehlen: Keine Algorithmen oder Komplexitätsanalyse
Empfohlene Leserschaft: Forscher in Ringtheorie, Modultheorie und nichtkommutativer Algebra; Mathematiker mit Interesse an morphischen Strukturen und Regularitätstheorie.