MDLUL/total zerlegt (Primideal)

Start=total zerlegt (Primideal)

MDLUL/total zerlegt (Primideal)

Ziel=Dedekindbereich/Primideal/Voll zerlegt/Definition