Jabarkan Teori grup dari Teorema isomorfisme

Misalkan  menjadi sebuah grup,  menjadi subgrup normal pada  dan  menjadi subgrup oleh . Kemudian produk kompleks  subgrup ,  adalah subgrup normal di  dan grup  adalah pembagi normal di . Hal berikut ini berlaku: