Problem:
Let be the roots of (in some order). Consider the set
Let be the maximum possible number of unique values in , and let be the minimum possible number of unique values in . Find .
Solution
Solution:
Throughout this solution, assume we're working modulo .
First, . Let be a primitive st root of unity. We then let , which we can do because is prime, so exists for all nonzero and . Thus the set contains only one distinct element, .
is impossible. Fix , a primitive st root of unity, and let for each . Suppose that there are distinct such exponents; then permutes the set . Fix , a primitive root of ; write and . Then and is a permutation of this set, as is . However, this is impossible: , which is a contradiction. Thus there cannot be distinct exponents.
is possible. Again, let be a primitive root of unity and let , except when , in which case let be the last possible root. Notice that if and only if , so this will produce different elements in the set.
Thus .