Skip to main content
improved formatting of maths
Source Link
kodlu
  • 10.4k
  • 2
  • 36
  • 55

As to "why take the trace and not any other coefficient of the characteristic polynomial", note that for completely elementary reasons the trace of the whole representation still knows the characteristic polynomial of each individual element: for.

For instance the second-from-top coefficient of the characteristic polynomial of rho(g)$\rho(g)$ is 1/2(tr(rho(g))^2 - tr(rho(g^2))).$\frac{1}{2}(\mathrm{tr}(\rho(g))^2 - \mathrm{tr}(\rho(g^2))).$ Writing down the formula for subsequent coefficients is an exercise with symmetric functions. On the other hand, the higher coefficients of the characteristic polynomial do lose information -- e.g. non-isomorphic representations rather often have the same determinant.

As to "why take the trace and not any other coefficient of the characteristic polynomial", note that for completely elementary reasons the trace of the whole representation still knows the characteristic polynomial of each individual element: for instance the second-from-top coefficient of the characteristic polynomial of rho(g) is 1/2(tr(rho(g))^2 - tr(rho(g^2))). Writing down the formula for subsequent coefficients is an exercise with symmetric functions. On the other hand, the higher coefficients of the characteristic polynomial do lose information -- e.g. non-isomorphic representations rather often have the same determinant.

As to "why take the trace and not any other coefficient of the characteristic polynomial", note that for completely elementary reasons the trace of the whole representation still knows the characteristic polynomial of each individual element.

For instance the second-from-top coefficient of the characteristic polynomial of $\rho(g)$ is $\frac{1}{2}(\mathrm{tr}(\rho(g))^2 - \mathrm{tr}(\rho(g^2))).$ Writing down the formula for subsequent coefficients is an exercise with symmetric functions. On the other hand, the higher coefficients of the characteristic polynomial do lose information -- e.g. non-isomorphic representations rather often have the same determinant.

Source Link
D. Savitt
  • 2.7k
  • 1
  • 21
  • 31

As to "why take the trace and not any other coefficient of the characteristic polynomial", note that for completely elementary reasons the trace of the whole representation still knows the characteristic polynomial of each individual element: for instance the second-from-top coefficient of the characteristic polynomial of rho(g) is 1/2(tr(rho(g))^2 - tr(rho(g^2))). Writing down the formula for subsequent coefficients is an exercise with symmetric functions. On the other hand, the higher coefficients of the characteristic polynomial do lose information -- e.g. non-isomorphic representations rather often have the same determinant.