Summary Group Theory

Download as pdf or txt
Download as pdf or txt
You are on page 1of 41

Imperial College

Group Theory Summary


Lecture notes
January 14, 2009

A summary of Dr. A. Hanany’s lectures during the autumn term 2008

Matthieu Schaller
Group Theory Summary

The universe is an enormous direct product of representations of symmetry groups.


Steven Weinberg

The picture on the title page is a 2-dimensionnal projection graph of E8 , the largest
complex exceptionnal Lie group. It has been discovered in 1889 by Wilhelm Killing. It has
dimension 248 and rank 8.

1
Group Theory Summary

This document is not official

2
CONTENTS Group Theory Summary

Contents
Foreword 5

1 Notation Conventions 6

2 Abstract Group Theory 7


2.1 Definiton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2 Basic properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.3 Finite and infinite groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.4 Multiplication Tables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.5 Subgroups and Cosets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.6 Classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.7 Product Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.8 Factor Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

3 List of usual finite groups 13

4 Representation of groups 14
4.1 Homomrphisms and Isomorphims . . . . . . . . . . . . . . . . . . . . . . . . . 14
4.2 Representations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
4.3 Reductible and Irreducible Representations . . . . . . . . . . . . . . . . . . . 16

5 The Great Orthogonality Theorem 17

6 Characters and Character Tables 19


6.1 Orthogonality relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
6.2 The decomposition Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
6.3 The regular representation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
6.4 Character Tables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

7 Permutation Groups 22
7.1 Permutations and Cycles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
7.2 Young Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
7.3 Young Tableaux and Sn irreps . . . . . . . . . . . . . . . . . . . . . . . . . . 24

8 Continous Groups and Lie Groups 26


8.1 Definitions and examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
8.2 Compact and Non-Compact Lie Groups . . . . . . . . . . . . . . . . . . . . . 27
8.3 Matrix Generators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
8.4 Exponential of infinitesimal Generators . . . . . . . . . . . . . . . . . . . . . 28

9 Introduction to Lie Algebras 30


9.1 Definition and examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
9.2 Generators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
9.3 Subalgebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
9.4 Structure constants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
9.5 Lie Algebras and Lie Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
9.6 Lie Algebras of product Lie Groups . . . . . . . . . . . . . . . . . . . . . . . . 32

10 Orthogonal Groups 34
10.1 O(n) groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
10.2 SO(n) groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
10.3 The SO(2) group . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
10.4 The SO(3) group . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

3
CONTENTS Group Theory Summary

11 Unitary Groups 37
11.1 U (n) groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
11.2 The U (1) group . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
11.3 SU (n) groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
11.4 The SU (2) group . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
11.5 The SU (3) group . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
11.6 SU (n) groups and Young Tableaux . . . . . . . . . . . . . . . . . . . . . . . . 38

12 Other Lie Groups 39


12.1 Sp(2n) groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
12.2 Exceptional groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

13 Group theory in Physics 40

4
CONTENTS Group Theory Summary

Foreword
Important remarks
This document has not been checked by the lecturer and I cannot ensure that everything is
true.

For obvious reasons of ecology, please print this document only if you really need it.

About this document


This documents is a summary of Dr. Amihay Hanany’s lectures on Group Theory that I
followed during one term between October and December 2008. Some informations also
come from the lecture notes form the same course at EPFL and from different sources in
books or on the web.

Only a few explanations are given and the theorem’s proofs are left out. It contains also
some elements of Lie Algebra and representation theory.

If you find a mistake, if you have some suggestions to improve this document or if you
want to correct my poor English, take contact with me. The last version of this document
can always be found on my website1 .

If this document has helped you or if you enjoyed (!) it, feel free to tell me.

Acknowledgements
Thanks to Fabien Margairaz for his help setting up the LATEX style of this document.

Matthieu Schaller
[email protected]

1 http://www.matthieu-schaller.no-ip.fr (Mathematics projects part)

5
1 Notation Conventions Group Theory Summary

1 Notation Conventions
Sets

• N: Set of natural numbers. (0 ∈ N)


• Z: Set of integers.
• Z+ = N∗ : Set of positive integers.
• R: Set of real numbers.

• C: Set of complex numbers


• Z: Either R or C.
• {A : B}: Set of all A such that the property B is true

• X ∩ Y = {z : z ∈ X and z ∈ Y }
• X × Y = {(x, y) : x ∈ X and y ∈ Y }

Symbols used
• ∀: for all.
• ∃: There exists and ∃! there exists a unique.

• ∈: belongs to.
• ⊂: is included in (is a subset of).
• ⇒: implies.
• ⇔: if and only if.

• ≡: is equivalent to.

Example 1.1. ∀n ∈ N, ∃!n + 1 ∈ N ⊂ R

Complex numbers
• z: Complex conjugate. a + bi = a − bi

• |z|: Absolute value. |a + bi| = a2 + b2

Matrices
• Aij : A matrix.
• [A]ij : The element in row i and column j of the matrix A.

• Id: The identity matrix. [A]ij = δij


• AT : Transpose of a matrix. [AT ]ij = [A]ji

• A∗ : The hermitian adjoint of a matrix. [A∗ ]ij = [AT ]ij = [A]ji


P
• Tr(A): Trace of a matrix. Tr(A) = i [A]ii
• det(A): Determinant of a matrix.

6
2 Abstract Group Theory Group Theory Summary

2 Abstract Group Theory


2.1 Definiton

Definition 2.1 (Group). A group G is a set of elements {g1 , g2 , g3 , ...} together


with a composition law which has the following four properties:
1. Closure. The composition of two elements in G, written gi gj , is itself an
element of G. gi gj ∈ G ∀gi , gj ∈ G
2. Associativity. The composition law is associative.
gi (gj gk ) = (gi gj )gk ∀gi , gj , gk ∈ G
3. Identity. There exists an element, called identity and denoted as e, such
that egi = gi e = gi ∀gi ∈ G
4. Inverses. Every element gi in G has an inverse, denoted as gi−1 , which is
also in G and such that gi gi−1 = gi−1 gi = e

The composition law is not always the usual multiplication but the notation is the same.
By analogy, the notation gi2 means gi gi . The associativity property implies that the paren-
theses are superfluous.
Example 2.1. The set {0, 1, 2, 3} with the composition law being the addition modulo 4
operation is a group, usually denoted as Z4 .

Example 2.2. The set of all permutations of 3 elements is a group. Its composition law
corresponds to perform successive permutations. It is usually denoted as S3 . The 6 elements
of this group are:      
123 123 123
e≡ , a≡ , b≡
123 213 132
     
123 123 123
c≡ , d≡ , f≡
321 312 231
The letters used here to describe these elements will be the same in the rest of this document.

Definition 2.2 (Abelian Group). An Abelian group G is a group in which the


composition law is commutative. gi gj = gj gi ∀gi , gj ∈ G

Example 2.3. Z4 is an Abelian group and S3 is not. (It is the smallest non-Abelian group.)

