WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!

Pages:     || 2 |
Сибирский математический журнал Январь февраль, 2004. Том 45, № 1 УДК 512.553 T–РАДИКАЛЫ И E–РАДИКАЛЫ В КАТЕГОРИИ МОДУЛЕЙ Е. А. Тимошенко Аннотация: Вводится два класса радикалов, задаваемых при помощи тензорного произведения модулей и модульных гомоморфизмов. Установлены некоторые свойства этих радикалов и их связи со свойствами притягивающих модулей.

Ключевые слова: модуль, радикал, тензорное произведение, гомоморфизм, кручение, кокручение В работе исследуются свойства двух классов радикалов, определенных в категории модулей: E-радикалов и T-радикалов. Первое из этих понятий возникло в [1] и тесно связано с E-модулями. Понятие E-модуль, с тех пор, как оно впервые появилось в статье [2], подверглось значительному обобщению; дополнительно к этому, двойственным образом было введено понятие T-модуля [3].

В данной работе перечисленные понятия используются в максимально общем виде, особенно в § 1. В § 2 показана связь результатов § 1 с понятиями T-модулей и E-модулей.

Все встречающиеся в работе кольца ассоциативные с единицей, модули унитарные. На протяжении всего изложения F будет обозначать некоторый фиксированный левый модуль, а V правый. Все остальные модули, если не оговорено обратное, будем считать правыми. В § 1 рассматриваются лишь модули над некоторым кольцом S, в § 2 как над кольцом S, так и еще над одним кольцом R. Там, где будет нужно отличать правые объекты от соответствующих левых, последние будут помечаться штрихами. Категории правых и левых S-модулей обозначаются mod-S и S-mod соответственно. Точно так же мы будем обозначать и классы объектов этих категорий.

§ 1. T(F )-радикалы и E(V )-радикалы В этом параграфе рассматриваются модули над кольцом S. Пусть F левый S-модуль.

Определение 1.1. S-модуль A называется T(F )-модулем, если выполнено A S F = 0. Класс всех T(F )-модулей обозначим через T (F ).

Предложение 1.2. Класс T (F ) замкнут относительно (а) гомоморфных образов;

(б) расширений;

(в) прямых сумм.

Доказательство. Точная последовательность S-модулей 0 - B - A - A/B - © 2004 Тимошенко Е. А.

202 Е. А. Тимошенко индуцирует точную последовательность абелевых групп B S F - A S F - (A/B) S F - 0.

(а) Из равенства A S F = 0 сразу следует, что (A/B) S F = 0. Таким образом, T (F ) замкнут относительно гомоморфных образов.

(б) Требуемое утверждение следует из того факта, что если B S F = 0 и (A/B) S F = 0, то A S F = 0.

(в) Допустим, что для всякого i I выполнено Ai T (F ). В этом случае Ai S F (Ai S F ) = 0, = iI iI откуда следует замкнутость относительно прямых сумм.

Пример 1.3. Покажем, что класс всех T(F )-модулей, вообще говоря, не является замкнутым относительно прямых произведений. Действительно, пусть S совпадает с кольцом целых чисел Z и F = Q аддитивная группа всех рациональных чисел. Тогда, очевидно, квазициклическая группа A = Z(p) является T(F )-модулем (T(F )-группой). Зададим группу B как прямое произведение некоторого бесконечного семейства копий группы A. Очевидно, что группа B будет делимой, но не периодической. Поэтому (в силу структурной теоремы, описывающей строение делимых групп) B имеет прямое слагаемое, изоморфное Q. Отсюда B Q = 0 и, следовательно, B T (F ).

/ Пусть V правый S-модуль.

Определение 1.4. S-модуль A называется E(V )-модулем, если имеет место равенство HomS(V, A) = 0. Класс всех E(V )-модулей обозначим через E (V ).

Справедливо следующее Предложение 1.5. Класс E (V ) замкнут относительно (а) подмодулей;

(б) расширений;

(в) прямых произведений.

Отсюда, в частности, следует, что класс всех E(V )-модулей замкнут относительно прямых сумм.

Напомним несколько определений из теории радикалов (см. [4, 5]).

