有限域基选讲.ppt

有限域基础 1. 群 群的定义 设 G 是一个集合 , G 上定义了一种运算 , 记为“ ? ” , 如果该运 算满足 i) ? a , b ? G, ( a ? b ) ? c ? a ? ( b ? c ); ii) 存在一个 e ? G, 对于 ? a ? G, 有 a ? e ? e ? a ? a 成立 , 称 e 为 G 的 单位元 ; iii) ? a ? G, 存在 a ? 1 ? G, 使得 a ? a ? 1 ? a ? 1 ? a ? e 成立 , 称 a ? 1 为 a 的 逆元 ; 则称 G 在定义的运算下构成一个群 . 若该运算还满足条件 iV) ? a , b ? G, a ? b ? b ? a ; 则称 G 在定义的运算下构成一个交换 (abel) 群 . 循环群 设 G 是一个群 , 如果存在一个 g ? G, 对任意的 b ? G, 有整 数 j ? Z, 使得 b ? a j , 称 G 为循环群 , a 为 G 的生成元 . 子群 设 G 是一个群 , 子集 H ? G, 如果 H 在 G 的运算下仍构成一 个群 , 则 H 为 G 的子群 . 例 1.1: 全体整数 Z 构成的集合在加法的运算下构成一个交 换 (abel) 群 . H ? { h ? Z | h ? 0 mod 3} 构成 G 的一个子群 . 例 1.2: 集合 F p ? {0, 1, …, p ? 1} 在加法的运算下构成一个 交换 (abel) 群 , F p * 在乘法运算下构成一个交换群 , 且都是 循环群 . 2. 环 环的定义 设 R 是一个集合 , R 上定义了两种运算 , 加法“ ? ”和 乘法“ ? ” , 如果运算满足 i) 加法运算构成 abel 群 ; ii) ? a , b , c ? R, ( a ? b ) ? c ? a ? ( b ? c ); iii) ? a , b , c ? R, a ? ( b ? c ) ? a ? b ? a ? c , ( b ? c ) ? a ? b ? a ? c ? a ; 则称 R 在定义的运算下构成一个环 . 若该运算还满足条件 iV) ? a , b ? G, a ? b ? b ? a 则称 R 为交换环 . 子环 设 R 是一个环 , 如果 S ? R 在 R 的运算下仍是一个 环 , 称 S 为 R 的子环 . 理想 设 J ? R, 如果 J 满足 i)J 为 R 的子环 ; ii) ? a ? J, r ? R, 有 ar ? J 且 ra ? J, 则称 J 为 R 的理想 . 交换环的主理想 设 R 是一个交换环且 J 是 R 的理想 , 如果存在 a ? R, 使 J ? ( a ) ? { ka | k ? J}, 则称 J 为 R 的主理想 , a 为 J 的生成元 . 例 2.1 : 全体整数 Z 对于数的加法和乘法构成一个环 , 通常称 为整数环 . 但全体正整数对于加法和乘法就不构成一 个环 , 因为不满足加法条件 iii, iv. 例 2.2 : 设 f ( x ) ? F p [ x ] 是 F p 上的多项式环中 n 次多项式 , 则 F p [ x ] / f ( x ) ? { g ( x ) ? F p [ x ] | deg( g ( x )) < n } 构成一环 , 称为 F p [ x ] 模 f ( x ) 的剩余类环 . 令 f ( x ) ? g ( x ) h ( x ); A ? { k ( x ) ? F p [ x ] / f ( x ) | g ( x ) 整除