2.2 Basic properties

Theorem 2.1 (Uniqueness of the identity). The identity element e in a group G


is unique.

Theorem 2.2 (Uniqueness of inverses). For each element gi in group G, there is


a unique element b in G, such that gi b = bgi = e

7
2.3 Finite and infinite groups Group Theory Summary

These two theorems imply that one can talk form the inverse and the identity without
ambiguity.
Example 2.4. In Z4 , the identity element is the element 0.

Theorem 2.3 (Cancellation). In a group G, the left and right cancellation laws
hold.
gi gj = gi gk ⇒ gj = gk ∀gi , gj , gk ∈ G and
gj gi = gk gi ⇒ gj = gk ∀gi , gj , gk ∈ G

2.3 Finite and infinite groups

Definition 2.3 (Order of a group). The order of a group G, denoted as |G|, is


the number of elements contained in the group.

Example 2.5. The order of Z4 is 4, as this group contains 4 elements.


Similarly, |S3 | = 6

Definition 2.4 (Order of an element). The order of an element gi , denoted as


|g |
|gi |, is the smallest positive integer such that gi i = e.

This implies that |e| = 1.

Definition 2.5 (Period of an element). The period of an element g is the collection


of elements {e, g, g 2 , g 3 , ...g |g|−1 }.

The period of a group is generally different from the set of elements in the group.

Example 2.6. In Z4 , |0| = 1, |1| = 4, |2| = 2, |3| = 4 and the different periods are:
{0, 2}, {0, 1, 2, 3}, {0, 3, 2, 1}.

Definition 2.6 (Cyclic group). A cyclic group is a group based on the set of
n different objects {g, g 2 , g 3 , ..., g n }, where g n = e. The element g is called the
generator of the group.

Cyclic groups of order n are denoted as Zn and all cyclic groups are Abelian.
All groups whose order are prime numbers are cyclic.
Example 2.7. Z2 is the smallest non-trivial cyclic group.

8
2.4 Multiplication Tables Group Theory Summary

2.4 Multiplication Tables

Definition 2.7 (Multiplication Table). The multiplication table of a group is a


squared array whose rows and columns are labelled by the elements of the group
and the entries correspond to the products. The element gij is the product of the
element gi and gj .

The multiplication table fully defines a group.


Example 2.8. The multiplication table of Z4 is :

0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2

A group is Abelian if and only if its multiplication table is symmetric about the main
diagonal.

Theorem 2.4 (Rearrangement Theorem). If {e, g1 , g2 , ...g|G|−1 } are the elements


of a group G and if gi is any element of the group, then the set of elements

Ggi = {egi , g1 gi , g2 gi , ..., g|G|−1 gi }

contains each group element once and only once.

This theorem implies that each group element appears once and only once on each row
and column of the multiplication table and hence, gives an easy way to compute multipli-
cation tables.
Example 2.9. The multiplication table of S3 is :

e a b c d f
e e a b c d f
a a e d f b c
b b f e d c a
c c d f e a b
d d c a b f e
f f b c a e d

2.5 Subgroups and Cosets

Definition 2.8 (Subgroup). A subset H of the elements of a group G is a sub-


group of G if it is a group with the same composition law than G.

Example 2.10. The group Z4 has 3 subgroups:

{0}, {0, 2}, {0, 1, 2, 3}

9
2.5 Subgroups and Cosets Group Theory Summary

The unit element {e} and G itself form subgroups of G. These two subgroups are called
improper subgroups. The other one (if they exist) are called proper subgroups. The
identification of proper subgroups is one of the importantest part of group theory.
Example 2.11. The group S3 has 4 proper subgroups:

{e, a}, {e, b}, {e, c}, {e, d, f }

Definition 2.9 (Coset). If H = {e, h1 , h2 , ..., h|H|−1 } is a subgroup of a group G


and g is an element of G, then the set

Hg = {eg, h1 g, h2 g, ..., h|H|−1 g}

is called a right coset of H. Similarly, the set

gH = {ge, gh1 , gh2 , ..., gh|H|−1 }

is called a left coset of H.

A coset is a subgroup of G only if g ∈ H.


Left and right cosets are in general diffrent.
Example 2.12. The subgroup H = {e, a} of S3 has 3 different right cosets:

{e, a}, {b, d}, {c, f }

Theorem 2.5. Two cosets of a subgroup either contain exactly the same elements
or have no common elements at all.

This theorem sets an upper limit on the number of different cosets of a given subgroup.

Definition 2.10 (Index). The number of distinct cosets of a subgroup H of a group


G is called the index of H and is denoted as |G : H|.

Example 2.13. The subgroup H = {e, a} of S3 has an index |S3 : H| = 3.

Theorem 2.6 (Lagrange’s theorem). The order of a subgroup H of a finite group


G is a divisor of |G|.
|G|
|G : H| =
|H|

Example 2.14. The subgroup H = {e, a} of S3 is of order 2, which is a divisor of 6, the order
of S3 .

10
2.6 Classes Group Theory Summary

2.6 Classes

Definition 2.11 (Conjugation). Two elements gi and gj of a group G are conju-


gate if there is a group element a, the conjugating element, such that gi = agj a−1

Definition 2.12 (Conjugacy classes). The set of all elements that are conjugated
to each other is called a conjugacy class.

Example 2.15. The group S3 has 3 conjugacy classes:

{e}, {a, b, c}, {d, f }

All elements in a conjugacy class have the same order. But the opposite is not true.
In an Abelian group, all elements are in their own conjugacy class.
Example 2.16. As it is Abelian, the group Z4 has 4 conjugacy classes:

{0}, {1}, {2}, {3}

Definition 2.13 (Self-conjugate subgroups). A subgroup H of a group G is self-


conjugate if the elements gHg − 1 are identical with those of H for all elements g
of G.

An alternative definition is to say that H is self-conjugate if gH = Hg ∀g ∈ G.


A group with no proper self-conjugated subgroup is called simple.
Example 2.17. The subgroup {0, 2} of Z4 is self-conjugate.

All subgroups of an Abelian group are self-conjugate.

2.7 Product Groups

Definition 2.14 (Product group). A group G is a product group if there are two
proper subgroups Hi and Hj such that :

1. ∀g ∈ G, ∃ha ∈ Ha and hb ∈ Hb such that g = ha hb = hb ha


2. Ha ∩ Hb ≡ e
The product group is signified by G = Ha × Hb .

All subgroups involved in a product group are self-conjugate. This implies that a simple
group can not be expressed as a product of smaller groups.
The order of a product group is given by: |Ha × Hb | = |Ha ||Hb |
Example 2.18. Z6 ∼
= Z3 ×Z2 (The precise signification of ∼
= will be given in the next section.)

11
2.8 Factor Groups Group Theory Summary

Definition 2.15 (Product Group). A product group Ha × Hb of two groups Ha


and Hb is defined as the set of all distinct pairs (a, b) a ∈ Ha , b ∈ Hb with the
composition law given by

