Give a conjecture describing the values of $n$ for which all of the nonzero elements of $Z_n = {0, 1, 2, . . . , n − 1}$ have multiplicative inverses.
I am guessing the point of not having $0$ included is so nonprime numbers of $n$ will now have inverses, but I want to make sure this is the case.