Стабильно бесплатный модуль
В математике стабильно свободный модуль — это модуль , близкий к свободному .
Определение [ править ]
Конечно порожденный модуль M над кольцом R стабильно свободен , если существуют свободные конечно порожденные модули F и G над R такие, что
Свойства [ править ]
- Проективный модуль стабильно свободен тогда и только тогда, когда он обладает конечной свободной резольвентой . [1]
- Бесконечно сгенерированный модуль стабильно свободен тогда и только тогда, когда он свободен. [2]
См. также [ править ]
Ссылки [ править ]
- ^ Ланг, Серж (1993), Алгебра (Третье изд.), Ридинг, Массачусетс: Аддисон-Уэсли, ISBN 978-0-201-55540-0 , Збл 0848.13001
- ^ Лам, Тайвань (1978). Гипотеза Серра . п. 23.