О модулях, чьи чистые подмодули существенны в прямых слагаемых

Основная информация

• ID статьи: 2510.27450
• Название: On Modules Whose Pure Submodules Are Essential in Direct Summands
• Авторы: Kaushal Gupta, Theophilus Gera, Amit Sharma, Ashok Ji Gupta
• Классификация: math.RA (кольца и алгебра)
• Дата публикации: 31 октября 2025 г. (препринт arXiv)
• Ссылка на статью: https://arxiv.org/abs/2510.27450

Аннотация

В данной работе вводится понятие чистых расширяющих модулей (pure extending modules), представляющее собой уточнение классического понятия расширяющего модуля, требующее лишь, чтобы чистые подмодули были существенны в прямых слагаемых. Устанавливаются фундаментальные свойства и характеризации; доказывается, что на фон Неймановых регулярных кольцах чистые расширяющие модули совпадают с расширяющими модулями. В качестве приложения показано, что чистые расширяющие модули допускают схемы разложения, аналогичные классической теории, включая обобщение теоремы Ософского-Смита: циклические модули, все истинные фактормодули которых чисто расширяющие, разлагаются в прямую сумму конечного числа чисто неразложимых подмодулей. Кроме того, путём построения примера центрально квазиморфного модуля, не являющегося центрально морфным, решается открытая проблема, поставленная Дехгани и Седагатджу.

Исследовательский контекст и мотивация

Проблемы, которые необходимо решить

Данная работа направлена на решение трёх ключевых проблем в теории модулей:

1. Проблема структурной жёсткости расширяющих модулей: Классические расширяющие модули требуют, чтобы все подмодули были существенны в прямых слагаемых — это условие слишком строго в контексте гомологической чистоты, связанной с плоскостью, делимостью или сохранением точности при тензорном произведении.
2. Проблема замкнутости относительно прямых сумм: Давно открытый вопрос о том, является ли конечная прямая сумма расширяющих модулей расширяющим модулем (Вопрос 1.1(1)), и может ли модуль, все фактормодули которого расширяющие, разложиться в прямую сумму конечного числа неразложимых модулей (Вопрос 1.1(2)).
3. Проблема центральности морфных модулей: Открытая проблема, поставленная Дехгани и Седагатджу 8: является ли каждый центрально квазиморфный модуль обязательно центрально морфным?

Важность проблем

1. Теоретическое значение: Теория расширяющих модулей является основой теории разложения модулей и тесно связана с теорией кручения, чистотой и гомологической алгеброй. Уточнение этого понятия делает его более адекватным гомологическому фреймворку.
2. Анализ структуры: Фундаментальные работы фон Неймана по непрерывной геометрии и анализ Утуми показывают глубокое влияние исследований существенных вложений и структур прямых слагаемых.
3. Прикладная ценность: Связь морфных модулей с модулями Рикарта предоставляет инструменты для понимания регулярности колец эндоморфизмов.

Ограничения существующих подходов

1. Чрезмерная строгость классических расширяющих модулей: Во многих алгебраических контекстах, особенно связанных с гомологической чистотой, требование того, чтобы все подмодули существенно вкладывались в прямые слагаемые, нереалистично.
2. Незамкнутость относительно прямых сумм: Хотя Биркенмайер и др. доказали, что конечная прямая сумма расширяющих модулей является FI-расширяющей, в общем случае она не является расширяющей.
3. Недостаточное использование перспективы чистоты: Существующая теория не полностью использует специальные свойства чистых подмодулей (подмодулей, сохраняющих точность при тензорном произведении).

Исследовательская мотивация

Основная мотивация данной работы состоит в ослаблении классического условия C1 посредством концепции чистоты, что позволяет:

• Расширить класс изучаемых модулей, сохраняя свойства разложения
• Установить гомологические аналоги чисто точных разложений
• Использовать хорошие свойства чистоты (такие как поведение в прямых слагаемых) для решения классических проблем

Основные вклады

