若同态映射 f 是一个双射，则称 f 为 G 到 G’ 的同构映射，这时称群 G 和 G’ 同构。