LOG#088. Group theory(VIII).

200px-Schur

Schur’s lemmas are some elementary but very useful results in group theory/representation theory. They can be also used in the theory of Lie algebras so we are going to review these results in this post (for completion).

FIRST SCHUR’S LEMMA. If D_1 and D_2 are 2 finite-dimensional irreducible representations of G, and if A is certain linear map (generally a matrix) from D_1 to D_2 such as it commutes with the action of the group (for any element g\in G), i.e.,

AD_1(g)=D_2(g)A

then at least one of the following consequences holds:

1) A is invertible, and then the representation are necessarily equivalent.

2) A=0.

SECOND SCHUR’S LEMMA. If A is a complex matrix of order n that commutes with every matrix from an irreducible representation D(G)

AD(g)=D(g)A\forall g\in G

Then, A must be a scalar matrix multiple of the identity matrix, i.e., A=\lambda I.

Schur’s lemmas and their corollaries are used to prove the so-called (Schur’s) orthogonality relations and to develop the basics of the representation theory of finite groups. Schur’s lemmas admits some generalizations to Lie groups and some other kind of structures, such as Lie algebras and other sets of operators or matrices. Therefore, it is important to understand Schur’s lemmas!

Consequences of these lemmas:

1) Irreducible representations of an abelian finite group are one dimensional.

2) Orthonormality of group representations. Let G be a finite group, and D_\mu, D_\nu two irreducible representations of G. Then,

\displaystyle{\dfrac{N_{(\mu)}}{N_G}\sum_{g\in G}\left[D^{-1}_\mu (g')\right]_{ki}\left[D_\nu (g)\right]_{jl}=\delta_{\nu\mu}\delta_{jl}\delta_{kl}}

3) Completeness of irreducible representations. Let G be a finite group and (D_\mu)_{\mu\in A} the set of every irreducible representation of G. Then,

\displaystyle{\sum_{\mu \in A}\dfrac{N_{(\mu)}}{N_G}\mbox{Tr}\left[D_\mu (g)D^{-1}_\mu (g')\right]=\delta_{gg'}}

4) The number of irreducible representations of a finite group is finite and they can be computed with the aid of the following formula:

\displaystyle{\sum_{\mu\in A}(\mbox{dim}D_\mu)^2=\vert G\vert}

We can give some elementary examples of irreducible representations of abelian (finite) groups.

1) For G_2=\left\{e,a\right\}, then 2=1^2+1^2 and so there are two and only two irreducible representations, both one dimensional:

D_1(e)=1 D_1(a)=1

D_2(e)=1 D_2(a)=-1

2) For G_3=\left\{e,a,a^2\right\}, then 3=1^2+1^2+1^2 and there are 3 irreducible representations:

D_1(e)=1 D_1(a)=1 D_1(a^2)=1

D_2(e)=1 D_2(a)=\exp\left(\dfrac{2\pi i}{3}\right) D_2(a^2)=\exp\left(\dfrac{4\pi i}{3}\right)

D_3(e)=1 D_3(a)=\exp\left(-\dfrac{2\pi i}{3}\right) D_3(a^2)=\exp \left(-\dfrac{4\pi i}{3}\right)

3) For G_4 we have two cases: 4=1^2+1^2+1^2+1^2 and 2^2. And then we have:

3.1) The case of the cyclic group C_4=\left\{e,a,a^2,a^3\right\} with 4 unidimensional representations

D_1(e)=1 D_1(a)=1 D_1(a^2)=1 D_1(a^3)=1

D_2(e)=1 D_2(a)=i D_2(a^2)=-1 D_2(a^3)=-i

D_3(e)=1 D_3(a)=-1 D_3(a^2)=1 D_3(a^3)=-1

D_4(e)=1 D_4(a)=-i D_4(a^2)=-1 D_4(a^3)=i

3.2) The case of the Klein group K_4=\left\{e,a,b,ab\right\} where a^{-1}=a,b^{-1}=b and (ab)^{-1}=ab with ab=ba. The representations of this group, in the unidimensional case, are given by:

D_1(e)=1 D_1(a)=1 D_1(a^2)=1 D_1(a^3)=1

D_2(e)=1 D_2(a)=-1 D_2(a^2)=1 D_2(a^3)=-1

D_3(e)=1 D_3(a)=-1 D_3(a^2)=-1 D_3(a^3)=1

D_4(e)=1 D_4(a)=1 D_4(a^2)=-1 D_4(a^3)=-1

Of course, you can build the matrix representation of the above group representations as a nice homework. :).

See you in another blog post!

Advertisements


Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s