A question about Galois representations Let $K$ be a number field and $(\rho,V)$, $(\rho',V')$ be two Galois representations of $\mathrm{Gal}(\overline{\mathbb{Q}}/K)$. Suppose that for some positive integer $n$ we have $\mathrm{Sym}^n\rho\cong\mathrm{Sym}^n\rho'$.
Does this imply the existence of a finite algebraic extension $L/K$ such that $\rho_{|\mathrm{Gal}(\overline{\mathbb{Q}}/L)}\cong\rho'_{|\mathrm{Gal}(\overline{\mathbb{Q}}/L)}$?
 A: Assume $\rho$ and $\rho’$ are semi simple. Then the monodromy group of $\rho + \rho’$ is reductive. It suffices to answer the question in the category of representations of this reductive group. By passing to a finite index subgroup, we may assume that it is connected. For connected reductive groups, two representations are equivalent if and only if they are equivalent as representations of the maximal torus. So it suffices to prove, if the $\operatorname{Sym}^n$s of two reps of a torus are equivalent then they are equivalent. In other words, given two finite multisets of lattice points, if the sums of $n$ elements sampled without replacement from each are equal then they are equal. This can be proved inductively by totally ordering the lattice and checking that the largest elements are equal (division by $n$), then the next largest (subtract the second largest element of the set of sums from the largest) then the third largest (remove all sums of the first two and look at the largest remaining) and so on.
