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