Jabarkan menunjukkan isomorfisme grup. dari Teorema isomorfisme

Isomorfisme yang biasanya dimaksudkan disebut sebagai isomorfisme kanonik. Menurut Teorema Homomorfisme, ini diturunkan dari pemetaan dugaan

Dari teorema isomorfisme pertama, sebagai kasus khusus, seseorang menerima pernyataan yang jelas bahwa seseorang dapat "memperluas" dengan  jika dan hanya jika .