MDLUL/freie kommutative Gruppe

Start=freie kommutative Gruppe

MDLUL/freie kommutative Gruppe

Ziel=Modultheorie/Freier Modul/Rang/Definition