page1966      Rings      Matthias Lorentzen...mattegrisenforlag.com


Look at the picture beneath, then scroll down to the question and click the correct Answer button.

Question

Consider the homomorphism
`f: ZZ_p ^"*" rightarrow ZZ_p ^"*"` defined by `f(x) = x^2`(mod p), where p is a prime p > 2. The kernel of this homomorphism, ker(f), is the set of elements in `ZZ_p ^"*"` that are mapped to the multiplicative identity 1 (mod p). Which of the following correctly describes the elements in the kernel for p > 2:
A) ker(f) = {`x in ZZ_p ^"*" : x^2 = a` (mod p) for some quadratic residue a}.
B) ker(f) = {`x in ZZ_p ^"*" : x^2 = 1` (mod p)} ?