Stabilně bezplatný modul - Stably free module

v matematika, a stabilně bezplatný modul je modul což je blízko bytí volný, uvolnit.

Definice

Konečně vygenerovaný modul M přes prsten R je stabilně zdarma pokud existují zdarma konečně generované moduly F a G přes R takhle

{displaystyle Moplus F = G.,}

Vlastnosti

Projektivní modul je stabilně volný právě tehdy, má-li konečnou hodnotu bezplatné rozlišení.^[1]
An nekonečně generovaný modul je stabilně zdarma, právě když je zdarma.^[2]

Viz také

Reference

^ Lang, Serge (1993), Algebra (Třetí vydání), Reading, Mass.: Addison-Wesley, ISBN 978-0-201-55540-0, Zbl 0848.13001
^ Lam, T. Y. (1978). Serreova domněnka. str. 23.