It is proved that a conjugate set of ω, which gives f(ω)=0 is included in the normal basis in the extension GF (PP), with respect to an irreducible polynomial of degree P, given by f(x)=xP-xP^-1+1 on the GF (P). GF(P)上のP次既約多項式f(x)=x^P −x^P-1 +1において, f(ω)=0となるωの共役集合が拡大体GF(P^P )において正規基底に含まれることを立証した。 - 特許庁