Start=treu (Modul)

MDLUL/treu (Modul)

Ziel=Kommutative_Algebra/Modultheorie/Annullator/Definition