ここで,gf("p""m")の原始元とは,体gf("p""m")において,集合がgf("p""m")自身と等しくなる元 "α" であり,gf("p""m")における単位元1の()乗根である.