MDLUL/linear unabhängig (Modul, kommutativ)

MDLUL/linear unabhängig (Modul, kommutativ)

Start=linear unabhängig (Modul, kommutativ)

Ziel=Kommutative_Algebra/Modultheorie/Linear_unabhängig/Definition