比较两个群：同构、同态

      我们称 群（，）与 群（, ）同构，即存在 同构映射 :  满足以下条件：

       i)  对任意a，b   成立；

       ii)  是双射（即 一 一 映射）。 

通常，用符号  表示两个群同构。

群同构的一些简单性质（可自行验证）

1. 群  的单位元  对应到群  的单位元 ，即 。

2. 群  中 原像的逆元 都对应到群  中 像的逆元，即  对任意 a   成立。

3. 同构（关系）是相互的、对称的，即    , 因为上述条件 ii) 保证了存在逆映射 :  也是一个同构映射。

       在上述群同构（关系）的定义中若 , 就得到了群  到自身的同构映射  : , 称之为群的 自同构（映射）。例如，对于任意群  都存在“每个元素对应到自身”的恒等映射（也称 单位映射） :  是自同构（映射）。

       同构映射的上述性质 3 表明，自同构的逆映射也是自同构（映射）。

       如果 ， 是群  的自同构（映射），那么任取 a, b  ,  满足上述条件 i)；可以验证， 亦满足条件 ii)。也就是说，群  的任意两个自同构（映射） 与  的合成（映射） 仍是一个自同构（映射）。

       综合以上分析，自然记 Aut(G) 为群  的全体自同构（映射）组成的集合， 为该集上的二元代数运算——映射合成：，。容易验证运算  在集 Aut(G) 上满足结合律，单位元是恒等映射 。可见，集 Aut(G) 连同其上的二元运算  构成一个群，称之为任一群  的自同构群。事实上，由  的全体双射组成的集合连同其上的二元运算 （映射合成）亦构成另一个群（只满足条件 ii) ），而群 Aut(G) 是它的一个子群（同时满足条件 i) 和 ii) ）。

       在群  的自同构群中含有一个特殊的子群，称为 内自同构群，记作 Inn(G),

其元素是映射  :  , a ,g 。验证表明， 满足自同构（映射）定义中的全部条件（即条件 i) 与条件 ii) ）。而且逆元 ，单位元 （简记作 1 的恒等映射  ），（可自行验证此关系式）。

       由此可见， ， 定义了一个从群  到它的内自同构群 Inn(G) 的映射

 :  满足同构映射定义中的条件 i)，但条件 ii) 不一定满足。于是，我们自然地把只满足同构定义中条件 i) 的一般映射  :  定义为 同态映射。群到自身的同态映射也叫作群的 自同态。

       集合 ker  ，其中  是群  的单位元，叫作同态（映射） 的 核。可以验证，核 ker  是 群  的一个子群;同态映射  的像 Im  是群  的一个子群;如果 ker ,  是群  的单位元，那么  :  是一个同构（映射）。可见，同态映射  能否强化为同构映射在于非平凡 核ker  的存在性，它是度量  的非单射性的尺度。

       进一步讲，同构（关系）是一种 等价关系。回顾一下，任一集合  上的二元关系   叫作 等价关系，若任取 , ,   , 满足以下条件：

        1) 反身性   ;

        2) 对称性  ; 

        3) 传递性 ,  。

      而同态（映射）并不要求满射，也不要求单射。一般地，同态（关系）仅是一种二元关系，构不成等价关系。