1. Введение понятия чистого расширяющего модуля: Определены чистые расширяющие модули (pure extending modules), требующие лишь, чтобы чистые подмодули были существенны в прямых слагаемых — это естественное ослабление классических расширяющих модулей.
2. Установление фундаментальной теории:
   • Доказано, что на фон Неймановых регулярных кольцах чистые расширяющие модули совпадают с расширяющими модулями (Предложение 2.8)
   • Показано, что класс чистых расширяющих модулей замкнут относительно конечных прямых сумм (Теорема 2.10)
   • Даны многочисленные характеризации (Предложения 2.7, 2.14, Теорема 2.15)
3. Введение RD-чистых расширяющих модулей: Определены RD-чистые расширяющие модули, основанные на элементной делимости, которые строго содержат класс чистых расширяющих модулей, предоставляя более гибкий фреймворк (Пример A.1).
4. Обобщение теоремы Ософского-Смита: Доказано, что циклические модули, все истинные фактормодули которых чисто расширяющие, разлагаются в прямую сумму конечного числа чисто неразложимых подмодулей (Теорема 3.2), что частично отвечает на Вопрос 1.1(2).
5. Решение открытой проблемы:
   • Построен контрпример, показывающий, что центрально квазиморфный модуль не обязательно является центрально морфным (Пример 3.22)
   • Указаны ошибки в нескольких предложениях из 8 (Замечание 3.23)
   • В случае конечно порождённых, неособых, чисто расширяющих модулей доказана эквивалентность этих двух понятий (Предложение 3.20)
6. Установление связи с Σ-модулями Рикарта: Доказано, что конечно порождённые неособые чистые расширяющие модули над нётеровыми кольцами являются Σ-модулями Рикарта (Теорема 3.19).

Подробное описание методов

Определение основных понятий

Определение 2.1 (Чистый расширяющий модуль): Модуль $M$ называется чисто расширяющим, если каждый чистый подмодуль $M$ существенен в некотором прямом слагаемом $M$.

Здесь чистый подмодуль $P \leq M$ — это подмодуль такой, что для всех идеалов $I \subseteq R$ выполняется $IP = IM \cap P$. Подмодуль $N$ существенен в $M$ (обозначается $N \leq_e M$), если каждый ненулевой подмодуль $M$ нетривиально пересекается с $N$.

Определение 2.16 (RD-чистый расширяющий модуль): Подмодуль $P \leq M$ называется относительно делимым (RD-pure), если для каждого $r \in R$ выполняется $rP = rM \cap P$. Модуль $M$ называется RD-чисто расширяющим, если каждый RD-чистый подмодуль существенен в прямом слагаемом.

Теоретический фреймворк

1. Иерархия структур

В работе устанавливаются следующие импликации:

Инъективный ⟹ Квазиинъективный ⟹ Расширяющий
     ⇓              ⇓                  ⇓
Чисто инъективный ⟹ Квазичисто инъективный ⟹ Чисто расширяющий

В общем случае эти импликации необратимы (Пример 2.2).

2. Фундаментальные свойства

Предложение 2.3: Прямые слагаемые чистого расширяющего модуля являются чисто расширяющими.

Идея доказательства: Пусть $M = N \oplus N'$, $P \leq N$ — чистый подмодуль в $N$. Так как расщепляющееся вложение чисто, $P$ чист в $M$. По чистой расширяемости существует $D \leq^{\oplus} M$ такой, что $P \leq_e D$. Стандартными модульными аргументами $D \cap N$ является прямым слагаемым $N$ и $P \leq_e (D \cap N)$.

Теорема 2.10 (Замкнутость относительно конечных прямых сумм): $M = M_1 \oplus M_2$ чисто расширяющий тогда и только тогда, когда $M_1$ и $M_2$ оба чисто расширяющие.

Ключевые моменты доказательства:

