Проективный предел

Описание

Определение 1. Пусть задана последовательность абелевых групп $\{A_n\}$ и последовательность морфизмов групп $\theta_{n+1}:A_{n+1}\rightarrow A_n$. Тогда говорят, что $(A_n,\theta_n)$ образуют проективную систему.

Определение 2. Пусть $(A_n,\theta_n)$ — проективная система. Множество последовательностей $\{a_n\}$, где $a_n\in A_n$, таких, что $\theta_{n+1}(a_{n+1})=a_n$, образуют группу. Эта группа называется проективным пределом системы $(A_n,\theta_n)$.

См. также

Литература

glossary/module/limit/projective.txt · Последние изменения: 15.09.2011 03:21:37 — Ладилова Анна
Наверх
CC Attribution-Noncommercial-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0