令K是域F的一个扩域．一个元素a如果它生成扩域K/F，即K=F(a)，则称该元索为该扩域的本原元。本原元很有用，因为如果a在F上的既约多项式已知，那么在F(a)上的运算会很容易进行。