• (⇒) Следует немедленно из Предложения 2.3
• (⇐) Пусть $P \leq M$ чист, тогда $\pi_i(P)$ чист в $M_i$. Существуют $D_i \leq^{\oplus} M_i$ такие, что $\pi_i(P) \leq_e D_i$. Положим $D = D_1 \oplus D_2$ и проверим $P \leq_e D$: для любого $0 \neq (d_1, d_2) \in D$, если $d_1 \neq 0$, то по $\pi_1(P) \leq_e D_1$ существует $r$ такой, что $0 \neq d_1r \in \pi_1(P)$; посредством тщательного анализа доказывается $P \cap (d_1, d_2)R \neq 0$.

Замечание: Этот результат не обобщается на бесконечные прямые суммы (Пример 2.11).

3. Характеризации через кольца

Предложение 2.8: Пусть $R$ — фон Нейманово регулярное кольцо, тогда правый $R$-модуль $M$ чисто расширяющий тогда и только тогда, когда он расширяющий.

Обоснование: На фон Неймановых регулярных кольцах каждый модуль плоский, поэтому каждый подмодуль чист.

Предложение 2.14: Следующие условия эквивалентны:

1. $R$ — фон Нейманово регулярное кольцо
2. Каждый чисто расширяющий правый $R$-модуль плоский

Теорема 2.15: Следующие условия эквивалентны:

1. $R$ — полупростое кольцо
2. Каждый чисто C3-модуль проективен
3. Каждый чисто C2-модуль проективен
4. Каждый квазичисто инъективный модуль проективен
5. Каждый чисто инъективный модуль проективен
6. Каждый чисто расширяющий модуль проективен

Технические инновации

1. Точное использование чистоты: Путём различения идеальной чистоты ($IP = IM \cap P$) и элементной чистоты ($rP = rM \cap P$) устанавливается двухуровневая теория.
2. Применение результатов Филдхауса: Используется классический результат о том, что на плоских модулях чистота совпадает с RD-чистотой (Предложение 2.19, Следствие 2.20).
3. Монотонность оператора очистки: При доказательстве теорем разложения используется монотонность оператора очистки $\text{Pur}(-)$ для контроля убывающих цепей (Предложение 3.7).
4. Условия на кольцо эндоморфизмов: Посредством сильной π-регулярности эндоморфизмов (Предложение 3.12) устанавливается связь между свойствами морфности и свойствами разложения.

Приложения: теория разложения

Обобщение теоремы Ософского-Смита

Исторический контекст: Ософский и Смит 31 доказали:

Теорема 3.1: Пусть $M$ — циклический модуль, если каждый циклический подмодуль $M$ полностью расширяющий, то $M$ — прямая сумма конечного числа неразложимых модулей.

Здесь полная расширяемость означает, что все фактормодули расширяющие, что значительно сильнее чистоты.

Основные результаты

Теорема 3.2: Пусть $M$ — циклический модуль, если каждый циклический фактормодуль $M$ чисто расширяющий, то $M$ — прямая сумма конечного числа чисто неразложимых подмодулей.

Стратегия доказательства:

1. Артиновость кольца эндоморфизмов (Теорема 3.3): Доказывается, что если все фактормодули циклического модуля артиновы относительно эндоморфизмов, то сам модуль артинов относительно эндоморфизмов.
   Доказательство: Предположим противное — существует строго убывающая цепь $M = f_0(M) \supsetneq f_1(M) \supsetneq \cdots$. Положим $N = \bigcap_i f_i(M)$, тогда $M/N$ наследует соответствующую убывающую цепь, противоречие.
2. Чистая неразложимость (Предложение 3.4): Каждый ненулевой чистый подмодуль неразложимого чисто расширяющего модуля чисто существенен.
   Доказательство: Пусть $P \leq M$ ненулевой чист, $X \leq P$ ненулевой чист. По чистой расширяемости существует $D \leq^{\oplus} M$ такой, что $X \leq_e D$. По неразложимости $D = M$, следовательно $X \leq_e M$.
