5
$\begingroup$

A character of a group representation is obtained by taking trace of each matrix in this representation.

The word character is often used in the sense that it is a homomorphism from a group to $(\mathbb C\setminus\{0\},\cdot)$ (sometimes with some additional properties). This kind of characters arises, e.g., in Pontryagin duality or as Dirichlet characters in number theory.

Is there some relation between these two (frequently used) meanings of the world character, or is it just a coincidence that the same word was used for both of them?

  • 0
    Good work, detective. :-)2012-12-24

1 Answers 1

4

A $1$-dimensional representation of a group is a continuous homomorphism into $\Bbb C^\times$: in particular it is equal to its own trace (once we identify $\mathrm{GL}_1(\Bbb C)\cong\Bbb C^\times$). So the group homomorphism definition of characters is the $1$-dimensional case of the trace-of-a-representation definition. To copy myself:

The homomorphisms $G\to \Bbb C^\times$ are actually not the whole story of character theory, but are a very tidy chapter in it. If $V$ is a vector space (over $\Bbb C$) and $G$ finite, the homomorphisms $G\to GL(V)$ from $G$ into the general linear group of invertible linear maps are called representations, which are essentially the ways to equip $V$ with a linear $G$ action. If $\rho$ is a representation, then the map given by $\chi_\rho:G\to \Bbb C:g\mapsto\mathrm{tr}\,\rho(g)$ (the trace of the linear map associated to $g$, which is independent of basis or coordinate choice for $V$) is called a character.

If $V$ is one-dimensional (in which case we call $\rho$ and $\chi_\rho$ one-dimensional as well) then $\rho=\chi_\rho$ and the characters are multiplicative. Note that $\mathrm{tr}\,\rho(e_G)=\dim\,V$ shows the dimension can be directly computed from the character, so there is no ambiguity with respect to what dimension a character may have. With a distinguished basis we have $V\cong \Bbb C^n$ in an obvious way, so we can write $GL(V)$ as $GL_n(\Bbb C)$, in which we are working with matrix representations specifically.

(Over here.)

  • 0
    @Andrea If you want, of course. I was speaking about the meaning of the word representation when applied to topological groups. According to [PM](http://planetmath.org/TopologicalGroupRepresentation.html) for instance, the homomorphism must be continuous by definition, and if my memory doesn't betray *me*, other sources also use this definition. Although technically if we only talk about group representations and not topological group representations we drop the continuity convention, so I guess I don't need to bother saying the homo is continuous. But hey.2012-12-24