Понятие "первообразный корень по модулю

" вводится для любого натурального

. Другое дело, что первообразные корни по модулю

существуют не при любом

. Ответ на вопрос, для каких

существуют первообразные корни, даёт теорема Гаусса о первообразных корнях. Погуглите или загляните в учебник по элементарной теории чисел (например, Нестеренко "Теория чисел", М., Академия, 2008).