módulo inyectivo

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.