Да. Например, модуль проективен тогда и только тогда, когда его проективная размерность равна нулю; проективная размерность любого модуля над кольцом целых чисел (т.е., абелевой группы) не превосходит единицы, и т.д.
Если модуль M имеет проективную размерность d, и ...-> Pn -> Pn-1 -> ... -> P0 -- его произвольная проективная резольвента, то образ отображения Pn -> Pn-1 является проективным модулем для всех n, больше или равных d.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2009-11-08 02:32 am (UTC)no subject
Date: 2009-11-08 03:09 am (UTC)no subject
Date: 2009-11-08 03:56 am (UTC)no subject
Date: 2009-11-08 12:55 pm (UTC)Если модуль M имеет проективную размерность d, и ...-> Pn -> Pn-1 -> ... -> P0 -- его произвольная проективная резольвента, то образ отображения Pn -> Pn-1 является проективным модулем для всех n, больше или равных d.
no subject
Date: 2009-11-08 01:45 pm (UTC)