Primitive root existence

Let n be a positive integer. There exists a primitive root mod n exactly in the following cases and no others:

1. n = 1, 2, or 4
2. n = p^r where p is an odd prime
3. n = 2p^r where p is an odd prime