(a1 , b1 )(a2 , b2 ) ≡ (a1 a2 , b1 b2 )

These two definitions (2.14 & 2.15) are equivalent.


Example 2.19. Let Ha = {ea , a} and Hb = {eb , b} be two copies of Z2 . We define

E ≡ (e1 , eb ), A ≡ (a, eb ), B ≡ (ea , b), C ≡ (a, b)

The multiplication table of Z2 × Z2 is then

E A B C
E E A B C
A A E C B
B B C E A
C C B A E

2.8 Factor Groups

Definition 2.16 (Factor Group). The factor group of a self-conjugate subgroup


H of a group G is the collection of cosets of H, with each coset being considered as
a group element.
The order of the factor group is equal to the index of the self-conjugate subgroup.
The factor group is denoted as G/H.

Remark. Note that (G/H) × H is not always G.

Example 2.20. The subgroup H = {e, d, f } of S3 has two differents right-cosets:

{e, d, f }, {a, b, c}

and two differents left-cosets:


{e, d, f }, {a, b, c}
Since these cosets are the same, H is self-conjugate. Multiplying the cosets together on an
element-by-element basis, one get:

{e, d, f }{e, d, f } = {e, d, f }, {e, d, f }{a, b, c} = {a, b, c}

{a, b, c}{e, d, f } = {a, b, c}, {a, b, c}{a, b, c} = {e, d, f }


These cosets are closed under multiplication rule. Defining E ≡ {e, d, f } and A ≡ {a, b, c},
the multiplication table of this factor group is

E A
E E A
A A E

which is the multiplication of Z2 . Hence, S3 /H ∼


= Z2

12
3 List of usual finite groups Group Theory Summary

3 List of usual finite groups


All finite simple groups have been classified and it is possible to build any finite group by
using a product of the simple groups. All these groups are not interesting and the list showed
here only contains some of them.

Cyclic Groups A cyclic group is a group based on the set of n different objects
{g, g 2 , g 3 , ..., g n }, where g n = e. The element g is called the generator of the group.
These groups can be interpreted as the number 0, 1, ..., n − 1 with the addition modulo n as
composition law.
These groups are simple and their order is n.
They are usually designated as Zn , Z/nZ or Cn .

Klein four-Group With only four elements, it is the smallest non-cyclic group. It is the
product Z2 × Z2 . It corresponds to the symmetry of a rectangle in 2D.
It is usually designated as Z2 × Z2 or V .

Symmetric Groups They correspond to the sets of all bijection from X to X with the
composition of function as composition law. If X is finite (X = {1, ..., n}), the group is
called Sn and has order n!. These groups are not Abelian if n > 2.

Alterning Groups They correspond to the sets of all even-valued permutations of a finite
set X = {1, ..., n}. It has order n!/2. These groups are simple if n = 3 or if n ≥ 5.
They are usually denoted as An .

Dihedral Groups They correspond to the sets of symmetries of a regular polygon, in-
cluding reflexions and rotations. They are denoted as Dn where n is the number of sides of
the polygon. The order of the group is 2n.

Quaternion Group It is the group made of the 8 elements Q = {1, −1, i, −i, j, −j, k, −k}
with the composition law being:
• (−1)(−1) = 1
• (−1)a = a(−1) = −a ∀a ∈ Q
• i2 = j 2 = k 2 = ijk = −1

It is usually designated as Q8 or just Q.

13
4 Representation of groups Group Theory Summary

4 Representation of groups
Group elements correspond to symmetry operations on spatial coordinates. They can be
represented as linear transformations with respect to a coordinate system. The resulting
matrices form a group which is equivalent to the group of symmetry operations. The matrices
form a representation of the group and each matrix is an element of the group.

4.1 Homomrphisms and Isomorphims

Definition 4.1. Let G and G0 be two finite groups {e, g1 , g2 , ...} and {e0 , g10 , g20 , ...}.
Let ϕ be a mapping between the elements of G and G0 that preserves their compo-
sition rules.

a0 = ϕ(a) and b0 = ϕ(b) ⇒ ϕ(ab) = ϕ(a)ϕ(b) = a0 b0

If the two groups have the same order, then the mapping is called an isomorphism
and the two groups are said to be isomorphic. This is denoted as G ∼ = G0 .
If the orders are different, then the mapping is called an homomorphism and the
two groups are said to be homomorphic.

Example 4.1. Consider the group G = −1, 1 with the usual multiplication as composition
law and the group Z2 . Then the mapping

ϕ(1) = 0 ϕ(−1) = 1

establishes a one-to-one correspondance between G and Z2 . Thus, these two groups are
isomorphics.

An homomorphism loses some parts of the structure of the original group.


Example 4.2. Consider the mapping defined in the example 2.20 for the group S3 :

E ≡ {e, d, f } A ≡ {a, b, c}

This is an homomorphism because three elements of S3 correspond to a single element of


Z2 .

4.2 Representations

Definition 4.2 (Representation). A representation of dimension n of a group


G is a homomorphism or isomorphism ϕ : G → GL(n, C). Where GL(n, C) is the
group of non-singular (det 6= 0) n × n matrices with complex entries.

If the representation is an isomorphism, then it is said to be faithful, and if it is an


homomorphism, then it is called unfaithful.
Example 4.3. The representation of S3 given by:

{e, a, b, c, d, f } → 1

is called the identical representation. It is obviously unfaithful.

The identical representation exists for all groups.

14
4.2 Representations Group Theory Summary

Example 4.4. The representation of S3 given by:


   √   √ 
1 0 1 1 − 3 1
De = , Da = √ , Db = √1 3
,
0 1 2 − 3 −1 2 3 1
   √   √ 
−1 0 1 −1 − 3 1 −1 3
Dc = , Dd = √ , Df = √
0 1 2 3 −1 2 − 3 −1
is a faithfull representation of the group of dimension 2.

Example 4.5. The representation of S3 given by:

{e, d, f } → 1 {a, b, c} → −1

is called the parity representation. It corresponds to the determinant of the matrices of


the representation in the previous example (4.4). It is unfaithful.

Definition 4.3 (Similarity). Given a representation {De , Dg1 , Dg2 , ...} of a group
{e, g1 , g2 , ...} and a non-singular matrix S of the same dimension than the repre-
sentation the set
{SDe S −1 , SDg1 S −1 , SDg2 S −1 , ...}
is a similarity transformation of the representation.

The transformed matrices are also representations of the group G.

Definition 4.4 (Direct Sum). Let {Dg } and {Dg0 } be two representations of dimen-
sions d and d0 of the same group. Then the direct sum of these two representations
is the set of block-diagonal matrices
      
De 0 Dg1 0 Dg2 0
, , , ...
0 De0 0 Dg0 1 0 Dg0 2

The direct sum is denoted as ⊕. The representation can be rewritten as :

De ⊕ De0 , Dg1 ⊕ Dg0 1 , Dg2 ⊕ Dg0 2 , ...




