normalteiler und faktorgruppe

Question

Ich habe eine Frage . Ich sollte zeigen dass der durchschnitt von 2 normalteilern gleich 1 ergibt.

Ich hab im internet eine definition gefunden (bild)

Kann mir jemand dies erklären oderwie man darauf kommt, denn im skript hab ich nir gefunden, dass xyx^-1 normalteiler ist.

Comments

Das Bild hat es leider nicht bis hierhin geschafft :)

---

 Wieso heißt es yx^-1y^-1  wie kommt man drauf oder ist es die defintion. Ich habe dies nicht im skirpt gefunden odee sonst irgenwo gelesen :(