4
$\begingroup$

a) What does it mean to say that the Character of a representation is irreducible on its own?

b) If Char($K$) is $0$ then kernel of character is a normal subgroup of G , why ??

c) Over a field of char $0$ , representation are isomorphic iff they have the same Character. why ?

What is so special about the field being Char $O$ ?

  • 0
    [link](http://en.wikipedia.org/wiki/Character_theory) can you look up here and what you think about it on the kernel of a Character. :)2012-04-19

2 Answers 2

3

(a) We say a character $\chi$ associated with representation $\varphi$ is irreducible if and only if the representation $\varphi$ is irreducible.

(b) In characteristic 0, the kernel of the character turns out to be exactly the kernel of the corresponding representation.

(c) This one is much more complicated. This essentially boils down to using orthogonality relations among characters. The idea is that if two characters match, then the inner product of these characters with some irreducible character will match and it turns out that this inner product is the number of times the corresponding irreducible representation appears in the representations in question. Thus because both representations decompose into the same number of copies of various irreducible representations, they must be isomorphic. To get a really good sense of what is going on here, just pick up a book on representation theory and read the chapter(s) on character theory. [For example: Martin Burrow's Representation Theory of Finite Groups (a cheap dover book) is quite accessible.]

Why is char 0 theory so different? Because much of group representation theory revolves around having an invariant inner product. The standard inner product is formed by "averaging over the group". So to compute this "average" you need to divide by the order of the group. If the group's order is not invertible, this cannot be done. So no inner product. So you can't use the standard techniques.

Do note though that characteristic p theory does go through about the same if the order of the group n is relatively prime to p. Why? Because if n and p are relatively prime, then n is invertible in a field of char p so we can form the invariant inner product etc. [All the standard techniques work.]

  • 0
    @ Bill Thanks a lot, that was wonderful .2012-04-19
3

I will try to answer your questions:

  1. The only time I have seen the words "irreducible character", it was a short way of saying "character of an irreducible representation". But I could be wrong.
  2. Edit: For a character $\chi$ associated to a representation $(V,\rho)$, we define the kernel of $\chi$ to be $\ker_\chi:=\{g\in G:\chi(g)=\chi(1_G)\}$ (I wasn't aware of this terminology). Now, if $g\in\ker\rho$, then clearly $\chi(g)=\chi(1_G)$, even in positive characteristic. Now, if you're working over characteristic 0 and $g$ is such that $\chi(g)=\chi(1_G)$, then $g\in\ker(\rho)$, because $\rho(g)$ is semisimple of finite order, so its eigenvalues are roots of unity, and so having the same trace as the identity implies it is equal to the identity. Therefore, $\ker_\chi$ is a normal subgroup, because it is equal to the kernel of $\rho$, which is clearly a normal subgroup. Now, in characteristic $p$, I imagine you could get a $p$-dimensional representation (so in particular, $\chi(1_G)=0$), where some element $g$ has all $p$-th roots of unity as eigenvalues (there would be a problem of existence of $p$-th roots of unity here) has trace 0 without being in the kernel of $\rho$.
  3. Basically, it follows from the fact that characters coming from distinct irreducible representations will be orthogonal with respect to a suitably defined inner product on the space of class functions. Moreover, their "norm" will be equal to 1, and since the number of distinct irreducible representations of a finite group $G$ is equal to the number of conjugacy classes, it follows that the set of characters associated to the irreducible representations is an orthonormal basis (for the space of class functions). Now, using Frobenius reciprocity and the fact that any representation is semisimple will give you the result. Namely, if $V$ is a representation of $G$ with character $\chi$, and $\chi_1,\ldots,\chi_r$ are the characters of the irreducible representations, then $\langle\chi,\chi_j\rangle$ will give you the multiplicity of $\chi_j$ in $V$ (by Frobenius). These multiplicities uniquely determine the representation $V$ (by semisimplicity).

Now, in all I have said, we don't really need the field to be of characteristic zero. The most important thing is that the characteristic of your field of definition should not divide the order of the group (otherwise, you won't have semisimplicity). You might need you field to be algebraically closed to prove that characters uniquely define representations, but I am not sure about that.

  • 1
    @Vedananda Yes. If you look at the Wikipedia page on character theory, you'll find the same definition there. It seems like an odd definition at first, but the whole point is to make the character's kernel match the representation's kernel.2012-04-19