WWW.DISSERS.RU

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

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

Pages:     | 1 ||

= T-радикалы и E-радикалы в категории модулей Учитывая, что V SA = 0, можно сделать вывод, что Hom(A, M) E (V ). Индуцированный вложением : B A гомоморфизм : Hom(A, M) Hom(B, M) есть эпиморфизм (в силу инъективности M, см. [6]). Поскольку HV кокручение, класс E (V ) замкнут относительно гомоморфных образов. Поэтому Hom(B, M) E (V ). Далее, имеем изоморфизм Hom(V S B, M) HomS(V, Hom(B, M)) = 0.

= Учитывая, как именно выбиралась группа M, получаем, что V S B = 0. Следовательно, W (B) = B, и W кручение.

V V Как показывает следующий пример, обратная импликация неверна.

Пример 1.20. В качестве кольца S возьмем кольцо целых чисел, и пусть V = Q аддитивная группа всех рациональных чисел. Для всякой группы A радикал WV (A) совпадает с периодической частью группы A, т. е. WV кручение. В то же время радикал HV (A) совпадает с наибольшей делимой подгруппой группы A, так что E(V )-радикал не является кокручением.

§ 2. T-радикалы и E-радикалы В этом параграфе мы будем иметь дело с двумя кольцами: S и R. Пусть задан кольцевой гомоморфизм e : S R. Всякий R-модуль A мы можем рассматривать как притягивающий S-модуль, полагая as = ae(s) для любых a A, s S. Легко видеть, что R и e(S) являются S-S-бимодулями. Обозначим R0 = R/e(S). Для нас существенно, что R0 S-S-бимодуль. На протяжении всего параграфа считается, что F = V = R0 с той лишь разницей, что в случае с F нас будут интересовать свойства R0 как левого S-модуля, а в случае с V как правого.

Для всякого R-модуля A мы можем рассмотреть канонический эпиморфизм h : A S R A R R, где h(a S r) = a R r для любых a A, r R.

Определение 2.1. R-модуль A называется T-модулем относительно кольцевого гомоморфизма e, если эпиморфизм h является изоморфизмом.

Кратко будем говорить T-модуль. Класс всех T-модулей над кольцом R обозначим через T.

Определение 2.2. Пусть A R-модуль. Символом W(A) будем обозначать сумму всех подмодулей B модуля AR таких, что B T.

Класс T содержит R-модуль A тогда и только тогда, когда A S F = 0, где F = R0 [3]. Следовательно, элементы класса T это все те R-модули, которые, если рассмотреть их как притягивающие S-модули, содержатся в классе T (F ); иными словами, T = T (F ) mod-R. Учитывая последнее равенство, из определений WF (A) и W(A) легко вывести, что W(A) WF (A).

Теорема 2.3. Каково бы ни было ординальное число, модуль n (A) F всегда является подмодулем R-модуля A.

Доказательство. Будем вести индукцию по.

База индукции ( = 1). Элементы модуля F = R/e(S) будем обозначать символами r, r1 и т. д. Зафиксируем произвольный элемент r1 R и зададим отображение f : AR AS F, полагая f(a, r) = ar S r1 -aS rr1. Равенства f(as, r) = (as)r S r1 - as S rr1 = a(sr) S r1 - a S (sr)r1 = f(a, sr) 208 Е. А. Тимошенко показывают, что отображение f является сбалансированным над кольцом S.

Поэтому существует гомоморфизм абелевых групп : A S R A S F, действующий следующим образом: (a S r) = ar S r1 - a S rr1. Точная после довательность S-модулей 0 - e(S) - R - F - индуцирует точную последовательность абелевых групп A S e(S) - A S R - A S F - 0. (3) Для произвольных a A, s S получаем (a S e(s)) = as S r1 - a S sr1 = a S sr1 - a S sr1 = 0.

