Proposition 3.1.1: The sum or product of two characters of the finite group $G$ is a character.
Proof. (Click to Expand/Collapse)
On the other hand, let $W$ be the $d d'$-dimensional vector space of $d \times d'$ rectangular matrices. Define an action $\Pi' : G \longrightarrow \operatorname{GL} (W)$ by
\[ \Pi' (g) X = \pi (g) X \pi' (g)^t, \hspace{2em} X \in W, \] | (3.1.1) |
It is not true that the characters form a ring, since although they are closed under addition and multiplication, they are not closed under subtraction. However generalized characters do form a ring. We recall that a generalized character is a difference of two characters. If $f$ is any class function on a finite group $G$, and if $\chi_1, \cdots, \chi_h$ are the irreducible characters, we know that $f$ can be written uniquely as $\sum c_i \chi_i$. Clearly:
Proposition 3.1.2: The generalized characters form a ring, called the character ring.
Proof. (Click to Expand/Collapse)
Exercise 3.1.1: Let $G = S_3$, and let $\chi_1, \chi_2, \chi_3$ be the irreducible characters, so $\chi_3 (1) = 2$. Determine the decomposition of $\chi_3^n$ into irreducibles when $n \le 10$. That is, write $\chi_3^n = a_n \chi_1 + b_n \chi_2 + c_n \chi_3$ and compute $a_n, b_n$ and $c_n$.
Exercise 3.1.2: Let $G$ and $H$ be groups, and let $\chi, \sigma$ be characters of $G$ and $H$. Prove that $\chi \otimes \sigma$ is a character, where $\chi \otimes \sigma$ is defined by \[ (\chi \otimes \sigma) (g, h) = \chi (g) \sigma (h) . \] Hint: Let $\pi : G \longrightarrow \operatorname{GL} (n, \mathbb{C})$ and $\pi' : H \longrightarrow \operatorname{GL} (m, \mathbb{C})$ be representations with characters $\chi$ and $\sigma$. Let $W$ be the vector space of $n \times m$ rectangular complex matrices, and define $\Pi : G \times H \longrightarrow \operatorname{GL} (W)$ by \[ \Pi (g, h) X = \pi (g) X \pi' (h)^t, \hspace{2em} (X \in W) . \] Compute the character.
Exercise 3.1.3: In the last exercise, if $\chi$ and $\sigma$ are irreducible characters of $G$ and $H$, prove that $\chi \otimes \sigma$ is an irreducible character of $G \times H$. (Hint: one way is to compute $\left\langle \chi \otimes \sigma, \chi \otimes \sigma \right\rangle_{G \times H}$.
Exercise 3.1.4: Prove that if $\chi_1, \cdots, \chi_h$ are distinct irreducible characters of $G$, and $\sum_i \chi_i (1)^2 = |G|$ then every irreducible character is one of the $\chi_i$.
Exercise 3.1.5: Prove that every irreducible character of $G \times H$ is of the form $\chi \otimes \sigma$ for some irreducible characters $\chi$ and $\sigma$ of $G$ and $H$. (Hint: use the criterion in the last exercise.)