How do you proof that -1 congruent to x^4 mod p is solvable iff (-1)^(p-1/d) is congruent to 1 mod p where d= gcd(4,p-1)?

i was trying to use euler theorem that (-1)^(p-1) is congruent to 1 mod p then how else can i continue?

Printable View

- Apr 20th 2012, 07:48 AMalexandrabel90solvable congruent
How do you proof that -1 congruent to x^4 mod p is solvable iff (-1)^(p-1/d) is congruent to 1 mod p where d= gcd(4,p-1)?

i was trying to use euler theorem that (-1)^(p-1) is congruent to 1 mod p then how else can i continue? - Apr 20th 2012, 06:39 PMSylvia104Re: Solvable congruent
I take it you want to be prime. The case is trivial, so we'll assume to be odd. Then if and if

If then by Euler's criterion In this case is not a quadratic residue modulo (and so it certainly can't be a quartic residue modulo we also have

Consider

(i) Suppose As in this case, by Fermat's little theorem.

(ii) Conversely suppose Then is even, i.e. Let be a primitive root and set Then divides But cannot divide otherwise which would contradict the fact that, as a primitive root, has order in the multiplicative group of the integers modulo Hence divides and we are done.