Круговой многочлен

[Duelist]

vpb
Спасибо.
Я недавно разбирал доказательство, знаю, что оно нетривиально. Действительно, сам перед этим не то что бы совершил ошибку, но думал, что это тривиально, и с соответствующим настроем пытался доказать. Но всё-таки через несколько минут понял, что при строгом взгляде ничего мои элементарные действия не означают.
А там выше по ветке я написал это лайтово по модулю известного, поскольку никого как бы не было и не кому расписывать)
Вот вложение $\mathrm{Gal}(\mathbb{F}(e)/\mathbb{F})$ в $\mathbb{Z}^*_n$, где $e$ - примитивный корень степени $n$ из единицы, n не делится на $\mathrm{char}$ $\mathbb{F}$, доказать куда проще для произвольного поля $\mathbb{F}$.