2つの群(G,∗)と(H,⊙{\displaystyle\odot})が与えられたとき、(G,∗)から(H,⊙{\displaystyle\odot})への群同型写像(groupisomorphism)はGからHへの全単射群準同型である。
给定两个群(G,*)和(H,⊙{\displaystyle\odot})，从(G,*)到(H,⊙{\displaystyle\odot})的群同构是从G到H的双射群同态。