3. Конечное разложение (Теорема 3.6): Чисто расширяющий артинов относительно эндоморфизмов модуль разлагается в прямую сумму конечного числа чисто неразложимых подмодулей.
4. Артиновость фактормодулей (Предложение 3.7): Доказывается, что каждый циклический фактормодуль циклического чисто расширяющего модуля артинов относительно эндоморфизмов; ключевое использование конечности размерности неразложимости и свойств оператора очистки.

Следствие 3.8: На фон Неймановых регулярных кольцах, если все циклические фактормодули циклического модуля расширяющие, то модуль — прямая сумма конечного числа неразложимых модулей.

Приложения: теория морфных модулей

Фоновые понятия

Модули Рикарта: $M$ называется модулем Рикарта, если для каждого $f \in \text{End}(M)$ выполняется $\ker(f) = eM$ для некоторого идемпотента $e^2 = e$.

Σ-модули Рикарта: $M$ называется Σ-модулем Рикарта, если каждая прямая сумма $M$ является модулем Рикарта; эквивалентно, для любого множества $I$ и $f \in \text{End}(M^I)$ существует конечное $J \subseteq I$ такое, что $\ker(f) \leq^{\oplus} M^J$.

Центрально квазиморфные модули: $M$ называется центрально квазиморфным, если для каждого $f \in \text{End}(M)$ существуют центральные элементы $g, h \in \text{Cent}(\text{End}(M))$ такие, что $\ker(f) = \text{Im}(g)$ и $\text{Im}(f) = \ker(h)$. Если можно выбрать $g = h$, то модуль называется центрально морфным.

Основные результаты

Теорема 3.19: Пусть $R$ — правое нётерово кольцо, $M$ — конечно порождённый, неособый, чисто расширяющий правый $R$-модуль, тогда $M$ — Σ-модуль Рикарта.

Ключевые моменты доказательства:

1. Пусть $X = M^{(I)}$, $f \in \text{End}(X)$, $K = \ker f$
2. Положим $\overline{K} = \text{Pur}(K)$ — очистку $K$
3. По чистой расширяемости $\overline{K} \leq_e D$ для некоторого $D \leq^{\oplus} X$
4. Доказывается $K = \overline{K}$: если нет, то существует конечно порождённый подмодуль $F$ такой, что $(F \cap \overline{K})/(F \cap K)$ ненулевой и конечно представимый, но $X/K$ неособый, противоречие
5. Доказывается $D = K$: для $y \in D$ выбираем конечно порождённый $F \leq D$ содержащий $y$. $F \cap K$ чист в $F$ и существенен, по конечной представимости $F \cap K = F$

Предложение 3.20: Пусть $R$ — нётерово кольцо, $M$ — конечно порождённый, неособый, чисто расширяющий модуль, тогда $M$ центрально квазиморфен тогда и только тогда, когда он центрально морфен.

Идея доказательства:

1. По Теореме 3.19, $M$ — Σ-модуль Рикарта
2. По 22, Предложение 4.3, $\text{End}(M)$ — правое полунаследственное кольцо
3. Доказывается, что $\text{End}(M)$ — фон Нейманово регулярное: каждый главный правый идеал $fS$ проективен, следовательно порождается идемпотентом
4. Поэтому $M$ — самодуально регулярный
5. По результатам 8, самодуально регулярный и центрально квазиморфный влекут сильную самодуальную регулярность, что влечёт центральную морфность

Построение контрпримера

Пример 3.22: Пусть $k$ — поле, $R = k[x]/(x^2)$, $M = R$ как правый $R$-модуль.

• $\text{End}_R(M) \cong R$ (через $r \mapsto (s \mapsto sr)$), и $R$ коммутативно, поэтому каждый эндоморфизм централен
• Идеалы $R$ — это $\{0, \overline{x}R, R\}$
• Для эндоморфизма умножения на $a \in R$:
  • Если $a$ — единица: $(\text{Im}(f), \ker(f)) = (R, 0)$
  • Если $a = 0$: $(0, R)$
  • Если $a = \lambda\overline{x}$, $\lambda \neq 0$: $(\overline{x}R, \overline{x}R)$

