Start=Gruppenring

MDLUL/Gruppenring

Ziel=Gruppenring (kommutativ)/Über Monoidring/Definition