离散数学6.4同态及同构.ppt

第六章 群 、环、域 6.4.1 同 态 映 射 定义. 设(G, *)是一个群, (K, ?)是一个代数系统，称G到K的一个映射σ是一个同态映射，如果对G中任意元素a，b ，有 σ(a * b)=σ(a) ? σ(b) 注意：这个映射既不一定是单射也不一定是满射。 定理6.4.1 设(G, *)是一个群, (K, ?)是一个代数系统， σ是G到K中的一个同态映射， G’=σ(G) ，则 (1) (G’ , ?)是一个群; (2)G’的单位元1’就是G的单位元1的映像σ(1) ， 即1’= σ(1)； (2) 对任意a ∈G，(σ(a))-1 = σ(a-1) 。 称G和G′同态，记为G～G′。 证明 (1) 因为群G非空，至少1∈G，故至少σ(1)∈G′，即G′非空。 (2) 任取a’∈G′，b’∈G′， 往证a’b’∈G′。 因有a,b∈G, 使得 a’=σ(a), b’=σ(b)， 故按σ的同态性， a’b’= σ(a)σ(b)=σ(ab)，而ab ∈G, 因而a’b’ =σ(ab) ∈σ(G),即 a’b’ ∈G′。 (3) 往证G’中有结合律成立：任取a’ ,b’,c’∈G’，往证 a’ (b’c’)=(a’b’)c’。 因有a,b,c∈G,