Jabarkan Definisi dari Subgrup normal

Subgrup  dari grup  disebut subgrup normal dari  jika itu invarian di bawah  konjugasi; yaitu, konjugasi elemen  dengan elemen  selalu dalam .  Notasi umum untuk relasi ini adalah .