We define U(n) to be the set of all positive integers less than n and relatively prime to n. However, this definition does not state how to treat U(n) in terms of group theory.
Are we suppose to assume that any time we refer to U(n), it is to be treated as a group under multiplication modulo n? If not, where in our homework does it define how we should view U(n) in terms of groups?