Start=reduziert (Ring)

MDLUL/reduziert (Ring)

Ziel=Kommutative Ringtheorie/Reduzierter Ring/Definition