MDLUL/endliche Ringerweiterung

Start=endliche Ringerweiterung

MDLUL/endliche Ringerweiterung

Ziel=Kommutative Algebra/Algebra/Endlicher Modul/Definition