Определение 1.6. Говорят, что в категории mod-S задан предрадикал, если каждому S-модулю A поставлен в соответствие его подмодуль (A) так, что для любого S-гомоморфизма : A B выполняется соотношение ((A)) (B).

Пусть предрадикал. Класс всех S-модулей A, для которых выполнено (A) = A, назовем -радикальным; класс, определяемый условием (A) = 0, -полупростым.

Рассмотрим следующие (возможные) свойства предрадикала :

Р1. ((A)) = (A) для любого A mod-S.

Р1*. (A/(A)) = 0 для любого A mod-S.

Р2. (B) = B (A) для любого A mod-S и B A.

Р2*. (A/B) = ((A) + B)/B для любого A mod-S и B A.

T-радикалы и E-радикалы в категории модулей Определение 1.7. Предрадикал, удовлетворяющий условию Р1, называется идемпотентным. Предрадикал называется радикалом, если для него выполнено условие Р1*. Предрадикал, который удовлетворяет условиям Ри Р1*, называется идемпотентным радикалом.

Определение 1.8. Предрадикал называется кручением (кокручением), если он удовлетворяет условиям Р2 и Р1* (соответственно Р2* и Р1).

Из определений несложно вывести, что всякое кручение (кокручение) является идемпотентным радикалом. Далее, если идемпотентный предрадикал, то условие Р2 равносильно замкнутости -радикального класса относительно подмодулей [5, гл. 1, предложение 3.1]. Аналогично если радикал, то условие Р2* эквивалентно замкнутости -полупростого класса относительно гомоморфных образов.

Пусть F левый S-модуль. Через WF (A) обозначим сумму всех подмодулей B модуля A mod-S таких, что B является T(F )-модулем. В этом случае WF является идемпотентным радикалом, а T (F ) его радикальным классом [5, гл. 1, лемма 1.6 и предложение 2.2]. В дальнейшем этот идемпотентный радикал будем для краткости называть T(F )-радикалом.

Допустим, что V правый S-модуль. Символом HV (A) будем обозначать пересечение всех подмодулей B модуля A mod-S таких, что A/B является E(V )-модулем. Тогда HV является идемпотентным радикалом, а его полупростой класс совпадает с классом E (V ) [5]. Далее этот идемпотентный радикал будем называть просто E(V )-радикалом.

Пусть имеется еще один правый S-модуль U.

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

(а) E (U) E (V );

(б) HV (A) HU (A) для всякого A mod-S;

(в) HU (V ) = V.

Доказательство. Импликация (а)(б) получается путем простого сравнения определений HV (A) и HU (A).

(б)(в). Найдем HV (V ). Поскольку HV радикал, можно записать равенство HV (V/ HV (V )) = 0. Следовательно, имеем V/ HV (V ) E (V ), т. е.

HomS(V, V/ HV (V )) = 0, а это возможно лишь тогда, когда HV (V ) = V. В силу нашего предположения получаем отсюда, что HU (V ) = V.

(в)(а). Допустим, что A E (U) и, следовательно, HU (A) = 0. Рассмотрим произвольный S-гомоморфизм : V A. Воспользовавшись равенством HU (V ) = V и определением предрадикала, получаем включение (V ) HU (A), из которого следует, что = 0. Тогда HomS(V, A) = 0 и A E (V ). Итак, выполнено включение E (U) E (V ). Предложение доказано.

Следствие 1.10. Следующие условия эквивалентны:

(а) E (U) = E (V );

(б) HU = HV ;

(в) HU (V ) = V и HV (U) = U.

Пусть F левый S-модуль.

Определение 1.11. Пусть A S-модуль. F -нейтрализатором модуля A назовем множество всех его элементов a, таких, что в тензорном произведении A S F имеем a S f = 0 для всякого f F. Обозначим этот нейтрализатор через nF (A).

204 Е. А. Тимошенко Несложно видеть, что для любого модуля A нейтрализатор nF (A) будет его подмодулем. Далее, пусть : A B гомоморфизм S-модулей, а :

A S F B S F соответствующий индуцированный гомоморфизм групп.

Если a nF (A), то для всякого f F выполнены равенства (a) S f = (a S f) = (0) = 0, т. е. (a) nF (B). Следовательно, (nF (A)) nF (B), поэтому nF предрадикал.

