MDLUL/endlich erzeugte (Algebra)

Start=endlich erzeugte (Algebra)

MDLUL/endlich erzeugte (Algebra)

Ziel=Kommutative Ringtheorie/Algebra von endlichem Typ/Definition