Стабильно бесплатный модуль - Stably free module

В математика, а стабильно бесплатный модуль это модуль что близко к тому, чтобы быть свободный.

Определение

Конечно порожденный модуль M над кольцом р является стабильно бесплатно если существуют свободные конечно порожденные модули F и г над р такой, что

${displaystyle Moplus F=G.,}$

Свойства

• Проективный модуль стабильно свободен тогда и только тогда, когда он обладает конечным бесплатное разрешение.^[1]
• An бесконечно порожденный модуль стабильно бесплатен тогда и только тогда, когда он бесплатный.^[2]

Смотрите также

• Бесплатный объект
• Мошенничество Эйленберга-Мазура
• Кольцо Hermite

использованная литература

1. Ланг, Серж (1993), Алгебра (Третье изд.), Ридинг, Массачусетс: Addison-Wesley, ISBN  978-0-201-55540-0, Zbl  0848.13001
2. Лам, Т. Ю. (1978). Гипотеза Серра. п. 23.