For a p-cycle g∈Sp, each gk with 1≤k<p is conjugate to g. In a faithful complex representation, ρ(g) has a nontrivial pth-root eigenvalue λ, and similarity of ρ(g) and ρ(g)k puts all p−1 values λk in its spectrum. Hence the representation has dimension at least p−1.