MDLUL/erzeugter Untermodul

Start=erzeugter Untermodul

MDLUL/erzeugter Untermodul

Ziel=Kommutative Algebra/Modultheorie/Erzeugendensystem/Definition