Start=freie Gruppe

MDLUL/freie Gruppe

Ziel=Modultheorie/Freier_Modul/Definition