MDLUL/Erzeuger (zyklische Gruppe)

Start=Erzeuger (zyklische Gruppe)

MDLUL/Erzeuger (zyklische Gruppe)

Ziel=Erzeugte Untergruppe zu Menge/Definition