Определение первообразных корней

Hi again. I have such questioin: so primitive roots is a some integer a, such that order of a mod n=ф(n). Я же правильно поняла да?
И тут и в первом и во втором экзампле почему они рассматривают possible orders, ведь же он уже известен, =ф(n), разве нет?
и потом, откуда они вообще взяли двойку, почему ни 5 ни 7 ?

Да, Вы верно поняли определение первообразного корня (он же primitive root) по модулю n.

Касательного вопроса о possible orders — имеется в виду, что у любого вычета показатель (он же order) по модулю 8 может являться 1, 2 или 4. Это верно, потому что показатель должен делить \phi(n).

3 лайка