Рассмотрим точную последовательность 0 - nF (A) - A - A/ nF (A) - и индуцированную (вообще говоря, не являющуюся точной) последовательность 0 - nF (A) S F - A S F - (A/ nF (A)) S F - 0. (1) Мы можем переформулировать определение нейтрализатора следующим образом: nF (A) это наибольший подмодуль в A, для которого = 0.

Пользуясь этим определением, получаем, что мономорфизм (на самом деле даже изоморфизм). Допустим, что nF (A/ nF (A)). Тогда для всякого f F имеем (a S f) = S f = 0 и поэтому a S f = 0. Таким образом, a nF (A), откуда сразу следует, что = 0. Следовательно, nF (A/ nF (A)) = 0, аксиома Р1* выполнена, и нейтрализатор является радикалом.

Легко убедиться в справедливости эквивалентностей WF (A) = A A T (F ) A S F = 0 nF (A) = A.

В соответствии с определением T(F )-радикала, из [5, гл. 1, предложение 1.8] получаем, что WF наибольший из всех идемпотентных радикалов (более того, даже идемпотентных предрадикалов) таких, что (A) nF (A) для всех A mod-S. Поэтому всегда имеет место включение WF (A) nF (A). Легко показать, что обратное включение справедливо не всегда, т. е. идемпотентным радикал nF, вообще говоря, не является.

Пример 1.12. Пусть S кольцо целых чисел, F = Z(p) циклическая группа простого порядка и A = Z бесконечная циклическая группа. Несложно видеть, что nF (A) = pA, но WF (A) = 0.

Предложение 1.13. Пусть F плоский модуль. Тогда (а) nF (A) = WF (A) для любого A mod-S;

(б) WF кручение.

Доказательство. Из определения плоского модуля следует, что последовательность (1) является точной. Из условия = 0 получаем равенство nF (A) S F = 0. Поэтому nF (A) T (F ). Отсюда nF (A) WF (A) и, далее, nF (A) = WF (A). Пусть теперь B подмодуль в A и : B A вложение.

В этом случае индуцированный гомоморфизм : B S F AS F будет инъек тивным. Таким образом, из условия AS F = 0 следует, что BS F = 0, поэтому модуль A может входить в T (F ) только вместе со всеми своими подмодулями.

Итак, WF кручение.

Конструкция нейтрализатора может быть продолжена трансфинитным образом. Зафиксируем S-модуль A; положим n1 (A) = nF (A). В том случае, F T-радикалы и E-радикалы в категории модулей когда ординал предельный, полагаем n (A) = n (A). Если же = + F F < для какого-то ординала, то полагаем n (A) = nF (n (A)). Получаем убываF F ющую цепочку подмодулей n1 (A), n2 (A),..., n (A),.... Она стабилизируется, F F F и для некоторого ординала выполнено равенство n (A) = n+1(A). Введем F F обозначение n(A) = n (A).

F F Предложение 1.14. Для всякого S-модуля A справедливо равенство n(A) = WF (A).

F Доказательство. Докажем по индукции, что всегда выполнено включение WF (A) n (A). Для = 1 это утверждение доказано выше. Если ординал F предельный, то поскольку для всех < требуемое включение имеет место, будет также выполняться и включение WF (A) n (A). Пусть теперь для F некоторого ординального числа имеем равенство = + 1. Цепь включений WF (A) = WF (WF (A)) WF n (A) nF n (A) = n (A) F F F завершает индукцию. При = получаем WF (A) n (A) = n(A).

F F Далее, справедливы равенства nF n (A) = n+1(A) = n (A). Поэтому F F F n (A) = n(A) T (F ), следовательно, n(A) WF (A). Отсюда получаем F F F требуемое равенство.

Пусть V, как и ранее, правый модуль.

Определение 1.15. Пусть A S-модуль. V -следом модуля A называется сумма образов всех гомоморфизмов HomS(V, A). Будем обозначать этот след через traceV (A).

Хорошо известно, что traceV идемпотентный предрадикал. Несложно видеть, что имеют место следующие эквивалентности:

HV (A) = 0 A E (V ) HomS(V, A) = 0 traceV (A) = 0.

