[대학교이상] 정수론 원시근 질문입니다

[익명(223.62)]

a가 n의 원시근임을 보이려면 (a, n)=1이고 φ(n)의 모든 소인수 p1, p2, ..., pm에 대해

a^{φ(n)/pk}=/=1(mod n)(k=1, 2, ..., m)임만 보이면 충분한 건가요?

[뉴비(175.116)]

정수론에 이런것도 나옴?

[익명(223.62)]

a가 n의 원시근임을 조사하려면 우선 법 n에 대한 a의 위수가 될 수 있는 후보인 φ(n)의 약수들 중 φ(n)을 제외한 나머지가 a의 위수가 아님 아님을 보여야 해서요.. 그런데 약수들 전부 보일 필요가 없는 것 같다는 생각네 저렇게 소인수 하나씩만 빼놓은 φ(n)의 약수들만 조사하면 되는 건지 궁금해서 질문합니다