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".