Start=graduiert (Ring)

MDLUL/graduiert (Ring)

Ziel=Graduierte Algebra/Ring/Gruppe beliebig/Definition