MDLUL/ganze Erweiterung

MDLUL/ganze Erweiterung

Start=ganze Erweiterung

Ziel=Kommutative Ringtheorie/Ganzheit/Ganze Algebra/Definition