MDLUL/Rang (kommutative Gruppe)

Start=Rang (kommutative Gruppe)

MDLUL/Rang (kommutative Gruppe)

Ziel=Kommutative Algebra/Freier Modul/Rang/Definition