[also under discussion in math link forum]
About part b:
Since g is a primitive root mod p, the order of g (mod p) must be p-1, and we have =1(mod p)
In part b, we have to show that if gcd(k,p-1)=d>1, then does NOT form a reduced residue system mod p. If we can show that some distinct elements in the set are congruent to each other, then we're done. But how to prove show this???
Can someone kindly help me, please? I'm still puzzled...
hmm...I have no background in abstract algebra. I haven't learnt anything about groups and things like Z/pZ, so I can't follow your proof. Can you explain the proof in more basic terms, please?
I don't see why this is true...could you explain a little more on this, please??
Also, what is "a"?
How do you know that = 1 (mod p) ???Let's suppose , now look at :
for all .
Hence we've shown the order of the group , which is , divides
This forces .
Thanks for your help!
First note that .
We're given that . Hence for every , there is a corresponding such that . (A surjective map onto itself is injective too, if you like set theory.) That's what I meant when saying is solvable.
Since , by Fermat's little theorem, . Hence .I don't see why this is true...could you explain a little more on this, please??
Also, what is "a"?
How do you know that = 1 (mod p) ???
Thanks for your help!
Let me try this proof a little bit differently.
Above, I showed for all , where .
Choose such that it's a primitive root (we know one exists here). If , we would have , which is a contradiction since and for all .
Our contradiction forces as desired.