Ciao a tutti.
Partendo esclusivamente dalla definizione dovrei mostrare che $\mathbb{Q}$ è uno $\mathbb{Z}$-modulo iniettivo ma non proiettivo. Qualcuno potrebbe aiutarmi?
Def (modulo proiettivo) Un $A$-modulo P si dice proiettivo se, per ogni omomorfismo surgettivo di A-moduli \( f\colon M\twoheadrightarrow N \) e ogni mappa \( g\colon P\longrightarrow N \) , esiste una mappa \( h\colon P\longrightarrow M \) tale che \( g=f\circ h \).
Def (modulo iniettivo) Un $A$-modulo E si dice iniettivo se, per ogni omomorfismo iniettivo di A-moduli \( f\colon N \hookrightarrow M \) e ogni mappa \( g\colon N\longrightarrow E \) , esiste una mappa \( h\colon M\longrightarrow E \) tale che \( g=h\circ f \).