MDLUL/Rang (Modul, kommutativ)

Start=Rang (Modul, kommutativ)

MDLUL/Rang (Modul, kommutativ)

Ziel=Kommutative_Algebra/Freier_Modul/Rang/Definition