Example 4.6. The direct sum of the representations of S3 given in 4.3 and 4.4. Di0 = Di ⊕ 1
   √   √ 
1 0 0 1
√ − 3 0 √1 3 0
1 1
De0 =  0 1 0  , Da0 =  − 3 −1 0  , Db0 =  3 1 0 ,
2 2
0 0 1 0 0 2 0 0 2
   √   √ 
−1 0 0 −1
√ − 3 0 −1
√ 3 0
1 1
Dc0 =  0 1 0 , Dd0 =  3 −1 0 , Df0 =  − 3 −1 0 
2 2
0 0 1 0 0 2 0 0 2
It is also a faithful representation of S3 .

15
4.3 Reductible and Irreducible Representations Group Theory Summary

4.3 Reductible and Irreducible Representations

Definition 4.5. If a similarity S bring all matrices of a representation into the


same block diagonal form then the representation is said to be reducible. Other-
wise, it is irreducible.

Irreducible representations are often called irreps. For a given group, there are generally
more than one irreducible representation.

Example 4.7. The representations in example 4.3, 4.4 and 4.5 are irreducible but the one
from example 4.6 is redducible.

All one-dimensionnal representations are irreducible.

Theorem 4.1. Every representation of a finite group can be brought in to a unitary


form by a similarity transformation

This theorem implies that one can deal with unitary matrices instead of general matrices
without loss of generality.

16
5 The Great Orthogonality Theorem Group Theory Summary

5 The Great Orthogonality Theorem

Lemma 5.1 (Schur’s first Lemma). A non-zero matrix that commutes with all of
the matrices of an irrep is a constant multiple of the unit matrix.

Lemma 5.2 (Schur’s second Lemma). Given two irreps {D1 , D2 , ..., D|G| } and
{D10 , D20 , ..., D|G|
0
} of a group G of dimensions d and d0 . Then if there is a matrix
M such that
M Di = Di0 M ∀i
then:
If d = d0 , either M = 0 or the two representations differ by a similarity.
If d 6= d0 , M = 0.

Schuhr’s lemmas provide restrictions on the form of matrices which commute with all of
the matrices of an irrep.

Theorem 5.1 (Great Orthogonality Theorem). Let {D1 , D2 , ..., D|G| } and
{D10 , D20 , ..., D|G|
0
} be two different irreps of a group G that have dimensionalities d
0
and d . Then
|G|
X
(Da )∗ij (Da0 )i0 j 0 = 0 ∀i, j, i0 , j 0
α=1

For the element of a single unitary irrep :


|G|
X |G|
(Da )∗ij (Da )i0 j 0 = δi,i0 δj,j 0
α=1
d

(k)
This theorem can be summarized in the following way. Let Dα be the αth matrix of
the kth irrep of a group G, then
|G|
X 0 |G|
(Da(k) )∗ij (Da(k ) )i0 j 0 = δi,i0 δj,j 0 δk,k0
α=1
d

Example 5.1. Consider the three irreps of S3 given in the examples 4.3, 4.4 and 4.5. Let
n o
(k) (k) (k) (k)
Dij = [De(k) ]ij , [Da(k) ]ij , [Db ]ij , [Dc(k) ]ij , [Dd ]ij , [Df ]ij

be a vector of the differents elements of the irreps of S3 . Then

(k) (k0 ) |G|


Dij · Di0 j 0 = δi,i0 δj,j 0 δk,k0
d
where d is dimension of the irrep.
For example D(1) = {1, 1, 1, 1, 1, 1} and D(1) · D(1) = 6 since d = 1.

d2k ≤ |G| where the


P
A consequence of the Great Orthogonality Theorem is that k
summation is over all irreps of a group G.

17
5 The Great Orthogonality Theorem Group Theory Summary

Example 5.2. The two one-dimensionnal irrep and the two-dimensionnal irrep of S3 given in
examples 4.3, 4.4 and 4.5 set in the previous equation give :
X
d2k = 12 + 12 + 22 = 6
k

which equals the order of the group. Hence, there are no other distinct irreducible represen-
tations of this group.

18
6 Characters and Character Tables Group Theory Summary

6 Characters and Character Tables


Characters are a way to determine if a given representation is reducible or not and to
summarize all the property of a group in a table.

6.1 Orthogonality relations

Lemma 6.1. Two matrices in a given representation of group that corresponds to


two elements of the same conjugacy class have the same trace.

Example 6.1. For the representation of S3 given in example 4.4, the traces are given by:

χ1 = Tr(De ) = 2, χ2 = Tr(Da ) = Tr(Db ) = Tr(Dc ) = 0, χ3 = Tr(Dd ) = Tr(Df ) = −1

Definition 6.1 (Character). The characters of a conjugacy class is the trace


corresponding to all the elements of this class in a given irreducible representation.

The character of the αth class of the kth irreducible representation of a group is denoted
(in this document) as χkα .
Example 6.2. For the representation of S3 given in example 4.4, the characters are given by:

χ1 = 2, χ2 = 0, χ3 = −1

Theorem 6.1 (Orthogonality Theorem for Characters). The characters of the ir-
reducible representations of a group obey the relation
X 0
nα χkα χkα ∗ = |G|δk,k0
α

where nα is the number of elements in the αth class.

It is also possible to define a relation between the character of a given irrep:


X |G|
χkα χk∗
β = δα,β

k

Theorem 6.2. The number of irreducible representations of a group is equal to the


number of conjugacy classes of the group.

19
6.2 The decomposition Theorem Group Theory Summary

6.2 The decomposition Theorem

Theorem 6.3 (Decomposition Theorem). The character χa for the αth class of
any irrep can be written uniquely in terms of the corresponding characters of the
irreps of the group as X
χα = αk χkα
k

where
1 X
αk = nα χk∗
α χα
|G| α

This theorem gives a criterion to determine whether a given representation is reducible


or not.

Theorem 6.4. A representation is irreducible if


X
nα |χα |2 = |G|
α

and reducible if X
nα |χα |2 > |G|
α

6.3 The regular representation

Definition 6.2. The regular representation of a group is a representation ob-


tained directly from the multiplication table of the group. This is done in two steps:
1. Rearrange the table such that the unit element appears along the main diag-
onal.
2. Regarde the table as a |G| × |G| matrix from which the matrix representation
for each group element is assembled by putting 1 where that element appears
and a zero elsewhere.

Example 6.3. The regular representation of Z4 is:


   
1 0 0 0 0 1 0 0
 0 1 0 0   0 0 1 0 
0=  0 0 1 0
, 1=
 0
,
 0 0 1 
0 0 0 1 1 0 0 0
   
0 0 1 0 0 0 0 1
 0 0 0 1   1 0 0 0 
2=
 1
, 3= 
0 0 0   0 1 0 0 
0 1 0 0 0 0 1 0

20
6.4 Character Tables Group Theory Summary

Theorem 6.5. The dimensionalities dk of the irreducible representations of a group


are related to the order of the group by
X
d2k = |G|
k

