前言:僅個人小記。
域,p是素數。
域是域的擴域,即。
如果是一個度爲 n 的不可約多項式,則
顯然,中度小於n的多項式一共有。這與中的元素個數爲是吻合的。
前言:僅個人小記。
域Fp,p是素數。
域Fpn是域Fp的擴域,即Fp<Fpn。
f(x)∈Fp[x]={Σi=0naixi,ai∈Fp},其中n不受限制
如果f(x)是一個度爲 n 的不可約多項式,則Fpn≅<f>Fp[x]={Fp[x]中所有度小於n的多項式}
顯然,Fp[x]中度小於n的多項式一共有pn。這與Fpn中的元素個數爲pn是吻合的。