Start=Rang (Modul)

MDLUL/Rang (Modul)

Ziel=Modultheorie/Freier_Modul/Rang/Definition