Start=graduiert (N)

MDLUL/graduiert (N)

Ziel=Graduierte Algebra/Ring/Gruppe beliebig/Definition