Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.mccme.ru/ium/postscript/s03/homalg3.ps
Дата изменения: Tue Mar 18 20:36:12 2003
Дата индексирования: Sat Dec 22 13:54:07 2007
Кодировка: koi8-r

Поисковые слова: http astrokuban.info astrokuban
Основы гомологической алгебры, занятие 3.
18 марта 2003 года.
Пусть у нас есть функтор из категории модулей над кольцом в другую категорию модулей
над кольцом, например, в категорию абелевых групп. Тогда он называется аддитивным, если
переводит сумму гомоморфизмов в сумму.
1. а) Приведите счётное число примеров аддитивных и не аддитивных функторов между ка-
тегориями модулей над (коммутативным) кольцом.
б) Покажите, что аддитивный функтор переводит прямую сумму двух модулей в прямую
сумму, а не аддитивный не обязательно.
Аддитивный функтор F называется точным (слева, справа), если для любой точной после-
довательности 0 ! M ! N ! P ! 0 последовательность 0 ! F (M) ! F (N) ! F (P ) ! 0
(соотв., 0 ! F (M) ! F (N) ! F (P ), F (M) ! F (N) ! F (P ) ! 0) точна.
2. а) Покажите, что функтор точен слева ,для точной последовательности 0 !M ! N ! P
последовательность 0 ! F (M) ! F (N) ! F (P ) точна.
б) Покажите, что точный функтор сохраняет точность любых последовательностей.
3. а) Когда контравариантный функтор называется точным слева?
б) Покажите, что функтор Hom (в категорию абелевых групп) точен слева по каждому
аргументу, но, вообще говоря, не точен.
в) Покажите, что последовательность 0 !M ! N ! P точна ,для любого модуля Q по-
следовательность 0 ! Hom(Q;M) ! Hom(Q;N) ! Hom(Q;P ) точна, а также сформулируйте
и докажите утверждение, получающееся обращением стрелок.
г) Покажите, что левый сопряжённый функтор точен справа, а правый сопряжённый |
слева. Приведите примеры точных справа функторов.
Для точного с одной стороны функтора соответствующие последовательности можно будет
продолжить дальше при помощи производных функторов, а пока мы изучим случай, когда
функтор Hom оказывается точным.
M f
## N
## 0
Q
g
###
#
#
#
h
##
4. Докажите, что следующие условия на модуль Q равносильны:
а) функтор Hom(Q; ) точен;
б) для любого эпиморфизма f : M  N и гомоморфизма h : Q ! N
существует гомоморфизм g : Q !M с h = fg (см. диаграмму);
Такие модули называются проективными.
5. Обратите стрелки в предыдущей задаче и докажите эквивалентность соответствующих
определений инъективного модуля.
6. Покажите, что конечные прямые суммы и прямые слагаемые про(инъ)ективных объектов
сами таковы.
7. Докажите, что модуль проективен ,он является прямым слагаемым свободного.
8. (Критерий инъективности Бэра.) Докажите, что в определении б) инъективности доста-
точно ограничиться случаем, когда f : I  A | вложение левого идеала в кольцо. (Указание:
воспользуйтесь леммой Цорна.)
Говорят, что в категории достаточно много проективных (инъективных) объектов, если
любой объект является фактором проективного (подобъектом инъективного), т. е. существует
соответствующий эпи(моно)морфизм.
9. а) Покажите, что модуль M над областью главных идеалов A инъективен ,он делим, т. е.
8m 2 M 8a 2 A n f0g 9m 0 2 M : m = am 0 :
При наборе использован пакет X Y -pic.
1

б) Покажите, что векторное пространство над Q | инъективная абелева группа, и что для
каждого простого p группа p 1 p
1 корней степеней p n ; n 2 N; из единицы такова. (На самом деле
любая инъективная абелева группа | (возможно, бесконечная) прямая сумма таких.)
в) Покажите, что фактор инъективной абелевой группы инъективен.
10. а) Покажите, что в категории абелевых групп достаточно много проективных и инъек-
тивных объектов. (Указание: для инъективных воспользуйтесь предыдущей задачей.)
б) Покажите, что в категории конечно порождённых абелевых групп достаточно много
проективных объектов, но нет инъективных.
в) Покажите, что в категории конечных абелевых групп нет ни проективных, ни инъектив-
ных объектов.
11. а) Покажите, что модуль, индуцированный с проективного (коиндуцированный с инъек-
тивного), сам таков.
б) При помощи вложения M  = HomA (A; M)  HomZ (A; M) покажите, что в категории
A-модулей достаточно много инъективных объектов. А проективных?
12. Покажите, что модуль проективен ,для любого эпиморфизма в него он отщепляется пря-
мым слагаемым, и аналогично для инъективных модулей.
Итак, в категории A-модулей есть достаточно много проективных и инъективных объек-
тов, так что у любого модуля M есть проективная резольвента, то есть комплекс    ! P i !
P i 1
   ! P 0 ; в котором все P i проективны, с морфизмом P 0
!M; индуцирующим изоморфизм
в гомологиях комплекса P: с комплексом, состоящим из M в степени 0 и нулевым в остальных
местах. Двойственным образом, есть инъективная резольвента.
13. Пусть P: | комплекс проективных модулей с P i = 0 при i < 0 и с H 0 (P:) = M; а K: |
комплекс модулей с K i = 0 при i < 0; H i (K:) = 0 при i > 0 и H 0 (K:) = N: Докажите, что любой
гомоморфизм M ! N продолжается до морфизма комплексов P: ! K:; причём единственным
с точностью до гомотопии образом. Либо докажите двойственное утверждение в инъективном
случае.
14. Пусть 0 ! M ! N ! P ! 0 | точная последовательность модулей, P (M) и P (P ) |
некоторые проективные резольвенты M и P: Докажите, что существует такая проективная
резольвента P (N) для N и такие продолжения морфизмов M ! N ! P на резольвенты,
что последовательность комплексов 0 ! P (M) ! P (N) ! P (P ) ! 0 точна. Либо докажите
двойственное утверждение в инъективном случае.
2