En matemáticas, particularmente en álgebra abstracta y álgebra homológica, el concepto de módulo proyectivo sobre un anillo R es una generalización más flexible de la idea de un módulo libre. Hay varias caracterizaciones equivalentes de estos módulos.