本文证明了定理设F是一个特征为P的含P~a个元的有限域.f(x)=f_1(x)~l1…f_k(x)~lk是f(x)在多项式环F[x]中的标准分解式,f_i(x)是最高系数为1、次数为n_i的不可约多项式.那么f(x)有原根的充分必要条件为当p≥3时:k=1同时l_1=1,α及n_1为自然数或k=1同时l_1=2,α=n_1=1;当P=2,k=1时:l_1=1,α及n_1为自然数或l_1=2,α=n_1=1或l_1=3,α=n_1=1;当P=2,k>1时:α=1以及下面五种情形之一:一、f(x)=x~2f_
