Definisi 12.1 Jika subgrup dari , maka disebut subgroup normal dari G jika dan hanya jika = , untuk setiap .
Contoh:
1. = {1, 1, , } dengan = 1, terhadap operasi perkalian merupakan
suatu grup. Sekarang perhatikanlah suatu humpunan bagian dari G yaitu = {1, 1}. Himpunan H terhadap operasi perkalian merupakan suatu grup pula. Hasil kali 1 dan -1 yaitu -1 berada dalam H, sifat asosiatif jelas berlaku. Elemen identitasnya adalah 1 dan setiap elemen dari H mempunyai invers, yaitu (1)1 = 1 dan 11 = 1.