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
Центральная квазиморфность, центральная морфность и сильная π-регулярность
В данной статье уточняются отношения между центрально квазиморфными (centrally quasi-morphic) модулями и центрально морфными (centrally morphic) модулями, исправляются ошибки эквивалентности из ранней литературы и расширяются результаты на более широкую модульную теорию. Основные результаты включают:
Модульные эквивалентности: Если модуль M является образно-проективным (image-projective) и порождает свои ядра (generates its kernels), то следующие условия эквивалентны: M центрально морфен, M центрально квазиморфен, его кольцо эндоморфизмов S=End_R(M) является правым центрально морфным.
Результаты теории колец: Если R является полупростым (semiprime) правым центрально квазиморфным кольцом и его центр Z(R) является регулярным по фон Нейману, то R является сильно π-регулярным.
Модульное обобщение: При надлежащих условиях образно-проективный модуль M является сильно π-эндоморфно регулярным тогда и только тогда, когда его кольцо эндоморфизмов S полупросто и M центрально квазиморфен.
Основная проблема, которую решает данная статья, заключается в исправлении и совершенствовании фундаментальных эквивалентностей в теории морфных модулей (morphic modules), в частности:
Точное соотношение между центральной квазиморфностью и центральной морфностью
Как морфные свойства модуля трансформируются в морфные свойства его кольца эндоморфизмов
Структурная связь между центральной квазиморфностью и сильной π-регулярностью
Основная задача данной работы состоит в установлении двусторонних соответствий между объектами модульной теории (модуль M и его подмодульная структура) и алгебраическими объектами (кольцо эндоморфизмов S и его идеальная структура), включая:
Входные данные:
Модуль M и его кольцо эндоморфизмов S = End_R(M)
Структурные свойства модуля (образно-проективность, порождение ядер)
Условия регулярности кольца (регулярность центра по фон Нейману, полупростота)
Выходные данные:
Эквивалентные характеризации морфных свойств
Необходимые и достаточные условия для сильной π-регулярности
Ограничения:
Все кольца являются ассоциативными кольцами с единицей
Все модули являются правыми модулями (если не указано иное)
Модуль: M центрально квазиморфен, если для каждого f ∈ S существуют g, h ∈ Z(S) (центр) такие, что ker f = im g и im f = ker h
Кольцо: R является правым центрально квазиморфным, если для каждого a ∈ R существуют центральные элементы b, c ∈ Z(R) такие, что r.ann_R(a) = bR и aR = r.ann_R(c)
Формулировка: Пусть M — правый R-модуль, S = End_R(M).
(1) Если M центрально квазиморфен и образно-проективен ⇒ S является правым центрально квазиморфным и M порождает свои ядра
(2) Если M образно-проективен и порождает свои ядра, и S является правым центрально квазиморфным ⇒ M центрально квазиморфен
(3) Если M образно-проективен и порождает свои ядра, то эквивалентны:
(a) M центрально морфен
(b) M центрально квазиморфен
(c) S является правым центрально морфным
Идея доказательства:
(1) Доказательство:
Пусть ker f = im g, im f = ker h (g, h ∈ Z(S))
Для любого φ такого, что im φ ⊆ im g = ker f
По образно-проективности ⇒ φ ∈ gS
Следовательно, r.ann_S(f) = gS
Симметрично получаем fS = r.ann_S(h)
(2) Доказательство:
Пусть r.ann_S(f) = gS, fS = r.ann_S(h) (g, h ∈ Z(S))
Тогда g ∈ r.ann_S(f) ⇒ im g ⊆ ker f
Для x ∈ ker f, по порождению ядер:
x ∈ Σ im γ_i, где γ_i ∈ r.ann_S(f) = gS
⇒ im γ_i ⊆ im g
⇒ ker f = im g
Симметрично получаем im f = ker h
(3) Доказательство:
(a)⇒(b): Определение очевидно
(b)⇒(c): По (1), и образующие элементы идемпотентны
Инновация: Явное указание того, что образно-проективность и порождение ядер являются неотъемлемыми условиями, а не автоматически выполняются для всех проективных модулей.
Почему это работает:
Образно-проективность обеспечивает преобразование подмодульных включений ⇔ идеальные включения
Порождение ядер гарантирует, что ядра могут быть представлены через образы центральных элементов
Вместе они обеспечивают двусторонние преобразования между модулем и кольцом
Примечание: Данная статья является чистой теоретической математической работой и не содержит экспериментальной части. Ниже приведены теоретическая верификация и анализ примеров.
Образно-проективность преобразует геометрические условия (включения подмодулей) в алгебраические условия (включения идеалов), что является мостом между модулем и кольцом.
Данная работа является высококачественной чистой математической теоретической статьёй, вносящей важный вклад в теорию колец и модулей:
✅ Строгое исправление ошибок литературы, предоставление точных необходимых и достаточных условий
✅ Обобщение классических результатов, расширение теоремы Lee-Zhou на центрально квазиморфный случай
✅ Установление систематической теории, полная характеризация модульно-кольцевых соответствий
✅ Изящные техники доказательства, демонстрация глубоких алгебраических идей
⚠️ Требуется усиление применения, теория сильна, но практическое применение неочевидно
⚠️ Отсутствуют вычислительные методы, нет алгоритмов и анализа сложности
Рекомендуемая аудитория: Исследователи в области теории колец, теории модулей, некоммутативной алгебры; математики, интересующиеся морфными структурами и теорией регулярности.