This gives a diophantine equation which for small groups has only a few solutions and
thus implies that it is easy to determine the dimensions of the irreps.

6.4 Character Tables


Character tables are a way to display informations on classes and entirely determine a group.
It is a way to classify finite groups.

Definition 6.3. A character table is a table which colums are labelled with the
different conjugacy classes and the rows are labelled with the irreducible represen-
tations (usually designated as Γi ). The elements in position i, j is the character of
the ith representation of the jth class.

To fill the different lines, the orthogonality theorem for characters is usefull. The “scalar
product” of two rows of the table gives zero if the rows are different, and |G| if they are the
same. The same relations holds for columns.
k0
X
nα χk∗
α χα = |G|δk,k0
α

Example 6.4. The character Table for the S3 group is

S3 {e} {a, b, c} {d, f }


Γ1 1 1 1
Γ2 1 −1 1
Γ3 2 0 −1

where the first line is the trivial representation, the second line is the parity representation
and the third line is the 2 × 2 faithful matrix representation.

21
7 Permutation Groups Group Theory Summary

7 Permutation Groups
Permutation Groups play a central role in the theory of finite groups.

Theorem 7.1. All groups are a subgroup of a permutation group.

Example 7.1. Z3 is a subgroup of S3 , which is a permutation group.

7.1 Permutations and Cycles

Definition 7.1. A cycle is a special type of permutation in which terms are just
cylced, so the first object becomes the second, the nth becomes the n + 1th and the
las object becomes the first. The notation used is

(12 . . . n)

to signify that
x1 → x2 , x2 → x3 , ..., xn → x1

Definition 7.2. A k-cycle is a cycle with k elements in it.

Lemma 7.1. All permutations may be expressed as a product of cycles subsets,


where each object appears once and only once.

Example 7.2. In S3 the diffrent permutations can be expressed in term of cycles as follow :

e ≡ (1)(2)(3)
a ≡ (12)(3)
b ≡ (1)(23)
c ≡ (13)(2)
d ≡ (231)
f ≡ (321)

Each permutation can be expressed as k1 1-cycles, k2 2-cycles, ... , kn n-cycles where


n
X
jkj = n
j=1

The set of {kj } is know as the cylce structure of a permutation.

Example 7.3. The cyclePstructure for the permutation a in S3 has the cycle-strucure, k1 =
n
1, k2 = 1, k3 = 0. And j=1 jkj = 1 · 1 + 2 · 1 + 3 · 0 = 3.

22
7.2 Young Diagrams Group Theory Summary

Lemma 7.2. Permutations are in the same class of Sn if and only if they have the
same cycle structure.

Example 7.4. The cycle structures for the group S3 are:

{e} : k1 = 3, k2 = 0, k3 = 0
{a, b, c} : k1 = 1, k2 = 1, k3 = 0
{d, f } : k1 = 0, k2 = 0, k3 = 1

This gives a way to determine the number of elements in a class of Sn .

Lemma 7.3. The number of elements nα in the αth class of Sn is given by:
n!
nα =
Πj kj !j kj

Example 7.5. In S3 , the number of elements in each class is given by:


3!
{e} : k1 = 3 ⇒ = 1 element
3!13
3!
{a, b, c} : k1 = 1, k2 = 1 ⇒ = 3 elements
(1!11 )(1!21 )
3!
{d, f } : k1 = 3 ⇒ = 2 elements
1!31

Lemma 7.4. An n-cycle is equivalent to a product of (n − 1) 2-cycles.

This gives a natural division of permutations into two families, the odd-permutations
and even-permutations which are equivalent to an odd or even number of two-cycles.
The even permutations form a group called the alterning group An . These two cosets also
form a group, a representation of Z2 . This implies Sn /An ∼
= Z2 .

7.2 Young Diagrams


Young diagrams are a way to represent easily Sn groups and to construct some of their
properties.
To construct the diagram for a given class of Sn , each class is represented by n boxes. Each
cycle is drawn as a column of boxes. Each column starts from the common horizontal line
and drops down. The largest cycles are put on the left.
This gives a diagram which as one move from left to right is either constant in depth or
shrinking. Each possible diagram is called a Young Tableau.
Example 7.6. These are the 5 valid Young Tableux for S4 :

23
7.3 Young Tableaux and Sn irreps Group Theory Summary

These diagrams correspond to the classes (1234), (123)(4), (12)(34),(12)(3)(4) and (1)(2)(3)(4)
respectively. As one cannot build other Young Tableaux with 4 boxes, these are the 5 classes
of Sn .

From these diagrams, one can find the cycle structure. For each column, the depth of
the colum corresponds to the length of the cycle. And the number of column of a given
depth ki corresponds to the number of ki -cycles in the group.
Example 7.7. The cycle structure from the second diagram in the previous exemple is k3 =
1, k1 = 1.
For the third diagram, k2 = 2 and for the fourth: k2 = 1, k1 = 2.

The number of elements in each class can then be found using the previously presented
formula or by considering the possible distinct cycles directly.
Example 7.8. From the diagrams in the previous example, one can find:
4! 4! 4! 4! 4!
n1 = = 6, n2 = = 8, n3 = = 3, n4 = = 6, n5 = =1
1!41 (1!31 )(1!11 ) (2!22 ) (1!21 )(2!12 ) 4!14
The sum of the ni is 24 as expected (|Sn | = n!).

7.3 Young Tableaux and Sn irreps


The regular representation plays an important role in determining the dimensions of the
irreps of a permutation group. The regulare representation is the |G| × |G| matrix given by:

[Areg (g)]ij = 1 ⇔ gi (gj )−1 = g, 0 elsewhere

One can then define an orhtonormal basis ~u(g) given by [~u(g)]i = 1 ⇔ gi = g.


Each Young Diagram corresponds to one Sn irrep whose basis may be constructed from
its tableaux. Conversly, each irrep µ in constructed just once. This implies that one can
compue the dimension of each irrep.

Definition 7.3 (Hook factor of a box). The Hook factor of a box hi is the
number of boxes that a hook crosses in a given box i of a Young Tableau. The hook
is made of two lines: one dropping from the box and one other going to the right,
both starting from the box.

Example 7.9. The hook from the top-left box of the third Young Tableau of S3 is:

As the hook crosses 3 boxes, the hook factor of this box is 3.

Definition 7.4 (Hook factor of a Young Tableau). The Hook factor of a Young
Tableau HY D is the product of all box’s hook factor of this Young Tableau.
n
Y
HY D = hi
i

24
7.3 Young Tableaux and Sn irreps Group Theory Summary

Hook factors play an important role in the following lemma:

Lemma 7.5 (Hook-length formula). The dimension dµ of an irreducible µ is:

n!
dµ =
HY D
where HY D is the Hook factor of the Young diagram associated with the irrep µ.

25
8 Continous Groups and Lie Groups Group Theory Summary

8 Continous Groups and Lie Groups


