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

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

Определение

Модуль M над кольцом R называется стабильно свободным, если существует свободный конечно порожденный модуль F над кольцом R такой, что $M\oplus F$ это бесплатный модуль.

Характеристики

• Проективный модуль стабильно свободен тогда и только тогда, когда он обладает конечной свободной резольвентой .
• Бесконечно сгенерированный модуль стабильно свободен тогда и только тогда, когда он свободен.

См. также

• Бесплатный объект
• Афера Эйленберга-Мазура
• Эрмит кольцо