Таким образом, Im Ker, а это в силу точности (3) эквивалентно включе нию Ker Ker. Поэтому имеется гомоморфизм абелевых групп : ASF A S F, такой, что (a S r) = ar S r1 - a S rr1. Для произвольных элементов b nF (A), r R имеем равенства br S r1 = br S r1 - b S rr1 = (b S r) = (0) = 0.

Поскольку приведенные выше рассуждения справедливы для произвольного r1 R, это значит, что br nF (A). Таким образом, nF (A) действительно подмодуль в AR.

Индукционный переход. Если ординал является предельным и при < модуль n (A) подмодуль в AR, то ясно, что это будет верно и для F модуля n (A) (с учетом определения). В случае, когда = + 1, получаем, что F n (A) есть подмодуль модуля AR, а n (A) = nF (n (A)) подмодуль R-модуля F F F n (A). Поэтому n (A) также является подмодулем в AR.

F F Следствие 2.4. Для всякого модуля A mod-R выполняется равенство WF (A) = W(A).

Доказательство. Из предложения 1.14 и теоремы 2.3 можно сделать вывод, что WF (A) подмодуль в AR. Кроме того, WF (A) T (F ), и отсюда сразу получаем WF (A) T. Учитывая определение W(A), имеем включение WF (A) W(A), из которого непосредственно следует нужное равенство.

Итак, если F = R0, то логично опускать символ F в обозначениях WF, T(F )-модуль и T(F )-радикал.

Нетрудно видеть, что любой R-гомоморфизм модулей автоматически будет также S-гомоморфизмом. В частности, для любого R-модуля A имеем HomR(R, A) HomS(R, A).

Определение 2.5. R-модуль A называется E-модулем относительно кольцевого гомоморфизма e, если HomR(R, A) = HomS(R, A).

Кратко будем говорить E-модуль. Класс всех E-модулей над кольцом R обозначим через E.

Определение 2.6. Пусть A R-модуль. Символом H(A) будем обозначать пересечение всех подмодулей B модуля AR таких, что A/B E.

R-модуль A принадлежит классу E тогда и только тогда, когда HomS(V, A) = 0, где V = R0 [3]. Таким образом, класс E состоит в точности из тех Rмодулей, которые как притягивающие S-модули входят в класс E (V ), т. е. E = E (V ) mod-R. Сравнивая определения HV (A) и H(A), получаем, что во втором случае пересечение берется по меньшему семейству подмодулей, следовательно, HV (A) H(A).

T-радикалы и E-радикалы в категории модулей Теорема 2.7. Каково бы ни было ординальное число, модуль trace (A) V всегда является подмодулем R-модуля A.

Доказательство. Проведем индукцию по.

База индукции ( = 1). Элементы правого модуля V = R/e(S) мы будем обозначать через r, r1 и т. д. Пусть HomS(V, A) и взяты произвольные элементы (r1) из Im и r2 из кольца R. Полагая (r) = (r) для всякого r R, мы, очевидно, получаем гомоморфизм HomS(R, A). Далее, зададим отображение : R A по правилу (r) = (r1)r - (r1r). Аддитивность очевидна. Кроме того, для всякого элемента s S верны равенства (rs) = (r1)rs - (r1rs) = ((r1)r - (r1r))s = (r)s, следовательно, HomS(R, A). Для всякого s S имеем (e(s)) = (r1)s (r1s) = 0, откуда получаем, что e(S) Ker. Тогда мы можем корректно определить гомоморфизм HomS(V, A), полагая (r) = (r). Учитывая ра венство (r2) = (r1)r2 -(r1r2), можно записать (r1)r2 = (r2)+(r1r2) или, переходя к гомоморфизмам V A, получить, что (r1)r2 = (r2) + (r1r2), т. е. (r1)r2 traceV (A). Это доказывает, что (Im )R traceV (A) для произ вольного. Следовательно, (traceV (A))R = (Im )R traceV (A).

Это и означает, что traceV (A) подмодуль модуля AR.

