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-Morphicité Centrale, Morphicité Centrale et π-Régularité Forte
Cet article affine les relations entre les modules quasi-morphes centralement (centrally quasi-morphic) et les modules morphes centralement (centrally morphic), corrige les erreurs d'équivalence dans la littérature antérieure, et étend ces concepts à un cadre théorique des modules plus large. Les résultats principaux incluent :
Équivalences en théorie des modules : Si un module M est projectif d'image (image-projective) et engendre ses noyaux (generates its kernels), alors les énoncés suivants sont équivalents : M est morphe centralement, M est quasi-morphe centralement, son anneau d'endomorphismes S = End_R(M) est morphe centralement à droite.
Résultats en théorie des anneaux : Si R est un anneau semi-premier (semiprime) quasi-morphe centralement à droite et son centre Z(R) est régulier au sens de von Neumann, alors R est fortement π-régulier.
Généralisation en théorie des modules : Sous des conditions appropriées, un module projectif d'image M est fortement π-auto-régulier si et seulement si son anneau d'endomorphismes S est semi-premier et M est quasi-morphe centralement.
Cet article vise à résoudre le problème central suivant : corriger et affiner les relations d'équivalence fondamentales dans la théorie des modules morphes (morphic modules), en particulier :
La relation précise entre la quasi-morphicité centrale et la morphicité centrale
Comment les propriétés morphes d'un module se transforment en propriétés morphes de son anneau d'endomorphismes
Les liens structurels entre la quasi-morphicité centrale et la π-régularité forte
La théorie des anneaux et modules morphes provient des travaux de Nicholson et Campos, comme analogue dual du théorème d'isomorphisme. Cette théorie explore :
Comment les relations entre annulateurs, noyaux et images caractérisent la structure interne des anneaux et modules
Comment les phénomènes de commutativité (en exigeant que les endomorphismes témoins soient centraux) affectent le comportement morphe
Comment les conditions de régularité se manifestent par les propriétés morphes
Correction du théorème d'équivalence fondamental (Proposition 2.3) :
Précise que la projectivité d'image et la génération de noyaux sont des conditions nécessaires pour l'équivalence entre morphicité centrale et quasi-morphicité centrale
Fournit une caractérisation précise de la transformation mutuelle des propriétés morphes entre le niveau des modules et celui des anneaux d'endomorphismes
Établissement d'un théorème de structure pour les anneaux (Théorème 2.8) :
Prouve que les anneaux semi-premiers quasi-morphes centralement à droite dont le centre est régulier au sens de von Neumann sont nécessairement fortement π-réguliers
Généralise 7, Proposition 23 de Lee-Zhou des anneaux morphes aux anneaux quasi-morphes centralement
Résultats correspondants en théorie des modules (Proposition 2.10) :
Caractérise la π-auto-régularité forte sous des hypothèses d'invariance complète appropriées
Corrige l'énoncé incomplet de 3, Proposition 3.11
Clarification du cas semi-simple Artin (Corollaire 2.4) :
Pour les modules semi-simples Artin, la quasi-morphicité centrale, la morphicité centrale et la morphicité centrale de l'anneau d'endomorphismes sont équivalentes
Étend 4, Corollaire 3.21 du cas finiment engendré à tout module semi-simple Artin
Fourniture de contre-exemples et analyse des conditions limites (Remarque 2.9) :
Le cœur de la recherche de cet article consiste à établir des correspondances bidirectionnelles entre les objets de théorie des modules (module M et sa structure de sous-modules) et les objets algébriques (anneau d'endomorphismes S et sa structure d'idéaux), incluant spécifiquement :
Entrées :
Module M et son anneau d'endomorphismes S = End_R(M)
Propriétés structurelles du module (projectivité d'image, génération de noyaux)
Conditions de régularité de l'anneau (régularité von Neumann du centre, semi-primalité)
Sorties :
Caractérisations équivalentes des propriétés morphes
Conditions nécessaires et suffisantes pour la π-régularité forte
Contraintes :
Tous les anneaux sont des anneaux associatifs avec unité
Tous les modules sont des modules à droite (sauf indication contraire)
L'anneau d'endomorphismes agit à gauche sur le module
Modules : M est quasi-morphe centralement si pour chaque f ∈ S, il existe g, h ∈ Z(S) (centre) tels que ker f = im g et im f = ker h
Anneaux : R est quasi-morphe centralement à droite si pour chaque a ∈ R, il existe des éléments centraux b, c ∈ Z(R) tels que r.ann_R(a) = bR et aR = r.ann_R(c)
Énoncé : Soit M un R-module à droite, S = End_R(M).
(1) Si M est quasi-morphe centralement et projectif d'image ⇒ S est quasi-morphe centralement à droite, et M engendre ses noyaux
(2) Si M est projectif d'image et engendre ses noyaux, et S est quasi-morphe centralement à droite ⇒ M est quasi-morphe centralement
(3) Si M est projectif d'image et engendre ses noyaux, alors les énoncés suivants sont équivalents :
(a) M est morphe centralement
(b) M est quasi-morphe centralement
(c) S est morphe centralement à droite
Esquisse de preuve :
(1) Preuve :
Soit ker f = im g, im f = ker h (g, h ∈ Z(S))
Pour tout φ satisfaisant im φ ⊆ im g = ker f
Par projectivité d'image ⇒ φ ∈ gS
Donc r.ann_S(f) = gS
Symétriquement, fS = r.ann_S(h)
(2) Preuve :
Soit r.ann_S(f) = gS, fS = r.ann_S(h) (g, h ∈ Z(S))
Alors g ∈ r.ann_S(f) ⇒ im g ⊆ ker f
Pour x ∈ ker f, par génération de noyaux :
x ∈ Σ im γ_i, où γ_i ∈ r.ann_S(f) = gS
⇒ im γ_i ⊆ im g
⇒ ker f = im g
Symétriquement on obtient im f = ker h
(3) Preuve :
(a)⇒(b) : Découle de la définition
(b)⇒(c) : Par (1), et les générateurs sont idempotents
Innovation : Précise que la projectivité d'image et la génération de noyaux sont des conditions indispensables, et non automatiquement satisfaites pour tous les modules projectifs.
Pourquoi c'est efficace :
La projectivité d'image assure la transformation géométrie-algèbre (inclusion de sous-modules ⇔ inclusion d'idéaux)
La génération de noyaux assure que les noyaux peuvent être représentés par les images d'éléments centraux
Ensemble, elles garantissent la transformation bidirectionnelle entre modules et anneaux
Innovation : Utilise la régularité von Neumann du centre pour réaliser le remplacement par des idempotents, établissant ainsi la symétrie gauche-droite.
Détails techniques :
Pour un élément central c, il existe un idempotent central e tel que cZ(R) = eZ(R)
Les annulateurs des idempotents ont une forme simple : r.ann(e) = (1-e)R
Cela simplifie considérablement l'analyse des conditions de chaîne
Innovation (cœur du Théorème 2.8) : Construit une séquence d'idempotents orthogonaux et utilise la semi-primalité pour exclure les chaînes infinies ascendantes.
Cadre de preuve :
Supposons que la chaîne g₁R ⊆ g₂R ⊆ ... n'est pas stable
Construisons e_k = g_k(1 - g_{k-1}) (idempotents orthogonaux)
Alors (ae_k)^k = 0 pour tous les k
Considérons J = ⊕ Re_k (somme directe d'idéaux non nuls)
J est un idéal nilpotent ⇒ Contradiction avec la semi-primalité
Donc la chaîne doit être stable
Note : Cet article est un article de mathématiques pures théoriques et ne contient pas de section expérimentale. Le contenu suivant concerne la vérification théorique et l'analyse d'exemples.
La projectivité d'image transforme les conditions géométriques (inclusions de sous-modules) en conditions algébriques (inclusions d'idéaux), ce qui constitue le pont entre modules et anneaux.
La génération de noyaux assure que les noyaux peuvent être représentés par les images d'endomorphismes, ce qui est la clé pour revenir des anneaux aux modules.
Manifestation concrète :
ker f peut être engendré par {im γ | γ ∈ r.ann_S(f)}
Combinée avec r.ann_S(f) = gS, on obtient ker f = im g
Limitation : De nombreux résultats dépendent de la régularité du centre, et la généralisation aux anneaux non-commutatifs nécessite une analyse plus fine.
Cet article est un article de mathématiques pures théoriques de haute qualité, apportant des contributions importantes à la théorie des anneaux et modules :
✅ Corrige rigoureusement les erreurs de la littérature, fournissant les conditions nécessaires et suffisantes exactes
✅ Généralise les résultats classiques, étendant le théorème de Lee-Zhou au cas quasi-morphe centralement
✅ Établit une théorie systématique, caractérisant complètement les correspondances module-anneau
✅ Techniques de preuve élégantes, démontrant des intuitions algébriques profondes
⚠️ Scénarios d'application à renforcer, caractère théorique marqué mais applications pratiques peu évidentes
⚠️ Méthodes computationnelles manquantes, absence d'algorithmes et d'analyse de complexité
Audience recommandée : Chercheurs en théorie des anneaux, théorie des modules, algèbre non-commutative ; mathématiciens intéressés par les structures morphes et la théorie de la régularité.