MDLUL/ganze Ringerweiterung

MDLUL/ganze Ringerweiterung

Start=ganze Ringerweiterung

Ziel=Kommutative Ringtheorie/Ganzheit/Ganze Algebra/Definition