In matematica, un modulo iniettivo è un modulo con la proprietà di essere un addendo diretto di ogni modulo che lo contiene: ovvero Q è iniettivo se, per ogni modulo M che lo contiene, esiste un sottomodulo N di M tale che M è la somma diretta di N e Q. Questo concetto è il duale di quello di modulo proiettivo; è stato introdotto da Reinold Baer nel 1940. Wikipedia