Ask your own question, for FREE!
Mathematics 6 Online
OpenStudy (rational):

HELP! primitive roots http://prntscr.com/4lfo9d

OpenStudy (rational):

i don't get these :(

OpenStudy (anonymous):

(a) Note that \((a^k)^h=a^{kh}\)

OpenStudy (rational):

\[\large a^{hk}\equiv 1 \mod n\] \[\large \left(a^{h}\right)^k\equiv 1 \mod n\] nice :)

OpenStudy (anonymous):

(b) There is only one such number such that \(a^2\equiv1\) modulo a prime and \(a\not \equiv 1\).

OpenStudy (anonymous):

(c) Assume otherwise. Then?

OpenStudy (rational):

im still in (b), one sec

OpenStudy (rational):

i was never good with quadratic congruences

OpenStudy (rational):

\(\large a^{2k}\equiv 1 \pmod p\)

OpenStudy (rational):

\(\large \left(a^{k}\right)^2\equiv 1 \pmod p\)

OpenStudy (anonymous):

So far so good.

OpenStudy (rational):

why a^k cannot be 1 ?

OpenStudy (rational):

i mean, why a^k cannot be 1 mod p ?

OpenStudy (anonymous):

Because if it was, then what would the order be?

OpenStudy (rational):

it could be 1 or -1, right ?

OpenStudy (anonymous):

You should probably ask the question why it shouldn't be anything BUT -1 or 1.

OpenStudy (rational):

a^k has to be of form \(\large pq \pm 1\) i think

OpenStudy (rational):

but its same as \(\pm 1\) in \(\large \mod p\)

OpenStudy (anonymous):

Yes, but why?

OpenStudy (rational):

because p | pq ?

OpenStudy (anonymous):

I'm not sure where the statement \(pq \pm 1\) is coming from. Did you prove that already?

OpenStudy (rational):

im not sure i answer ur question, im not sure myself haha! idk if there is a clean way to explain this

OpenStudy (rational):

\(\large x^2 \equiv 1 \mod p\)

OpenStudy (anonymous):

All right. Perfect.

OpenStudy (rational):

we're solving \(\large x\)

OpenStudy (anonymous):

Yep, now the question is why couldn't it be 1?

OpenStudy (anonymous):

If \(a^k\equiv 1\), what would be the order of \(a\), then?

OpenStudy (rational):

x can be 1 or -1, both satisfy x^2 = 1 mod p

OpenStudy (rational):

Oh wait, you're asking about order

OpenStudy (rational):

order of a will be k ?

OpenStudy (rational):

but we're given that order of a is 2k, impossible so discard -1 got it got it :)

OpenStudy (anonymous):

Right, but we said that the order is \(2k\), so that contradicts our statement, thus \(a^k\equiv -1\).

OpenStudy (anonymous):

Exactly.

OpenStudy (rational):

thank you :) i see c is right, but just wondering if there a neat way to phrase the argument

OpenStudy (rational):

if the order is not n-1, then there exists some divisor less than n making n a composite this will do ?

OpenStudy (anonymous):

That seems like a difficult statement to prove. I would go for, if \(n\) is not prime then its order must be less than \(n-1\).

OpenStudy (anonymous):

Of course, in this case I am assuming Euler's theorem, so that's bad.

OpenStudy (anonymous):

I'm also going to sleep since it is 4:33 AM here... and I'm still up.

OpenStudy (anonymous):

Oh, wait, no, you need a really weak version of Euler's which is just for primes, but it's pretty clear.

OpenStudy (anonymous):

So, go for it, try it out.

OpenStudy (ikram002p):

remember that pi(n) for composite number <n-1

OpenStudy (rational):

go out and watch the night sky, at ~4am it looks so beautiful !! thanks for all the help, have good sleep :)))

OpenStudy (ikram002p):

any order is <=n-1 as well thus n has to be prime is order =n-1

OpenStudy (rational):

got the idea, il put some words and manage this thanks !

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!