Содержание
Проективный предел
Описание
Определение 1. Пусть задана последовательность абелевых групп и последовательность морфизмов групп
. Тогда говорят, что
образуют проективную систему.
Определение 2. Пусть — проективная система. Множество последовательностей
, где
, таких, что
, образуют группу. Эта группа называется проективным пределом системы
.