Representation of $S_3$ example in Fulton Harris book In the Fulton/Harris book "Representation theory: a first course", section 1.3:
We are looking at any representation W of $S_3$, by just looking at the abelian group $U_3 \sim Z/3Z \subset S_3$. Let $\tau$ be any generator of $U_3$.
Why is that the book says "the space W is spanned by the eigenvectors of the action $\tau$", and "whose eigenvalues are of cause all the powers of $\omega = e^{2\pi i/3}$?  Can someone elaborate on this?
 A: $\tau$ has order 3, so its image in $GL(W)$ has order 3. (or the degenerate case, 1) This image has minimal polynomial being a factor of $x^3 - 1$, which means it's diagonalizable, with possible eigenvalues being the three third roots of unity.
A: You have $U_3$ acting on $W$ (presumably a vector space ove the complex numbers). If $w\in W$ is arbitrary, we can write
$$
w=\frac13\left([w+\tau w+\tau^2w]+[w+\omega^2\tau w+\omega\tau^2w]+[w+\omega \tau w+\omega^2\tau^2w]\right),
$$
because $1+\omega+\omega^2=0$. Here the vectors surrounded by square brackets are eigenvectors of $\tau$. The first belongs to eigenvalue $\lambda=1$, the second to $\lambda=\omega$ and the last to $\lambda=\omega^2$.
In other words $W$ decomposes into a direct sum of representations of $U_3$. These are all known to be 1-dimensional, and thus $\tau$ acts on any irreducible $U_3$-module by scalar multiplication. After you have learned a bit more representation theory, you will observe that you can replace $U_3$ with any finite abelian group. Some people would view this decomposition as discrete Fourier analysis. The representation theory of finite cyclic (actually all finite abelian) groups is surprisingly ubiquitous.
