指的是有限域的有限扩张的本原元的最小生成多项式，由于有限域的乘法群是循环的，所以这里的本原元即是生成元。例如：设GF(p^m)为GF(p)的m维扩张（之所以阶为p^m是因为有m维每维有p种取法），则若f(x)∈F(p)[x]且f(x)|x^(p^m-1)而不整除x^k（k
就是生成伽罗华域内元素的式子
