有限域 有限域的结构 有限域特征.pptVIP

第二章 有 限 域 结 构 1 ? 有限域的特征 ? 特征的含义 ? 无零因子含幺环的特征 : 0 或者素数 ? 素域： Q 和 Z/( p ) = {0,1, … , p ? 1} ? 定理 设 F 是域 , P 是 F 的素域 . ? 若 char F = p , 则 P ? Z/( p ). ? 若 char F = 0, 则 P ? Q. ? 有限域的特征是素数 ? 无限域的特征一定是 0 吗？ 2 ? 有限域的元素个数 ? 特征为 p 的有限域 F 都是 F p 上的有限（维数）扩张。 ? | F | = p n , n = [ F : F p ]. ? 任意给定素数 p 和正整数 n , 是否一定存在 p n 元有限域？ ? 如何构造有限域？ 3 ? 有限域的存在性与唯一性 ? 存在性 ? 定理 对每个素数 p 和每个整数 n , 存在 p n 元有限域 . 证明 ? q = p n , F 是 x q ? x 在 F p 上的分裂域 . ? S = { a ? F | a q ? a =0} ? S = F . 4 ? 唯一性 ? 定理 设 F 是 q = p n 元有限域 , 则 F 是同构于 x q ? x 在 F p 上的分裂域 . ? q 元有限域记为 F q 5 Characterization of Finite Fields ? 子域的存在唯一性 ? 定理 设 q = p n , 若 E 是 F q 的子域，则 | E | = p m , 其中 m 是 n 的正因子；反之 ，若 m 是 n 的正因子，则 F q 有 唯 一 的 p m 元子域。 ? 例： F 2 30 的全体子域 6 ? 设 f ( x ) 是 F p 上的 n 次不可约多项式 ? F p [ x ] 中的同余关系 ? a ( x ) ? b ( x ) mod f ( x ) ? f ( x ) | a ( x ) ? b ( x ) over F p ? 任意给定的 g ( x ) ? F p [ x ] 与 F p [ x ] 中某个次数小于 n 的多项 式（包括 0 ）同余 ? g ( x ) = f ( x ) q ( x ) + r ( x ), r ( x ) = 0 或 deg( r ( x )) n ? g ( x ) ? r ( x ) mod f ( x ) ? F p [ x ] 模 f ( x ) 的全体两两不同余的代表元为 7 p n ? 设 f ( x ) 是 F p 上的 n 次不可约多项式 ? F = { r ( x ) ? F p [ x ] | r ( x ) = 0 或 deg( r ( x )) n } ? 多项式的加 : g ( x ) + h ( x ) ? 模 f ( x ) 的乘法 : g ( x ) h ( x ) (mod f ( x )) ? 是否域？ ? F 关于加法构成群 ? F \{0} 关于乘法构成群 ? F 是 p n 元有限域 8 F p [ x ]/( f ( x )) ? F ? 16 元有限域 F 2 4 ? f ( x ) = x 4 + x +1 是 F 2 上的不可约多项式 F = ( {0, 1, x , x +1, x 2 , x 2 +1, x 2 + x , x 2 + x +1 , x 3 , x 3 +1 , x 3 + x , x 3 + x +1 , x 3 + x 2 , x 3 + x 2 +1 , x 3 + x 2 + x , x 3 + x 2 +1}, + , ? mod f ( x ) ) ? F 2 [ x ]/( x 4 + x +1) ? F 9 ( x 2 + x ) + ( x 3 + x +1) = x 3 + x 2 +1