13
« Последний ответ от 6Ж2П Вчера в 12:03:48 pm »
Апгебраисты к вопросу о корнях из комплексных чисел подходят так. Вводится понятие первообразного корня
Первообразные корни
Корень ε n-й степени из 1 называется первообразным, или примитивным, если ε ≠ 1 для
любого натурального m < n (т. е. ε не является корнем из единицы никакой меньшей степени).
В данном случае говорят также, что ε принадлежит показателю n. Из определения сразу
вытекает, что произвольное число ε может принадлежать лишь одному показателю. Легко
видеть, что
ε1 = cos(2*pi/n) + i*sin(2*pi/n)
является первообразным корнем n-й степени из 1.
Для того, чтобы корень ε n-й степени из 1 являлся первообразным,
необходимо и достаточно, чтобы величины
ε, ε2, . . . , εn−1, εn = 1
исчерпывали все значения n√1. Это утверждение эквивалентно тому, что они попарно различны.
Если ε первообразный корень n-й степени из 1, тогда для того, чтобы εk был также первообразным n-й степени, необходимо и достаточно, чтобы НОД(n, k) = 1.