Индукционный переход. Если предельный ординал, и для всех < модуль trace (A) является подмодулем в AR, то соответствующее утверV ждение верно и для trace (A) (с учетом определения). Если = + 1, то, V поскольку trace (A) подмодуль модуля AR, а V trace (A)/ trace (A) = traceV (A/ trace (A)) V V V подмодуль R-модуля A/ trace (A), модуль trace (A) также обязан быть подV V модулем в AR. Теорема доказана.

Следствие 2.8. Для всякого модуля A mod-R выполняется равенство HV (A) = H(A).

Если V = R0, то, учитывая данное следствие, имеет смысл отождествить HV и H, E(V )-модули и E-модули, E(V )-радикал и E-радикал.

Следствия 2.4 и 2.8 приводят к такому результату: как бы мы ни задавали R-модульную структуру на модуле A mod-S (при условии, конечно, что эта структура согласована с уже имеющейся S-модульной), значения радикалов W(A) и H(A) будут одними и теми же.

Учитывая замечание, сделанное перед предложением 1.19, мы можем утверждать, что гомоморфизм e : S R порождает четыре радикала: W и H в категории правых модулей mod-R и радикалы W и H в категории R-mod.

Предложение 2.9. Если H является кокручением в mod-R, то W кручение в R-mod.

Доказательство этого предложения фактически дословно повторяет доказательство предложения 1.19. Нужно лишь заменить обозначение E (V ) на E и учесть, что A и B левые R-модули, следовательно, Hom(A, M) и Hom(B, M) правые R-модули.

Аналогичное утверждение имеет место и для радикалов H и W.

210 Е. А. Тимошенко Теперь мы покажем, что если заданы кольцо S и S-S-бимодуль F, то можно построить кольцо R и гомоморфизм e : S R такие, что бимодуль R0 = R/e(S) изоморфен бимодулю F.

Определим R как множество матриц следующего вида:

s f R = | s S, f F.

0 s Несложно убедиться в том, что относительно обычных операций сложения и умножения матриц R образует ассоциативное кольцо с единицей. Гомоморфизм e зададим так:

s e(s) =.

0 s Тогда, как легко видеть, R/e(S) F. Заметим теперь, что произвольный S= модуль A можно превратить в R-модуль, если положить s f a = as 0 s для всех a A. Тогда as = ae(s), что согласуется с процессом превращения A из модуля над кольцом R в притягивающий S-модуль.

Очевидное утверждение, что над коммутативным кольцом модули всегда можно рассматривать как бимодули, дает такие следствия:

1) все примеры из § 1 могут быть использованы для демонстрации того факта, что некоторыми свойствами T-радикал и E-радикал (как и радикалы WF и HV, для которых и строились эти примеры), вообще говоря, не обладают;

2) если S коммутативное кольцо, то всякий T(F )-радикал имеет вид Tрадикала (если последний рассматривается как заданный в категории S-модулей) для некоторого кольца R и вложения e : S R; аналогично всякий E(V )радикал можно представить как E-радикал.

ЛИТЕРАТУРА 1. Pierce R. S. E-modules // Contem. Math. 1989. V. 87. P. 221–240.

.

2. Bowshell R. A., Schultz P. Unital rings whose additive endomorphisms commute // Math.

Ann. 1977. V. 228. P. 197–214.

.

3. Крылов П. А., Приходовский М. А. Обобщенные T-модули и E-модули // Универсальная алгебра и ее приложения. Волгоград: Перемена, 1999. С. 153–169.

4. Мишина А. П., Скорняков Л. А. Абелевы группы и модули. М.: Наука, 1969.

5. Кашу А. И. Радикалы и кручения в модулях. Кишинев: Штиинца, 1983.

6. Каш Ф. Модули и кольца. М.: Мир, 1981.

Статья поступила 5 марта 2003 г.

Тимошенко Егор Александрович Томский гос. университет, механико-математический факультет, кафедра алгебры, пр. Ленина, 36, Томск tea471@ic.tsu.ru

Pages:     | 1 ||



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

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