chapter4-3.docVIP

第四章 多项式环与有限域 符号. Z: 整数，Z+: 正整数，N: 自然数 Fp: p特征素子域, Fq: q阶有限域，: p特征域, : Fq的扩展域 Fq[x]: Fq上所有多项式的集合 Fq[x]/f(x): Fq[x]关于f(x)的剩余类环 p(f): f(x)的周期 一、剩余类环 理想 交换环R中的非空子集I称为R中的理想，若： (1) ( a, b ( I: a-b ( I; (2) ( a ( I, r ( R: ar =ra ( I; (1)+(2) ( 理想是个子环， (2) ( I 中任一元素a的倍数在 I中，即I由R的一些元素（可以是多个）的倍数组成。 主理想 由单个元素的倍数组成。 主理想环 每个理想都是主理想。 定理1 (定理4.1.2, p112) 设I 为可换环R的一个理想，则R/I构成一个可换环，称为模I的剩余类环。 二 、多项式环 定理2 (补充) Fq[x]构成一个环。 定理3 (定理4.2.11, p122) 集合G与G( 同构 ( （G为群(环、域) ( G(为群(环、域) ）. 三、基于多项式的有限域 定理3* (定理4.5.10, p137) f(x)是Fq上素多项式 ( Fq[x]/f(x)是一个域。 四、循环群 循环群 由某个元素的所有整数幂组成的群 { (0, ((1, ( (2, ( (3 , …. }, ( 称为生