Поэтому $M$ центрально квазиморфен.

Но $M$ не центрально морфен: единственные идемпотенты $R$ — это 0 и 1, соответствующие центральные идемпотентные эндоморфизмы могут дать только $eM \in \{0, M\}$, не могут дать $\overline{x}R$.

Значимость: Этот пример показывает, что некоторые утверждения в 8, Предложение 2.2, Следствие 2.3, Предложение 3.11 не верны в общем случае.

Экспериментальные результаты (теоретическая верификация)

Поскольку это чистая математическая теоретическая работа, "экспериментов" в традиционном смысле нет, но теория проверяется через многочисленные примеры:

Основные проверки

1. Чистые расширяющие строго содержат расширяющие (Пример 2.2):
   • $M = \mathbb{Z}_2 \oplus \mathbb{Z}_8$ чисто расширяющий но не расширяющий
   • Примеры на матричных кольцах
2. Ненаследственность (Пример 2.5):
   • $A = \bigoplus_{n \geq 1} \mathbb{Z}/p^n\mathbb{Z}$ имеет чистую подгруппу $U$, не являющуюся прямым слагаемым, поэтому не чисто расширяющая
   • Но $E(A)$ (инъективная оболочка) чисто расширяющая
3. Отказ для бесконечных сумм (Пример 2.11):
   • $M = \bigoplus_{i=1}^{\infty} \mathbb{Z}$
   • $P = \{(n_i) \mid \sum n_i = 0\}$ чист но не существенен в каком-либо прямом слагаемом
4. RD-чистота строго содержит чистоту (Пример A.1):
   • $M = \mathbb{Z}(p^{\infty}) \oplus \mathbb{Z}/p\mathbb{Z}$
   • $U = \langle(y, x)\rangle$ чист но не RD-чист в требуемом смысле
   • Детальная проверка трёх случаев доказывает, что $M$ RD-чисто расширяющий

Значимость контрпримеров

Пример 3.22 имеет тонкую конструкцию:

• Выбор $R = k[x]/(x^2)$ обеспечивает локальное кольцо, но не полупростое и не фон Нейманово регулярное
• Использование того, что $\overline{x}R$ одновременно ядро и образ, но не может быть порождено центральным идемпотентом
• Это показывает необходимость предположения "конечно порождённый" в Следствии 3.21

Связанные работы

Историческое развитие

1. Истоки теории расширяющих модулей:
   • Фундаментальные работы фон Неймана по непрерывной геометрии
   • Утуми 32: левые идеалы, существенно содержащиеся в проективных прямых слагаемых
   • Джереми 17 и Чаттерс-Хаджарнавис 7: CS-модули ("дополнение — прямое слагаемое")
   • Харада: введение термина "extending module"
   • Мюллер 28: систематизация условий C1, C2, C3
2. Теория чистоты:
   • Филдхаус 11, 12: теория чистоты, PDS-кольца
   • Азумая-Фачини 4: чистые инъективные оболочки
   • Харманчи и др. 15: чистые инъективные профили
3. Модули Рикарта:
   • Ли-Ризви-Роман 24-26: модули Рикарта и двойственные модули Рикарта
   • Ли-Барсенас 22: Σ-модули Рикарта
4. Морфные модули:
   • Николсон-Кампос 29, 30: морфные модули
   • Камилло-Николсон 6: квазиморфные кольца
   • Дехгани-Седагатджу 8: центрально морфные модули (в этой работе указаны ошибки)

Инновации данной работы

1. Концептуальная инновация: Первое систематическое исследование чистых расширяющих модулей, заполняющее пробел между расширяющими модулями и чисто инъективными модулями.
2. Методологическая инновация:
   • Комбинированный анализ чистоты и существенности
   • Использование артиновости кольца эндоморфизмов для контроля разложения
   • Применение монотонности оператора очистки для работы с убывающими цепями
