Hallo, ich bin ein bisschen verwirrt wegen dieser Aufgabe aus Analysis 1, Amann Escher. 
($S_G$ bezeichnet die Permutationsgruppe auf G mit der Komposition als Gruppenverknüpfung. Mit Verknüpfung ist eine Abbildung $G\times G \rightarrow G$ gemeint.)

Ich habe den Eindruck, dass die Voraussetzungen für die Implikation nach links nicht reichen, da hier keine "Verträglichkeit" wie bei einer Gruppenoperation gefordert wird.
Ich komm nicht drauf, wie ohne "Verträglichkeit" nur aus "L Untergruppe von $S_G$" folgt, dass die Verknüpfung auf G assoziativ ist.