А в каких случаях можно?
Можно, если степень взаимно проста с

:

.
Замечу еще, что если порядок

равен

и

, то и порядок

тоже равен

(в частности, если

- образующая, то и

- образующая).
Это все верно не только в

, но и в любой циклической конечной коммутативной группе (в частности и для сравнений по нечетным составным модулям).
(обратите внимание на запись сравнений в ТеХе)