设Fq是q个元的有限域,其特征为p。设Fq[t]是Fq上的多项式环。以e(·)表示Fq上关于■的形式Laurent级数域的一个固定的非平凡特征。对于k∈N且k≥2,a,b∈Fq[t], m=(m1,…,mk)∈(Fq[t])k,定义完全指数和■。证明了下面的结果:假定b≠0, gcd(b,a)=1, gcd(b,m1,…,mk)=1,如果p>k,则■,此处,C2=1;当k≥3时,■。