En
matemáticas, un
módulo inyectivo es un
módulo Q que comparte ciertas propiedades deseables con el
Z-módulo
Q de todos los
números racionales. Específicamente, si
Q es un submódulo de algún otro módulo, entonces es un sumando directo de ese módulo; también, dado un submódulo de un módulo
Y, entonces cualquier homomorfismo de módulos de este submódulo a
Q se puede ampliar a un homomorfismo de todo
Y a
Q. Este concepto es dual al de los
módulos proyectivos.