En matemáticas , un módulo establemente libre es un módulo que está cerca de ser libre .
Definición
Un módulo M sobre un anillo R es establemente libre si existe un módulo F libre generado finitamente sobre R tal que sea un módulo libre.
Propiedades
- Un módulo proyectivo es establemente libre si y sólo si posee una resolución libre finita . [1]
- Un módulo generado infinitamente es libre de forma estable si y sólo si es libre. [2]
Ver también
Referencias
- ^ Lang, Serge (1993), Álgebra (tercera ed.), Reading, Mass.: Addison-Wesley, ISBN 978-0-201-55540-0, Zbl 0848.13001
- ^ Lam, TY (1978). La conjetura de Serre. pag. 23.
