Skip to main content
2 of 2
Changed language for reasons of style
Geoff Robinson
  • 44.4k
  • 5
  • 123
  • 169

More generally, for any finite group $G$, Abelian or not, it is true that $Z(\mathbb{C}G)$, the center of the complex group algebra $\mathbb{C}G$, has a $\mathbb{C}$-basis of mutually orthogonal idempotents, $\{e_{\chi} : \chi \in {\rm Irr}(G) \},$ indexed by the complex irreducible characters of $G$. In other words,we have $e_{\chi}^{2} = e_{\chi}$ for each $\chi$, and $e_{\chi}e_{\mu} = 0$ when $\chi \neq \mu.$ This property ensures that the idempotents $\{ e_{\chi} \}$ are linearly independent

Given an element $X \in Z(\mathbb{C}G),$ we may write $X$ uniquely in the form $X = \sum_{\chi} a_{\chi}(X) e_{\chi}$ where the $a_{\chi}(X)$ are complex numbers, and we may check that for each $\chi$, the map $X \to a_{\chi}(X)$ is an algebra homomorphism from $Z(\mathbb{C}G)$ to $\mathbb{C}$, using the orthogonality of the idempotents $e_{\chi}$.

Notice that $a_{\chi}(e_{\mu}) = \delta_{\chi, \mu}$ by definition, and that $a_{\chi}(1_{G}) = 1$ for each $\chi.$ By Schur's Lemma, we see that $e_{\chi}$ is represented by a scalar matrix in any complex representation of $G$ affording irreducible character $\chi$, and this matrix must be idempotent, so that $\chi(e_{\chi}) = \chi(1)$

Thus we have $a_{\chi}(e_{\mu}) = \frac{\chi(e_{\mu})}{\chi(1)}$ for all irreducible characters $\chi, \mu.$ Hence we have $a_{\chi}(X) = \frac{\chi(X)}{\chi(1)}$ for all $X \in Z(\mathbb{C}G)$, since $\{e_{\mu} \}$ is a $\mathbb{C}$-basis for $Z(\mathbb{C}G).$

Consequently, we may conclude that two elements $X,Y \in Z(\mathbb{C}G)$ are equal if and only if $\chi(X) = \chi(Y)$ for each complex irreducible character $\chi$ of $G$.

In case $G$ is Abelian, the group algebra $\mathbb{C}G$ is commutative, and is equal to its center $Z(\mathbb{C}G)$. Furthermore, $G$ has $|G|$ complex irreducible characters all of degree $1$, so we obtain that $X,Y \in \mathbb{C}G$ are equal if and only if $\lambda(X) = \lambda(Y)$ for each irreducible (linear) complex character $\lambda$ of $G$.

Geoff Robinson
  • 44.4k
  • 5
  • 123
  • 169