Start=Rang (Gruppe)

MDLUL/Rang (Gruppe)

Ziel=Kommutative Algebra/Modultheorie/Integritätsbereich/Rang/Definition