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
Quasi-Morficità Centrale, Morficità Centrale e π-Regolarità Forte
Questo articolo affina la relazione tra moduli centralmente quasi-morfici e moduli centrally morfici, correggendo errori di equivalenza nella letteratura precedente e estendendo i risultati a un quadro teorico dei moduli più ampio. I risultati principali includono:
Equivalenze Teoriche dei Moduli: Se il modulo M è image-projective e genera i suoi nuclei, allora sono equivalenti: M è centrally morfico, M è centrally quasi-morfico, il suo anello di endomorfismi S=End_R(M) è right centrally morfico.
Risultati Teorici degli Anelli: Se R è un anello semiprime right centrally quasi-morfico il cui centro Z(R) è von Neumann regolare, allora R è strongly π-regolare.
Generalizzazione Teorica dei Moduli: Sotto condizioni appropriate, un modulo image-projective M è strongly π-endomorphism regolare se e solo se il suo anello di endomorfismi S è semiprime e M è centrally quasi-morfico.
L'articolo affronta il problema centrale di correggere e perfezionare le relazioni di equivalenza fondamentali nella teoria dei moduli morfici, in particolare:
La relazione precisa tra quasi-morficità centrale e morficità centrale
Come le proprietà morfiche di un modulo si trasformano in proprietà morfiche del suo anello di endomorfismi
Il collegamento strutturale tra quasi-morficità centrale e π-regolarità forte
La teoria degli anelli e moduli morfici ha origine dal lavoro di Nicholson e Campos, come analogo duale del teorema di isomorfismo. Questa teoria esplora:
Come le relazioni tra annichilatori, nuclei e immagini caratterizzano la struttura interna di anelli e moduli
Come i fenomeni di commutatività (richiedendo che gli endomorfismi testimoni siano nel centro) influenzano il comportamento morfico
Come le condizioni di regolarità si manifestano attraverso proprietà morfiche
Nella letteratura 3 (Dehghani and Sedaghatjoo, 2025) esiste un errore critico:
3, Proposizione 2.3 afferma erroneamente: Per qualsiasi modulo proiettivo M, la morficità centrale è equivalente alla quasi-morficità centrale
Controesempio: M = R = kx/(x²) è centrally quasi-morfico ma non centrally morfico (4, Remark 3.23)
Causa Fondamentale: Mancano ipotesi aggiuntive che garantiscano il trasferimento delle proprietà morfiche tra il modulo e il suo anello di endomorfismi
Correzione del Teorema di Equivalenza Fondamentale (Proposizione 2.3):
Specifica chiaramente che l'image-projectivity e la kernel-generation sono condizioni necessarie affinché la morficità centrale e la quasi-morficità centrale siano equivalenti
Fornisce una caratterizzazione precisa della trasformazione reciproca delle proprietà morfiche tra il livello dei moduli e il livello degli anelli di endomorfismi
Stabilimento del Teorema Strutturale degli Anelli (Teorema 2.8):
Dimostra che un anello semiprime centrally quasi-morfico il cui centro è von Neumann regolare deve essere strongly π-regolare
Generalizza 7, Proposizione 23 di Lee-Zhou da anelli morfici ad anelli centrally quasi-morfici
Risultato Corrispondente Teorico dei Moduli (Proposizione 2.10):
Sotto ipotesi di completa invarianza appropriate, caratterizza la π-regolarità forte degli endomorfismi
Corregge l'espressione incompleta di 3, Proposizione 3.11
Chiarimento del Caso Artin Semiemplice (Corollario 2.4):
Per moduli Artin semiemplici, la quasi-morficità centrale, la morficità centrale e la morficità centrale dell'anello di endomorfismi sono equivalenti
Estende 4, Corollario 3.21 dal caso finitamente generato a qualsiasi modulo Artin semiemplice
Fornitura di Controesempi e Analisi delle Condizioni al Contorno (Osservazione 2.9):
Dimostra la necessità delle condizioni del teorema
Il compito centrale di ricerca di questo articolo è stabilire una corrispondenza bidirezionale tra oggetti teorici dei moduli (il modulo M e la sua struttura di sottomoduli) e oggetti algebrici (l'anello di endomorfismi S e la sua struttura di ideali), che include specificamente:
Input:
Il modulo M e il suo anello di endomorfismi S = End_R(M)
Proprietà strutturali del modulo (image-projectivity, kernel-generation)
Condizioni di regolarità dell'anello (von Neumann regolarità del centro, semiprimità)
Output:
Caratterizzazioni equivalenti delle proprietà morfiche
Condizioni necessarie e sufficienti per la π-regolarità forte
Vincoli:
Tutti gli anelli sono anelli associativi con unità
Tutti i moduli sono moduli destri (salvo diversa indicazione)
L'anello di endomorfismi agisce a sinistra sul modulo
Se gli elementi g, h di cui sopra possono essere scelti come lo stesso elemento (o equivalentemente, come elementi idempotenti), allora si dice centrally morfico.
Se M genera i suoi nuclei e r.ann_S(f) = eS (e idempotente), allora ker f = eM
Idea della Dimostrazione: Utilizza l'image-projectivity per trasformare le relazioni di inclusione tra sottomoduli in relazioni di inclusione tra ideali.
Enunciato: Sia M un modulo destro su R, S = End_R(M).
(1) Se M è centrally quasi-morfico e image-projective ⇒ S è right centrally quasi-morfico e M genera i suoi nuclei
(2) Se M è image-projective e genera i suoi nuclei, e S è right centrally quasi-morfico ⇒ M è centrally quasi-morfico
(3) Se M è image-projective e genera i suoi nuclei, allora sono equivalenti:
(a) M è centrally morfico
(b) M è centrally quasi-morfico
(c) S è right centrally morfico
Idea della Dimostrazione:
(1) Dimostrazione:
Sia ker f = im g, im f = ker h (g, h ∈ Z(S))
Per ogni φ tale che im φ ⊆ im g = ker f
Per image-projectivity ⇒ φ ∈ gS
Quindi r.ann_S(f) = gS
Simmetricamente, fS = r.ann_S(h)
(2) Dimostrazione:
Sia r.ann_S(f) = gS, fS = r.ann_S(h) (g, h ∈ Z(S))
Allora g ∈ r.ann_S(f) ⇒ im g ⊆ ker f
Per x ∈ ker f, per kernel-generation:
x ∈ Σ im γ_i, dove γ_i ∈ r.ann_S(f) = gS
⇒ im γ_i ⊆ im g
⇒ ker f = im g
Simmetricamente si ottiene im f = ker h
Innovazione: Specifica chiaramente che l'image-projectivity e la kernel-generation sono condizioni indispensabili, non automaticamente soddisfatte per tutti i moduli proiettivi.
Perché Funziona:
L'image-projectivity trasforma le condizioni geometriche (inclusioni di sottomoduli) in condizioni algebriche (inclusioni di ideali)
La kernel-generation assicura che i nuclei possano essere rappresentati dalle immagini di elementi centrali
Insieme garantiscono la trasformazione bidirezionale tra moduli e anelli
Innovazione: Utilizza la regolarità von Neumann del centro per realizzare la sostituzione di elementi idempotenti, stabilendo così la simmetria sinistra-destra.
Dettagli Tecnici:
Per un elemento centrale c, esiste un elemento centrale idempotente e tale che cZ(R) = eZ(R)
Gli annichilatori degli elementi idempotenti hanno forma semplice: r.ann(e) = (1-e)R
Questo semplifica notevolmente l'analisi delle condizioni di catena
Innovazione (nucleo del Teorema 2.8): Attraverso la costruzione di sequenze di elementi idempotenti ortogonali, utilizza la semiprimità per escludere catene ascendenti infinite.
Quadro della Dimostrazione:
Supponi che la catena g₁R ⊆ g₂R ⊆ ... non sia stabile
Costruisci e_k = g_k(1 - g_{k-1}) (elementi idempotenti ortogonali)
Allora (ae_k)^k = 0 per tutti i k
Considera J = ⊕ Re_k (somma diretta di ideali non nulli)
J è un ideale nilpotente ⇒ contraddizione con la semiprimità
Quindi la catena deve stabilizzarsi
Nota: Questo articolo è un articolo di matematica pura teorica e non contiene sezioni sperimentali. I contenuti seguenti riguardano la verifica teorica e l'analisi di esempi.
L'image-projectivity trasforma le condizioni geometriche (inclusioni di sottomoduli) in condizioni algebriche (inclusioni di ideali), fungendo da ponte tra moduli e anelli.
La kernel-generation assicura che i nuclei possano essere rappresentati dalle immagini degli endomorfismi, ed è la chiave per tornare dagli anelli ai moduli.
Manifestazione Concreta:
ker f può essere generato da {im γ | γ ∈ r.ann_S(f)}
Combinata con r.ann_S(f) = gS si ottiene ker f = im g
Questo articolo è un articolo teorico di matematica pura di alta qualità che fornisce importanti contributi nel campo della teoria degli anelli e dei moduli:
✅ Corregge rigorosamente gli errori della letteratura, fornendo condizioni necessarie e sufficienti precise
✅ Generalizza i risultati classici, estendendo il teorema di Lee-Zhou al caso centrally quasi-morfico
✅ Stabilisce una teoria sistematica, caratterizzando completamente la corrispondenza moduli-anelli
✅ Dimostrazioni tecnicamente sofisticate, che mostrano intuizioni algebriche profonde
⚠️ Scenari di applicazione da rafforzare, carattere principalmente teorico ma applicazioni pratiche non evidenti
⚠️ Metodi computazionali assenti, mancano algoritmi e analisi di complessità
Pubblico di Lettura Consigliato: Ricercatori in teoria degli anelli, teoria dei moduli, algebra non-commutativa; matematici interessati alla struttura morficità e teoria della regolarità.