Módulo libre estable

En matemáticas , un módulo libre estable 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 libre finitamente generado F sobre R tal que $M\oplus F$ es un módulo gratuito.

Propiedades

Un módulo proyectivo es libre de forma estable si y solo si posee una resolución libre finita . ^{[ 1 ]}
Un módulo generado infinitamente es libre de forma estable si y solo si es libre. ^{[ 2 ]}

Véase 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 . pág. 23.

[1] Lang, Serge (1993), Álgebra (Tercera ed.), Reading, Mass.: Addison-Wesley, ISBN 978-0-201-55540-0, Zbl 0848.13001

[2] Lam, TY (1978). La conjetura de Serre . pág. 23.

[ 1 ]

[ 2 ]