离散数学离散数学 (2).pdfVIP

§4.4同态与同构

4.4.1基本概念

定义

设A,*和B,是代数系统，f:AB,如果f

保持运算，即对x,yA,有f(x*y)=f(x)f(y)。称f

为代数系统A,*到B,的同态映射，简称同态。

也称之为两代数系统同态。

§4.4同态与同构

4.4.1基本概念

定义

设A,*和B,是代数系统，f是A到B

的同态。如果f是单射的，称f为单同态；如果f

是满射的，称f为满同态；如果f是双射的，称f

为同构映射，简称为同构。

§4.4同态与同构

4.4.1基本概念

定义

设A,*是代数系统，若存在函数f:AA,

并且对x,yA,有f(x*y)=f(x)*f(y)。称f为

A,*的自同态；如果f是双射的，则称f为