Start=Produkt (Ring)

MDLUL/Produkt (Ring)

Ziel=Kommutative Ringtheorie/Produktring/Definition