Most of the theorems presented so far are only valid for finite groups because the invovle a
sum over all elements of a group. Some notions need to be redefined and some theorems to
be changed to accord with infinite and continuous groups. The first part of the work is to
create a mix between between group theory and analysis, because analysis is good to deal
with continuous functions.

8.1 Definitions and examples

Definition 8.1 (Continuous Group). A continuous group (or topological group)


is a group in which, each element R depends on a set of parameters R(~a) ≡
(a1 , a2 , a3 , ..., ad ) and in which the composition law

R(~a)R(~b) = R(~c)

is continuous. The ~a are called coordinates and if there are d parameters ~a =


(a1 , a2 , a3 , ..., ad ), the group is said to be a d−parameter continous group or to
have a dimension d.

The continuity of the composition law implies that R(~a) and R(~a + δ~a) are both in the
group for an arbitrarly small value of δ.
Each group element can be represented as a point by associating it with its ~a d-dimensionnal
vector. The space in which the elements lie is called the group manifold.
Example 8.1. Rn with the usual vector-addition law is an (Abelian) n-parameter continuous
group.

Example 8.2. C∗ (complex numbers without 0) with the usual multiplication forms an
(Abelian) continuous group.

It is easier to deal with continuity in the context of calculus.

Definition 8.2 (Group structure). R(~a)R(~b) = R(~c) is true if and only if

~c = f~(~a, ~b) or equivalently if ci = fi (~a, ~b)

The set of fi is called the structure of the group and determine the whole group
in the same way as the multiplication table for discrete groups.

The properties of the composition law give some restrictons on the fi . The associativity
requires that
f~(~a, f~(~b, ~c)) = f~(f~(~a, ~b), ~c)
The existence of an identity element ~a requires that
f (a~0 , ~a) = f (~a, a~0 ) = ~a
And finally the existence of an inverse a~0 for each ~a implies that
f (a~0 , ~a) = f (~a, a~0 ) = a~0

Definition 8.3 (Lie Group). A continuous group in which all functions of the
structure are analytical is called a Lie Group.

26
8.2 Compact and Non-Compact Lie Groups Group Theory Summary

Example 8.3. Rn with the usual vector-addition law is an (Abelian) n-parameter Lie group.

Example 8.4. C∗ (complex numbers without 0) with the usual multiplication forms an
(Abelian) Lie group.

Example 8.5. The set of invertible matrices GL(n, R) of size n × n with the usual matrix
multiplication is a Lie group called the general linear group. It has dimension n2 .

Example 8.6. The set of invertible matrices SL(n, R) of size n × n and determinant 1, with
the usual matrix multiplication is a Lie group called the special linear group. It has also
dimension n2 .

In the two last examples, the matrices are mapping n−dimensionnal vectors into other
n−dimensionnal vectors. The space of vectors being mapped is called the representation
space and the dimension of this space is called the dimension of the representation.
This can take many different values for the same group. It is, in general, different from the
dimension of the group. The relationship between these two dimensions is different for each
kind of group.

8.2 Compact and Non-Compact Lie Groups


For each Lie Groups there are different possible representation. This document will only deal
with the matrix representation.

Definition 8.4 (Fundamental Representation). The smallest (in term of dimen-


sion) faithful irreducible representation of a Lie Group is called the fundamental
representation.

Example 8.7. For GL(n, R), the fundamental representation is the one given previously: The
set of matrices n × n.

Definition 8.5 (Compact Lie Group). A Lie Group is compact if there exists a
faithful representation in which all the elements are alwas finite.

|Dij | < ∞

The complete definition is more complex but this one is sufficient for this course.
Example 8.8. The set of phases {exp(iθ)| − π < θ ≤ π} forms a compact group called U (1).

The importance of compact Lie Groups arises from the following thorem.

Theorem 8.1. (i) All compact Lie Groups have a finite dimensional unitary rep-
resentation.
∃{D(g)} such that D∗ (g)D(g) = Id
(ii) Finite dimensional representations of compact Lie groups are reducible, they
can be made block-diagonal.
(iii) Any irreducible representation of a compact Lie group is finite dimensional.

27
8.3 Matrix Generators Group Theory Summary

It is easy to classify all possible compact Lie Groups. And there is only one Abelian
compact Lie Group (U (1)). The one that are not product groups are called simple groups.
Products of simple groups with other non-Abelian simple groups are called semi-simple
groups.
There are three main families (SO(n), SU (n), Sp(2n)) of compact simple Lie Groups and
5 exceptionnal cases (E6 ,E7 ,E8 ,F4 and G2 ).

8.3 Matrix Generators

Definition 8.6 (Differential of a Matrix). The infinisetimal change in a matrix


∂D ~
near the origin ∂a i
(0) is defined as

∂D ~ D(0, 0, ..., ai , ..., 0) − D(~0)


(0) = lim
∂ai a i →0 ai

For an infinitesimal ai (ai  1) the following holds:

∂D ~
Dai ≡ D(0, 0, ..., ai , ..., 0) = D(0, 0, ..., 0) + (0)ai + O(a2i )
∂ai
This can be summarized as:
∂D(~a)
= Dai D(~a)
∂ai
By using the same process, one can define higher order derivatives.

∂ n D(~a) ∂ n−1 D(~a)


n = Dai
∂ai ∂an−1
i

This implies that one can define the Taylor expansion of D(~a) around ~0.

Lemma 8.1 (Taylor Expansion). Any element in the Lie Group (which represen-
tation has a dimension n) can be expressed as a Taylor Serie:
n n
X 1X 2 2
D(~a) = Id + ai Dai + a D + ···
i=0
2 i=0 i ai

n X
X 1
= (ai )j
i=0 j=0
j!
= exp (a1 Da1 + a1 Da1 + · · · + an Dan )

to be checked
Unfortunately, the last equality cannot trivially be broken in the product of n exponentials.

8.4 Exponential of infinitesimal Generators

Definition 8.7 (Commutator). The commutator of two matrices is defined as:

[A, B] = AB − BA

where the product and substraction are the usual one for matrices.

28
8.4 Exponential of infinitesimal Generators Group Theory Summary

Lemma 8.2 (The Cambell-Baker-Hausdorff formula).


 
1 1 1
exp(A) exp(B) = exp A + B + [A, B] + [A, [A, B]] + [[A, B], B] + · · ·
2 12 12

This reduces to the usual case exp(A) exp(B) = exp(A + B) when [A, B] = 0.
As one want exp (a1 Da1 + a1 Da1 + · · · + an Dan ) = exp ϕ1 Da1 exp ϕ2 Da2 · · · exp ϕn Dan ,
one apply the previous formula and get:

(a1 Da1 + a1 Da1 + · · · + an Dan ) = ϕ1 Da1 + ϕ2 Da2 + · · · ϕn Dan +


n n
1 XX
+ ϕi ϕj [Dai , Daj ]
2 i=0 j=0
+ ···

The only important parameters are the different commutators, which play an important
role in Lie Algebras. The commutators entirely define the Lie Group because they entirely
define the infinitesimal generators, which define all the elements by exponentiation.

