离散数学导论盘王元元张桂芸第十一章演示文稿.ppt

第十一章 群、环、域 11.5.1 域和子域 11.5 域 定理11.48 设<F1 ,+ ,·>,<F2 ,+ ,·>都是域<F ,+ ,·>的子域，那么<F1?F2 ,+ ,·>也是域F的子域． 定理11.49 含么非零交换环<F ,+ ,·>为域，当且仅当F没有非平凡的理想． 第十一章 群、环、域 11.5.1 域和子域 11.5 域 定理11.50 设<F ,+ ,·>为域，那么当 F的特征数 为质数 p时，F包含一个与<Np,+ p, ?p> 同构的子域；当 F的特征数为时， F包含一个与< Q ,+ ,·>同构的子域． 第十一章 群、环、域 ?11.5.2 有限域 11.5 域 定理11.51 有限域中元素个数等于其特征数的正整数方幂. 定义11.31 称非零及非零次的F-多项式f(x)是可约的（divisable），如果f（x）可表示为g（x）h（x），其中g（x），h（x）次数不低于1． 第十一章 群、环、域 ?11.5.2 有限域 11.5 域 定理11.52 F-多项式f（x）是不可约的，当且仅当由f（x）= g（x）h（x）可推得g（x）次数为零，或h（x）次数为零． 第十一章 群、环、域 11.2.2 子群、陪集和拉格朗日定理 11.2 群 定理ll.19 设<H，?>为<G，?>的子群，a，b?G，那么,或者aH = bH（Ha = Hb）， 或者 aH∩bH = ?（Ha∩Hb = ?）． 定理11.20 设<H，?>为有限群<G，?>的子群 那么H阶的整除G的阶． 第十一章 群、环、域 11.2.2 子群、陪集和拉格朗日定理 11.2 群 定义11.11 设<H，?>为群<G，?>的子群。定义 G上H的左(右)陪集等价关系～。对任意a,b?G a～b当且仅当a，b在H的同一左（右）陪集中 定理11.21 设～为群G上H的左（右）陪集等价关系，那么 a～b当且仅当 a-1?b?H 11.2 群 第十一章 群、环、域 11.2 群 定义11.12 设<H，?>为群<G，?>的子群，称H为正规子群（normal subgroup），如果对任一g?G , gH ＝ Hg Δ 11.2.3 正规子群、商群和同态基本定理 定理11.22 设<H，?>为群<G，?>的正规子群，那么H的左（右）陪集等价关系～为<G，?>上的同余关系. 第十一章 群、环、域 Δ 11.2.3 正规子群、商群和同态基本定理 11.2 群 定理11.23 群G的上述商代数结构 <G/H,⊙>为一群. 定理11.24 设h为群<G1, ?1,e1>到群<G2, ?2,e2>的 同态映射,那么h(e1) = e2 . 第十一章 群、环、域 Δ 11.2.3 正规子群、商群和同态基本定理 11.2 群 定理11.25 设h为群<G1, ?1>到群<G2, ?2>的同态映射, 那么h的核K(h)构成<G1, ?1>的正规子群. (为简明计,以下用K表示K(h)) 定理11.26 设h为群<G1, ?1>到群<G2, ?2>的同态映射,K = K(h),那么商群<G/K,⊙>与同态像<h(G1), ?2>同构。 第十一章 群、环、域 11.3.1 循环群 11.3 循环群和置换群 定义11.13 称<G，?>为循环群(cyclic group)， 如果 G为群，且G中存在元素 g ,使 G以{g}为 生成集，即 G的任何元素都可表示为 g 的幂 （约定e = g0），这时g称为循环群G的 生成元（generater）． 第十一章 群、环、域 11.3.1 循环群 11.3 循环群和置换群 定理11.26 设<G，?>为循环群，g为生成元，那么 （1） G为阿贝尔群． （2） G的 h同态像是以 h（g）为生成元的循环群． （3） G为无限循环群时必同构于<I,+>． （4） G为有限循环群时，必有 G = {e，g，g2,…，gn-1} 其中n = ? G ?，也是g的阶．从而n阶循环群必 同构于<Nn ,＋n>． 第十一章 群