MDLUL/projektiver Modul

Start=projektiver Modul

MDLUL/projektiver Modul

Ziel=Kommutativer Ring/Projektiv/Universell/Definition