Hi everyone. Можете объснить почему тут если так вышло, то primitive root не существует.
Ну так он же показал, что a^\frac{\phi(n)}{2} \equiv 1 \mod n для любого вычета (при составном n). Просто вспомните определение первообразного корня.
1 лайк
получается вместо ф(н)/2 должно было быть ф(н)? Только в том случае будет существовать?
да, ведь показатель первообразного корня должен быть равен \phi(n), но мы нашли число меньшее в степени которого получается 1, то есть \phi(n) / 2
1 лайк
a okok, Рахмет!