庄伯金 bjzhuang@
14
同态与同构
定义:设两代数系统V1=<A,*>和V2=<B,•>,如果 存在映射f:A→B,对任意的x,y∈A,有 f(x*y)=f(x)•f(y),则称f是V1到V2的同态映射,简 称同态,记为<A,*>∼<B,•>。
若f为满射,则称f为满同态; 若f为单射,则称f为单一同态; 若f为双射,则称f为同构,记作<A,*>≌<B,•>。
庄伯金 bjzhuang@
12
子代数系统
定义:设有代数系统<A,*1,*2,...,*k>,B是A的非 空子集。如果A上的每个运算都在B上是封闭的,且A 与B含有相同的代数常数,则称代数系统 <B,*1,*2,...,*k>为代数系统<A,*1,*2,...,*k>的 子代数系统,或称代数B为代数A的子代数。
庄伯金 bjzhuang@
10
逆元
定理:设•为A上的可结合二元运算,A中存在幺元e 且每个元素都有左逆元,则在A中,每个元素的左逆 元也是该元素的右逆元,且每个元素的逆元唯一。
庄伯金 bjzhuang@
11
代数系统
定义:由非空集合A以及A上的运算*1,*2,...,*n所组 成的系统称为一个代数系统,记作 <A,*1,*2,...,*n>。 定义:如果两个代数系统中运算的个数相同,对应运 算的元数也相同,且代数常数的个数也相同,则称这 两个代数系统具有相同的构成成分,也称它们是同类 型的代数系统。
庄伯金 bjzhuang@
6
单位元