Coba jelasin menunjukkan isomorfisme grup. dari Teorema isomorfisme dong

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 .