Вспоминая определение E(V )-радикала, согласно [5] получаем, что HV наименьший из всех идемпотентных радикалов (и даже просто радикалов) таких, что traceV (A) (A) для любого A mod-S. Таким образом, всегда справедливо включение traceV (A) HV (A). Несложно привести пример, показывающий, что это включение, вообще говоря, является строгим, т. е. сам traceV может и не быть радикалом.

Пример 1.16. Пусть S кольцо целых чисел, V = Z(p) циклическая группа простого порядка и A = Z(p) квазициклическая группа. Предпо ложим, что HV (A) собственная подгруппа группы A. Тогда A/ HV (A) = Z(p). Поскольку, с одной стороны, A/ HV (A) E (V ), а с другой очевидно, что Hom(V, Z(p)) = 0, приходим к противоречию. Следовательно, HV (A) = A.

В то же время traceV (A) = Z(p) = A.

Рассмотрим точную последовательность 0 - traceV (A) - A - A/ traceV (A) - и индуцированную (вообще говоря, не являющуюся точной) последовательность 0 - HomS(V, traceV (A)) - HomS(V, A) - HomS(V, A/ traceV (A)) - 0.

(2) Нетрудно заметить, что определение V -следа можно переформулировать подобно тому, как это сделано для нейтрализатора: traceV (A) наименьший из всех подмодулей модуля A, для которых = 0.

206 Е. А. Тимошенко Предложение 1.17. Пусть V проективный модуль. Тогда (а) traceV (A) = HV (A) для любого A mod-S;

(б) HV кокручение.

Доказательство. В силу проективности модуля V любая последовательность вида (2), даже если в ней заменить traceV (A) произвольным подмодулем B модуля A, будет точной [6]. Тогда, пользуясь равенством = 0, получаем, что HomS(V, A/ traceV (A)) = 0. Таким образом, A/ traceV (A) E (V ), и поэтому HV (A) traceV (A). Отсюда и получается равенство из пункта (а).

Пусть : A A/B естественный эпиморфизм. Как отмечено выше, : HomS(V, A) HomS(V, A/B) также эпиморфизм. Следовательно, если HomS(V, A) = 0, то HomS(V, A/B) = 0. Иными словами, каков бы ни был подмодуль B модуля A, условие A E (V ) влечет A/B E (V ). Таким образом, класс E (V ) замкнут относительно гомоморфных образов, поэтому HV действительно кокручение. Предложение доказано.

Конструкция V -следа также допускает трансфинитное обобщение. Зафиксируем модуль A mod-S. Каждому ординальному числу мы определенным образом сопоставим подмодуль trace (A). Положим trace1 (A) = traceV (A).

V V Далее, если предельный ординал, то полагаем trace (A) = trace (A).

V V < Если же = + 1 для некоторого ординала, то выберем trace (A) так, чтобы V traceV A/ trace (A) = trace (A)/ trace (A).

V V V Получаем возрастающую цепочку подмодулей trace1 (A), trace2 (A),..., trace (A),..., V V V которая, очевидно, должна стабилизироваться, так что для некоторого ординала будет выполнено равенство trace (A) = trace+1(A). Обозначим trace(A) V V V = trace (A).

V Предложение 1.18. Для всякого S-модуля A справедливо равенство trace(A) = HV (A).

V Доказательство этого предложения проводится аналогично доказательству предложения 1.14.

Подобно тому, как всякий левый S-модуль F порождает идемпотентный радикал WF в категории mod-S, правый S-модуль V порождает идемпотентный радикал W в категории левых модулей S-mod. В следующем предложении V рассматривается сразу два идемпотентных радикала: HV и W.

V Предложение 1.19. Если HV является кокручением, то W кручение.

V Доказательство. Достаточно показать, что W -радикальный класс заV мкнут относительно подмодулей. Пусть A S-mod и W (A) = A. Далее, пусть V B произвольный подмодуль модуля A. Положим M = Q/Z (возможен другой вариант: через M обозначим некоторую делимую группу, содержащую группу V S B). Справедлив канонический изоморфизм HomS(V, Hom(A, M)) Hom(V S A, M).

Pages:     || 2 |



© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.