Первообразный корень (или примитивный корень) степени ${\displaystyle m}$ из единицы в поле ${\displaystyle K}$ ― это такой элемент ${\displaystyle \xi \in K}$, что ${\displaystyle \xi ^{m}=1}$ и ${\displaystyle \xi ^{\ell }\not =1}$ для любого натурального ${\displaystyle \ell <m}$.

Если ${\displaystyle K}$ ― поле комплексных чисел, то степени первообразного корня ${\displaystyle \xi }$ образуют циклическую группу корней порядка ${\displaystyle m}$ из единицы.