3. Результативная инновация:
   • Обобщение теоремы Ософского-Смита при более слабых предположениях
   • Установление глубокой связи между чистыми расширяющими модулями и Σ-модулями Рикарта
   • Решение открытой проблемы из 8 и исправление ошибок

Заключение и обсуждение

Основные выводы

1. Чистые расширяющие модули — естественное обобщение расширяющих модулей: Сохраняя ключевые свойства разложения, они адаптируются к гомологическому фреймворку чистоты.
2. Особенность фон Неймановых регулярных колец: На таких кольцах чистые расширяющие модули совпадают с расширяющими, и проблема замкнутости конечных прямых сумм решается положительно.
3. Теоремы разложения: При предположении чистоты поведение разложения циклических модулей аналогично классическому случаю.
4. Тонкие различия в морфности: Различие между центрально квазиморфными и центрально морфными модулями зависит от тонкого взаимодействия конечности, неособости и чистой расширяемости.

Ограничения

1. Бесконечные прямые суммы: Чистая расширяемость не сохраняется при бесконечных прямых суммах (Пример 2.11), что ограничивает применение теории в бесконечномерном случае.
2. Необходимость фон Неймановой регулярности: Необходимо ли предположение фон Неймановой регулярности в Следствии 3.8 полностью не ясно (Замечание 3.9).
3. Предположение конечной порождённости: Можно ли убрать предположение "конечно порождённый" в Следствии 3.21 остаётся неясным (Замечание 3.23(1)).
4. Обратные импликации: Обратное утверждение Теоремы 3.19 (является ли конечно порождённый Σ-модуль Рикарта над нётеровым кольцом чисто расширяющим) остаётся открытым.
5. Конструктивность: Многие результаты существования (например, Пример 2.13(2)) лишены явных конструкций.

Направления будущих исследований

Работа неявно предлагает следующие направления:

1. Условия для бесконечных сумм: Найти необходимые и достаточные условия для сохранения чистой расширяемости при бесконечных прямых суммах.
2. Полная характеризация: На каких классах колец чистые расширяющие модули совпадают с расширяющими?
3. Теория RD-чистоты: Дальнейшее исследование RD-чистых расширяющих модулей, особенно в неплоском случае.
4. Полная картина морфности: Уточнить, какие результаты из 8 можно исправить, какие принципиально ошибочны.
5. Вычислительные методы: Разработать алгоритмы для определения, является ли данный модуль чисто расширяющим.
6. Категорное обобщение: Обобщить понятие чистого расширяющего модуля на категории Гротендика.

Глубокая оценка

Достоинства

1. Естественность концепции: Определение чистого расширяющего модуля естественно объединяет два фундаментальных понятия (чистоту и существенность) и имеет внутреннюю рациональность в гомологическом фреймворке.
2. Полнота теории:
   • Систематическое установление фундаментальных свойств (Предложения 2.3-2.7)
   • Многочисленные эквивалентные характеризации (Предложения 2.8, 2.14, Теорема 2.15)
   • Введение RD-чистого варианта для большей гибкости
3. Строгость доказательств:
   • Каждая теорема имеет полное доказательство
   • Контрпримеры построены точно (Примеры 2.2, 2.5, 2.11, 3.22, A.1)
   • Ошибки в 8 указаны с достаточным обоснованием (Замечание 3.23)
4. Прикладная ценность:
   • Обобщение классических теорем разложения (Теорема 3.2)
   • Решение открытых проблем (Пример 3.22 отвечает на Вопрос 2.14)
   • Установление новых связей (чистая расширяемость ↔ Σ-модули Рикарта, Теорема 3.19)
5. Ясность изложения:
   • Логичная структура (свойства → характеризации → приложения)
   • Явная мотивация (подробное введение с контекстом)
   • Богатство примеров (13 примеров/контрпримеров)

Недостатки

1. Техническая сложность:
   • Требует глубокого фона в теории модулей для полного понимания
   • Некоторые доказательства (например, Теорема 3.19) очень технические, что ограничивает читаемость
