I think that the problem statement on this practice question is incorrect, but I don't want to assume that.
The statement is: Let F be a field whose characteristic does not divide n. Prove that f(x) = $x^n − 1$ is separable over F and that the Galois group of f is isomorphic to a subgroup of $(Z/nZ)^×$.
Proving that f is separable: f'(x) = $nx^n-1$ is relatively prime to f(x) since the factors of f' are just n-1 copies of x. If a function is relatively prime to its derivative in a field, then it is separable over that field.
While proving that the Galois group is isomorphic to a subgroup of $(Z/nz)^x$ I ran into some trouble. I think it is just isomorphic to $(Z/nz)^x$ not a subgroup.
My proof is: Since f is separable in F, we must have that L the splitting field for f is a subfield of F. Since all splitting fields are unique up to isomorphism we know L $\cong $ $\mathbb Q$[w, $w^2$, ..., $w^n$,] where w is the primitive nth root of unity.
These roots form a cyclic group of order n, and Aut(Z/nZ) $\cong $ $(Z/nZ)^×$ So the Galois Group (which is the group of permutations of the roots) is isomorphic to $(Z/nZ)^×$.
My issue is that it is isomorphic to the multiplicative group itself, not a subgroup and in a followup problem I am asked to construct a field for $x^15-1$ where the Galois group is a proper subgroup of (Z/15Z)$^x$.
Any insight on this would be awesome! Thanks.