注意:可能有多个同构映射,如f(x)=lg x也是。
同构关系是等价关系
自反:对任意群(G,), G≅G ≅ – 恒等映射 f(x)=x 是同构映射 对称:对任意群G1, G2, 若G1≅ 2, 则G2≅ 1 ≅G ≅G – 设从G1到G2的同构映射为f, 则从G2到G1的同构映 射是f -1 传递:对任意群G1, G2, G3, 若G1≅G2, 且G2≅G3,则 G1≅G3, – 设从G1到G2的同构映射为f, 从G2到G3的同构映射 为g, 则设从G1到G3的同构映射fg,
有单位元e即对任意xg的每个元素均有逆元素即对任意xg存在x1的单位元素由逆元素的唯一性可知
群的同构与同态
离散数学 第13讲
上一讲内容的回顾
子群的定义及其判定 有限群的子群的判定 陪集与集合的划分 陪集关系
–
陪集关系是等价关系
拉格朗日定理 拉格朗日定理的重要推论
群的同构与同态
同构与同构映射 同态与同态映射 满同态 同构、同态与系统性质的保持
满同态与运算性质的保持( ) 满同态与运算性质的保持(1)
结合律
–
假设f: G1→G2是满同态映射,若G1满足结合律,即对任意 x,y,z∈G1,(xy)z=x(yz) 则:对任意x’,y’,z’∈G2, 因为f 是满射,必有x,y,z∈G1,使得f(x)=x’, f(y)=y’, f(z)=z’, 因此:(x’*y’)*z’ = (f(x)* f(y))* f(z) = f(xy) * f(z) = f((xy)z) = f(x(y z)) = f(x)* (f(y)* f(z)) = x’*(y’*z’)
若群G1与G2满同态,证明:
–
–
群(G1,)与(G2,*)同构 (G1≅G2) 当且仅当: ≅