Talk:Brauer–Nesbitt theorem

Please do someone add the informations "Let $G$ be a group and $E$ be some field. If $\rho_1:G\to GL_n(E)$ and $\rho_2:G\to GL_n(E)$ are two finite-dimensional semisimple representations such that the characteristic polynomials of $\rho_1(g)$ and $\rho_2(g)$ coincide for all $g\in G$, then $\rho_1$ and $\rho_2$ are isomorphic representations. If $char(E)=0$ or $char(E)>n$, then the condition on the characteristic polynomials can be changed to the condition that the traces of $\rho_1(g)$ and $\rho_2(g)$ coincide for all $g\in G$. As a consequence, let $\rho:Gal(\overline{K}/K)\to GL_n(\overline{Q}_l)$ be a semisimple (continuous) $l$-adic representations of the absolute Galois group of some field $K$, unramified outside some finite set of primes $S$. Then the representation is uniquely determined by the values of the traces of $\rho(Frob_p)$ for $p\notin S$ (also using the Chebotarev density theorem)." into the Wikipedia article with proper English. It is very important.--77.1.129.34 (talk) 14:20, 11 January 2021 (UTC)