§8.2同态和同构定义1设G,G是两个群,G上oG上.pptVIP

* §8.2 同态和同构 定义1：设G,G’是两个群， G上:o G’上:⊙ ，f：G → G’ 如果对任意的a,b∈G,都有 f（aob）=f(a)⊙ f(b) 则称f为G到G’的一个同态。进一步 满同态：如果f是满射； 单同态：如果f是单射； 同构：如果f是一一对应的。 例1， A={所有整数}， B={1，-1}, A:+， B:× f1：a → 1 ， f2：a → -1 f3：奇a → -1 , 偶a → 1 定理1 设f是G到G’的一个同态，则 (1) f(e)=e’; (2) 对任意a∈G,f(a-1)=f(a)-1; (3)kerf={a|a∈G,f(a)=e’}是G的子群，且f是单同态 的充要条件是kerf={e}; (4) f(G)={f(a)|a∈G}是G’的子群，且f是满同态 的充要条件是f（G）=G’; (5)设H’是群G’的子群，则集合 f-1(H’)={a∈G|f(a)∈H’}是G的子群。 变换群 前面的例子：普通数、普通加法、乘法 或阶为1、2或3的抽象群，且是交换群 下面研究：非交换群、群的元素不一定是数 例2 A={1，2} τ1：1→1 2→1 τ2：1→2 2→2 τ3：1→1 2→2 τ4：1→2 2→1 是A的所有变换 对于给定集合A, S={τ，λ，μ，… } , A的所有变换 记号 τ：a→a′=τ(a) = aτ 规定，τ，λ的乘积 τλ：a→(aτ)λ，则此乘法满足结合律 τ(λμ)：a→(aτ)λμ=((aτ)λ)μ S有单位元，恒等变换ε，ε：a→a 例3 计算例1中变换的乘积 τ1τ2： 1→2 2→2 τ1τ2=τ2 τ2τ4： 1→1 2→1 τ2τ4=τ1 但τ不一定有逆元 例4 例1中τ1，用一个任意的τ左乘τ1，得到 这就是说 即τ1没有逆元 S一般不是一个群(逆元不能保证)，但S的一个子集G呢？ 先看G作为一个群的必要条件 定理2：G是由A的若干变换所成集合，且G中包含恒等变换ε 若对于上述乘法来说G作为一个群，那么G只包含A的 一一变换。 证： 所以τ是满射 假定aτ= bτ则 ∴ τ是单射 定理3：一个集合A的所有的一一变换作成一个变换群G 证明：G适合群定义的I, II, IV, V四个条件 ①τ1，τ2是一一变换，则τ1τ2也是 ② 结合律 ③ 左单位元 ④τ是一个任意的一一变换 ，则有τ-1： （第一章） τ-1： 假如 所以τ-1τ： τ-1τ= ε 定义：一个集合A的若干个变换对于以上规定的乘法 作成的一个群叫做A的变换群。 此群的元素不是数 定理3不是说，除了全体一一变换所作成的集合外， 没有其它的变换群存在。 例5 A={平面上所有的点}， G={所有绕原点o的旋转} 则G是一个变换群。 证明：用τθ 表示转θ角的旋转，有 I. G是闭的 Ⅱ. 结合律 IV. ε = τ0∈G V. τθ –1= τ-θ 但G显然不包含A的所有的一一变换，G是较小的变换群。 如： 都不在G中。 定理3所得的变换群是最大的变换群 *