Стабильно бесплатный модуль - Stably free module
В математика, а стабильно бесплатный модуль это модуль что близко к тому, чтобы быть свободный.
Определение
Конечно порожденный модуль M над кольцом р является стабильно бесплатно если существуют свободные конечно порожденные модули F и г над р такой, что
Свойства
- Проективный модуль стабильно свободен тогда и только тогда, когда он обладает конечным бесплатное разрешение.[1]
- An бесконечно порожденный модуль стабильно бесплатен тогда и только тогда, когда он бесплатный.[2]
Смотрите также
использованная литература
- ^ Ланг, Серж (1993), Алгебра (Третье изд.), Ридинг, Массачусетс: Addison-Wesley, ISBN 978-0-201-55540-0, Zbl 0848.13001
- ^ Лам, Т. Ю. (1978). Гипотеза Серра. п. 23.