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 finitamente generado 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 establemente libre si y sólo si es libre. [2]
Véase también
Referencias
- ^ Lang, Serge (1993), Álgebra (tercera edición), Reading, Mass.: Addison-Wesley, ISBN 978-0-201-55540-0, Zbl 0848.13001
- ^ Lam, TY (1978). Conjetura de Serre. pág. 23.