2. Ограниченность приложений:
   • Основные результаты сосредоточены на нётеровых кольцах и фон Неймановых регулярных кольцах
   • Меньше результатов для общих колец
3. Открытые проблемы:
   • Остаётся несколько нерешённых вопросов (например, Замечание 3.9, Замечание 3.23(1))
   • Необходимость некоторых предположений не полностью ясна
4. Вычислительный аспект:
   • Отсутствуют алгоритмы или эффективные критерии для проверки
   • Сложно проверить чистую расширяемость в конкретных примерах
5. Связь с другими теориями:
   • Связь с теорией наклонов и производными категориями не исследована
   • Отношение к теории представлений может быть более глубоким

Влияние на область

Вклад в дисциплину:

1. Концептуальный вклад: Чистые расширяющие модули могут стать стандартным понятием в теории модулей, как и расширяющие модули.
2. Методологический вклад: Применение оператора очистки в теории разложения (Предложение 3.7) предоставляет новый инструмент.
3. Корректирующий вклад: Указание ошибок в 8 важно для здорового развития области.

Практическая ценность:

1. Теоретический инструмент: Предоставляет новую перспективу для исследования разложения модулей, особенно в контексте чистоты.
2. Критерии классификации: Результаты типа Теоремы 2.15 предоставляют модульные характеризации свойств колец.
3. Библиотека контрпримеров: Построенные контрпримеры (особенно Пример 3.22) имеют справочную ценность для будущих исследований.

Воспроизводимость:

• Высокая: Все результаты имеют полные доказательства на основе стандартной теории модулей
• Контрпримеры построены явно и могут быть проверены
• Ссылки на литературу полные, что облегчает отслеживание

Области применения

1. Теоретические исследования:
   • Теория разложения модулей
   • Исследование чистоты в гомологической алгебре
   • Теория структуры колец эндоморфизмов
2. Классификация колец:
   • Характеризация колец через свойства модулей (как в Предложениях 2.8, 2.14, Теореме 2.15)
   • Исследование специальных классов колец (фон Неймановы регулярные кольца, PDS-кольца, правые perfect-кольца)
3. Теория представлений:
   • Исследование структуры категорий модулей алгебр
   • Теория наклонов с условиями чистоты
4. Категорная теория:
   • Чистота в категориях Гротендика
   • Инварианты при эквивалентности Мориты (Предложение 2.9)
5. Коммутативная алгебра:
   • Хотя работа сосредоточена на некоммутативном случае, примеры типа Примера 3.22 показывают применимость в коммутативной алгебре

Избранные ссылки

Ключевые цитирования:

• 7 Чаттерс и Хаджарнавис (1977): исходное определение CS-модулей
• 8 Дехгани и Седагатджу (2025): центрально морфные модули (в этой работе указаны ошибки)
• 11, 12 Филдхаус (1969, 1970): основы теории чистоты
• 20, 21 Лам (1999, 2001): стандартные учебники по теории модулей
• 22 Ли и Барсенас (2020): Σ-модули Рикарта
• 28 Мохаммед и Мюллер (1990): систематизация C-условий
• 31 Ософский и Смит (1991): исходная теорема разложения
• 33 Висбауэр (1991): справочник по теории модулей и колец

Общая оценка: Это высококачественная теоретическая работа по чистой математике, вносящая существенный вклад в классическую область теории модулей. Введением понятия чистого расширяющего модуля авторы успешно построили мост между теорией расширяющих модулей и теорией чистоты, обобщили классические результаты, решили открытые проблемы и исправили ошибки в литературе. Теоретическая глубина, строгость доказательств и прикладная ценность работы соответствуют стандартам высокоуровневых научных журналов. Несмотря на некоторую техническую сложность и оставшиеся открытые вопросы, именно они указывают направления для будущих исследований. Для специалистов в области теории модулей и теории колец это важная работа, достойная внимательного изучения.