Específicamente, un módulo finitamente generado sobre un anillo conmutativo es localmente libre si y sólo si es proyectivo.