MDLUL/Basis (Modul, kommutativ)

Start=Basis (Modul, kommutativ)

MDLUL/Basis (Modul, kommutativ)

Ziel=Kommutative_Algebra/Modultheorie/Basis/Definition