南京大学《离散数学》课件-第7周.pdfVIP

群同态与同构 离散数学 第13讲 上一讲内容的回顾 正规子群 正规子群的判定 同余关系 商群 群同态与同构 同构与同构映射 同态与同态映射 自同态与自同构 同构、同态与系统性质的保持 同态核与自然同态 群同态基本定理 “相似”的系统 比较 “逻辑或”与 “布尔和”  F T + 0 1 F F T 0 0 1 T T T 1 1 1 如果不考虑符号的形式极其含义，则两者没 有差别。 同构与同构映射 群(G ⃘ , )与(G ,*)同构 (G ≅ G ) 当且仅 1 2 1 2 当： 存在一一对应的函数f : G G , 满足： 1 2 对任意x,y G , f (x⃘ y) f (x) * f (y) 1 “先(G 中的)运算后映射 等于先映射后运算(G 中的)” 1 2 同构关系是等价关系 自反：恒等映射是一一对应的 对称：一一对应函数的反函数仍是一一对应的 传递：两个一一对应函数复合仍然是一一对应的 如何证明两个群同构 方法：找出(任意) 一个同构映射 例：逻辑或系统( {F,T},)和布尔和系统( {0,1},+) 同构映射f : {F,T}{0,1}: f (F) 0, f (T) 1 + 例：正实数乘群(R ,•)和实数加群(R,+) + 同构映射f : R R: f (x) ln x • 注意：可能有多个同构映射，如f (x) lg x也是。 如何证明两个群不同构 一定要证明： (G ⃘ , )到(G ,*) 的任何映射都不 1 2 可能是同构映射! 例：非零有理数乘群(Q- {0},•)和有理数加群(Q,+)不 同构。 假设存在f : Q- {0}Q,是同构影射， 注意：必有f (1) 0 (否则, f (1•x)f (1)+ f (x)) 而f (-1)+f (-1) f ((-1)•(-1)) f (1) 0 因此： f (-1) f (1) ，f 不是一对一的。 同态与同态映射 同构的要求很高：只有两个群的集合等势，才可能同构。 f 群(G ⃘ , )与(G ,*)同态 (G ~ G )当且仅当： 1 2 1 2 存在函数f : G