NTL密码算法开源库——GF2E上多项式(GF2EX)（一）

2021SC@SDUSC

多项式mod的运算方法

伽罗华域(Galois Field，GF)中关于多项式的mod运算过程，也不知道这样称合适不。这里主要是以构造GF(2^3)域为例，说明mod的运算过程，

假设本原多项式为p(x)=x^3+x+1，α定义为 p(x)= 0的根，即 α^3＋α＋1 = 0，

GF(2^3)中的元素可计算如下：

计算的方法还是比较简单，但是要知道这个过程，其他项依次类推，不太会用公式编辑器，就不再举例了。再说明一点，同幂次间的加减计算都是模2和，即按位异或运算，所以上面公式中的同幂次间的减法运算均是是系数的异或结果。

极小多项式

1.在抽象代数中，一个域上的代数元α之极小多项式（或最小多项式）是满足P(α)=0的最低次首一多项式(多项式内最高次项之系数为1) P。此概念对线性代数与代数扩张的研究极有助益。

设为一个域，为有限维-代数。对任一元素，集合张出有限维向量空间，所以存在非平凡的线性关系 ：

可以假设，此时多项式满足。根据多项式环里的除法，可知这类多项式中只有一个次数最小者，称之为的极小多项式。

由此可导出极小多项式的次数等于，而且可逆当且仅当其极小多项式之常数项非零，此时可以表成的多项式。

2.矩阵的极小多项式

考虑所有矩阵构成的-代数，由于，此时可定义一个矩阵之极小多项式，而且其次数至多为；事实上，根据凯莱-哈密顿定理，可知其次数至多为，且其根属于该矩阵的特征值集。

极小多项式是矩阵分类理论（若尔当标准型、有理标准形）的关键。

3.极小多项式域代数扩张

设k为的有限扩张，此时可视为有限维k-代数。根据域的性质，极小多项式必为素多项式。元素的迹数及范数等不变量可以从极小多项式的系数读出。