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