29
9 Introduction to Lie Algebras Group Theory Summary

9 Introduction to Lie Algebras


Lie Algebras are linked with Lie groups, hence this short introduction.

9.1 Definition and examples

Definition 9.1 (Lie Algebra). A Lie Algebra A ia a vector space over a field
F together with a binary operation [·, ·] (called the Lie bracket) which obeys the
following rules:

1. Closure [x, y] ∈ A ∀x, y ∈ A


2. Bilinearity

[ax + by, z] = a[x, z] + b[y, z]


[z, ax + by] = a[z, x] + b[z, y]

∀x, y, z ∈ A and ∀a, b ∈ F.


3. Alterning [x, y] = −[y, x] ∀x, y ∈ A
4. Jacobi Identity [x, [y, z]] + [y, [z, x]] + [z, [x, y]] = 0 ∀x, y, z ∈ A

The alterning rule implies that [x, x] = 0 ∀x ∈ A.


Example 9.1. Any vector space V with the Lie bracket identical to zero ([x, y] = 0 ∀x, y ∈
V) is an (Abelian) Lie Algebra.

Example 9.2. The Euclidian space R3 together with the usual cross product as Lie bracket
is a Lie Algebra.

Example 9.3. The vector space of unitary matrices n × n together with the Lie bracket
defined as
[x, y] = xy − yx
(where the multiplication and the substraction are the usual ones) is a Lie Algebra. The Lie
bracket defined in this example is called the commutator.

As this document only deal with the matrix representation of Lie Groups, the focus will
be set on parts of Lie Algebra that are relevent for these kinds of vector spaces.

9.2 Generators

Definition 9.2 (Generators). The generators of a Lie Algebra A are the set of
matrices {Ta } (basis vectors) of the vector space included in A.

∀A ∈ A, ca ∈ R and that Ta∗ = Ta .


P
This implies that A = a ca Ta

Example 9.4. The generators of R3 are (1, 0, 0), (0, 1, 0), (0, 0, 1).

The choice of generators is not unique.

30
9.3 Subalgebras Group Theory Summary

Definition 9.3 (Dimension). The dimension of a Lie Algebra A is the number


of generators of A.

Example 9.5. dim(R3 ) = 3

Lemma 9.1 (Orthonormal generators). If the vector space included in the Lie
Algebra A has a scalar product h·, ·i, then the Lie Algebra has an orthonormal set
of generators.
hTa , Tb i = δa,b ∀a, b, ..., n = dim(A)

The orthonormal generators can be obtained from any generators by the Grahm-Schmidt
procedure.

Example 9.6. The generators of R3 given in 9.4 are orthonormals.

For matrices, the usual scalar product is


1
hTa , Tb i = Tr(Ta Tb )
2
1
where the factor 2 is just here for normalization.

9.3 Subalgebras

Definition 9.4 (Cartan Subalgebra). The Cartan subalgebra C of an algebra A


is the largest set of elements which commute with themselves.

C = {A1 , A2 : [A1 , A2 ] = 0, A1 , A2 ∈ A}

(It is the biggest subalgebra of A.)

For matrices, the Cartan Subalgebra is the largest number of elements of A which can
be diagonalised simultaneously. The standard choice for generators of A is to have the
largest number of diagonalised elements. Thus these generators are the basis of the Cartan
Subalgebra.
Example 9.7. For A = R3 the Cartan Subalgebra, is C = {(1, 0, 0)}.

Definition 9.5 (Rank of an Algebra). The rank of a Lie Algebra A is the dimen-
sion of the Cartan subalgebra of A.

Example 9.8. The rank of A = R3 is 1.

31
9.4 Structure constants Group Theory Summary

9.4 Structure constants

Definition 9.6 (Structure constants). The structure constants f abc ∈ F are


defined as
dim(A)
X
[Ta , Tb ] = f abc Tc , a, b = 1, 2, ..., dim(A)
c=1

where Ta are the generators of the Algebra.

The structur constants are totally antisymmetric

f abc = −f bac = −f acb

and they totally define the Lie Algebra. The choice of structure constants for a given Lie
Algebra is not unique.

The Jacobi identity can be rewritten in term of the structure constants as:
dim(A)
X
f abe f ecg + f bce f eag + f cae f ebg = 0
e=1,g=1

Definition 9.7 (Adjoint Representation). The adjoint representation of a given


Lie Algebra A is the Algebra generated by the sets of generators:

{(X a )ij } = −f aij , a, i, j = 1, 2, ..., dim(A)

where the f aij are the structure constants of A.

Remark. The importance of this representation will be obvious later in the discussion of Lie
Groups.

9.5 Lie Algebras and Lie Groups


The lemma 8.1 gives a link between Lie Algebras and Lie Groups. All element U of a Lie
Group G can be written as an exponential of anti-Hermitian matrices A.

U = exp(A), A∗ = −A
Pdim(A)
The generators {Ta } are the basis vectors of the Lie Algebra A = i=a ca Ta , and the
derivatives with respect to the parameters of the Lie Groups ca are given by:
dU
Da =
dca
This imply that the knowledge of the structure constnats is enough to caracterise a Lie
Group. They play the same role than multiplication table for finite groups.

9.6 Lie Algebras of product Lie Groups


If G = H ×K is a product Lie Group, then the elements of G can be split into two commuting
parts
U = P Q = QP ∈ G, P ∈ H, Q ∈ K
This implies that the Lie Algebra AG is the sum of the subalgebras AH and AK .

32
9.6 Lie Algebras of product Lie Groups Group Theory Summary

Using the formula 8.2, whith P = exp(B) and Q = exp(C), one can find that

exp(B) exp(C) = exp(C) exp(B) = exp(B + C) ⇔ [B, C] = 0

This implies that the generators of the Lie Algebra AG obey the following rules:
abc
[Ya , Yb ] = fH Yc ∈ AH ⊂ AG
abc
[Za , Zb ] = fK Yc ∈ AK ⊂ AG
[Ya , Zb ] = 0

where {Ya } are the generators of AH and {Za } the generators of AK .

The rest of this document will present the different simple Lie Groups.

33
10 Orthogonal Groups Group Theory Summary

10 Orthogonal Groups
Orthogonal groups play a central role in geometry.

10.1 O(n) groups

Definition 10.1 (O(n)). The group O(n) is the compact Lie group of all real
orthogonal matrices n × n with the composition law being the usual matrix multi-
plication.
O(n) = {D ∈ GL(n, R) : DT D = DDT = Id}
This group is called the Orthogonal Group in n dimensions.

This definition implies that all matrices in O(n) have a determinant equal to ±1.
Example 10.1. The group O(1) = {−1; 1} is isomorphic to Z2 and not a Lie Group.

The O(n) groups correspond to the set of all linear transformations which preserve the
length of the vectors in Rn . This implies that the group is Abelian.
The dimension of the Lie Group O(n) is 21 n(n − 1) because the matrices need to be sym-
metric (modulo a change of sign).

