MDLUL/freie Gruppe vom Rang

Start=freie Gruppe vom Rang

MDLUL/freie Gruppe vom Rang

Ziel=Modultheorie/Freier_Modul/Rang/Definition