Start=injektiv (Modul)

MDLUL/injektiv (Modul)

Ziel=Kommutativer Ring/Injektiver Modul/Definition