Example 10.2. The matrix


 
cos ϕ − sin ϕ
D(ϕ) = , 0 ≤ ϕ < 2π
sin ϕ ± cos ϕ

are two matrices in O(2).

All O(n) groups are related together by the relation

O(n − 1) ⊂ O(n)

The group O(n) can be split in two sets according to the determinant of the matrices.
The subset with determinant −1 is not a group, because it doesn’t contain the identity.

10.2 SO(n) groups

Definition 10.2 (SO(n)). The SO(n) group is the subgroup of O(n) in which the
matrices have a determinant +1.

SO(n) = {D ∈ GL(n, R) : detD = 1} (10.1)

It is called the special orthogonal group in n dimensions.

Example 10.3. The matrix


 
cos ϕ − sin ϕ
D(ϕ) = , 0 ≤ ϕ < 2π
sin ϕ cos ϕ

is in SO(2).

The SO(n) groups correspond to the set of all proper rotations in Rn .

34
10.3 The SO(2) group Group Theory Summary

Definition 10.3. Let U ∈ O(n) and R ∈ SO(n), then U = Z± R, where

Z+ = Id

−Id if n odd
Z− =
diag(−1, +1, +1, ..., +1) if n even

where diag indicates the entries on the diagonal of the matrix.

Example 10.4. {Z+ , Z− } forms a group isomorphic to Z2 .

The matrix −Id commutes with everything this implies that


O(2m + 1) ∼
= Z2 × SO(2m + 1) m∈N
If n is even , this is not true and the only relation that exists is for n = 2
O(2)/SO(2) ∼
= Z2

10.3 The SO(2) group


The dimension of the SO(2) group is 1. And the fundamental representation is given by:
 
cos ϕ − sin ϕ
D(ϕ) = , 0 ≤ ϕ < 2π
sin ϕ cos ϕ
The character of this represenation is
χ(ϕ) ≡ Tr{D(ϕ)}
= 2 cos ϕ
= eiϕ + e−iϕ
= χ(1) (ϕ) + χ(−1) (ϕ)
This implies that the representation is a direct sum of two irreps. This can be extended to
the following irreps:
χ(m) (ϕ) = eimϕ , m∈Z
If we add the identity representation (which always exists), the character table of SO(2)
is:
SO(2) E D(ϕ)
Γm 1 eimϕ
The generator of the corresponding Lie Algebra (called D1 ) is given by
 
dD 0 −1
= =X
dϕ 1 0

10.4 The SO(3) group


The dimension of the SO(3) group is 3 and the generators of the fundamental representation
are:
     
1 0 0 cos ϕ 0 sin ϕ cos ϕ − sin ϕ 0
Dx =  0 cos ϕ − sin ϕ  , Dy =  0 1 0  , Dz =  sin ϕ cos ϕ 0 
0 sin ϕ cos ϕ − sin ϕ 0 cos ϕ 0 0 1
With the same process than SO(2), one get the character table:
SO(3) E D(ϕ)
sin[(l+ 12 )ϕ]
Γl 1 sin( 12 ϕ

35
10.4 The SO(3) group Group Theory Summary

The generators of the Lie Algebra (called B1 ) are:


     
0 0 0 0 0 1 0 −1 0
X1 =  0 0 −1  , X2 =  0 0 0  , X3 =  1 0 0 
0 1 0 −1 0 0 0 0 0

The computation of the structure constants leads to f abc = εabc , where εabc is the Levi-
Civita tensor.

36
11 Unitary Groups Group Theory Summary

11 Unitary Groups
11.1 U (n) groups

Definition 11.1 (U (n)). The group U (n) is the compact Lie group of all complex
unitary matrices n × n with the composition law being the usual matrix multiplica-
tion.
U (n) = {D ∈ GL(n, C) : DT D = DDT = Id}
This group is called the Unitary Group in n dimensions.

This definition implies the matrices in U (n) obey the equation |detD| = 1.
The dimension of this group in n2 .

11.2 The U (1) group


It is the only Abelian simple Lie Group. Hence, all Abelian Lie Groups are made of products
of U (1).

Definition 11.2. The U (1) group (or circle group) is the multiplicative group of
all complex numbers with absolute value 1.

U (1) = {z ∈ C : |z| = 1}

U (1) can be represented as a circle of radius 1 around the origin in the complex plane.
This circle is the group manifold. This is the same manifold than SO(2), hence:

U (1) ∼
= SO(2)

11.3 SU (n) groups

Definition 11.3 (SO(n)). The SU (n) group is the subgroup of U (n) in which the
matrices have a determinant +1.

SU (n) = {D ∈ GL(n, C) : detD = 1} (11.1)

It is called the special unitary group in n dimensions.

The dimension of the group is n2 − 1.


These groups are important because they are simple groups and because U (n) groups
can be considered as the product group:

U (n) = SU (n) × U (1)

Definition 11.4 (Adjoint Representation). Let χ = {H} be the set of all n × n


hermitian matrices. The application ϕS defined as:

ϕs : χ → χ : H → H 0 = ϕS H = SHS ∗ (11.2)

where S ∈ SU (n), is called the adjoint representation of SU (n).

37
11.4 The SU (2) group Group Theory Summary

Every hermitian matrix S can be split into two parts.


1
S 0 = tId + J, t= Tr{S}, Tr{J} = 0 (11.3)
n
This implies, that all irreducible SU (n) representations are traceless.

11.4 The SU (2) group


The SU (2) group plays an important role in Quantum Mechanics.
A matrix in SU (2) has the form
 
a b
, |a|2 + |b|2 = 1
−b a

An obvious set of generators for this group is then the set of Pauli matrices.
     
0 1 0 −i 1 0
, σ2 = , σ3 =
1 0 i 0 0 −1

and the structure constants are f abc = εabc , the Levi-Civita tensor. These are the same
structure constants than SO(3) and hence, their Lie Algebras are identical. One can show
that
SU (2)/Z2 ∼ = SO(3)

11.5 The SU (3) group


to be com-
11.6 SU (n) groups and Young Tableaux pleted
Each irrep of SU (n) corresponds to a distinct Young diagram whit no more than n boxes
in any column.

38
12 Other Lie Groups Group Theory Summary

12 Other Lie Groups


12.1 Sp(2n) groups

Definition 12.1 (Group Sp(2n)). The group Sp(2n) is the set of real matrices D
that satisfy M JM T = J, where J is the 2n × 2n matrix given in terms of n × n
blocks:  
0 Id
J=
−Id 0
It is called the symplectic group of n-dimension.

This group is involved in classical Hamiltonian mechanics and its dimension is n(2n + 1) to be com-
pleted
12.2 Exceptional groups
These 5 groups are called exceptionnal because they don’t belong to an infinite serie (SO(n),
SU (n) or SP (2n)). to be com-
pleted

39
13 Group theory in Physics Group Theory Summary

13 Group theory in Physics


to be com-
pleted

40

You might also like