第2章近世代数.pptVIP

*天津大学电子信息工程学院*2.本原多项式（PrimaryPolynomials） 定义：对于有限域GF(q)上的m次既约多项式P(x)，若能被它整除的最简首一多项式（xn-1）的次数为：则称这个多项式P(x)为本原多项式。本原多项式一定是既约的；但既约多项式未必是本原的。第30页，共58页，星期日，2025年，2月5日*天津大学电子信息工程学院*3.多项式循环群（CycleGroup）定义：群内的所有元素由多项式?的各次幂构成，称为多项式循环群。多项式?是一个群元素，被称为循环群的生成元。例2-8，{1，?1，?2，?3，?4，?5，…，}构成无限循环群；若?7=1，以{1，?1，?2，?3，?4，?5，?6}为周期，则称{?0=1，?1，?2，?3，?4，?5，?6}为7阶有限循环群。第31页，共58页，星期日，2025年，2月5日*天津大学电子信息工程学院*域存在定理定理2.1若f(x)是有限域GF(q)上的m次既约多项式，则GF(q)域上次数小于m的多项式的全体，在模q加、模f(x)乘运算下构成一个qm阶有限域。称其为是GF(q)的扩展域（ExtensionField），记为GF(qm)。称GF(q)是GF(qm)的基域。第32页，共58页，星期日