Start=trivial (Gruppe)

MDLUL/trivial (Gruppe)

Ziel=Gruppentheorie/Triviale_Gruppe/Definition