Group theory – Week 03
We started the week by defining what a semi-direct product is:
- A group is the semi-direct product of two subgroups if one of those subgroups is normal and only shares the identity with the other.
An example is the Poincaré group, which is a semi-direct product of translations (the invariant subgroup) and Lorentz transformations (not an invariant subgroup of Poincaré).
It turns out that any group can be written as the semi-direct product of a semi-simple group and a solvable group. Some definitions:
- A simple group is one that only has trivial normal subgroups.
- A semi-simple group is one without an abelian invariant subgroup
For example, the gauge group of the Standard Model is not semi-simple since it contains , which is abelian.
Next we turned to the center of a group:
- The center of a group is the set of all elements such that .
The center is a group. Another concept is the commutator subgroup of a group ,
Without proof we
- is an invariant subgroup of ,
- is an abelian group,
- is the smallest invariant subgroup such that is abelian.
Next we turned to the concept of (conjugacy) classes.
- For a fixed a class is the set of all elements of the form .
This way we can split a group into classes. The product of two classes is again a class,
This product is symmetric, and hence the coefficients are also symmetric in the down indices. Some lemmas,
- and for any fixed then is a class,
- If for all elements then the set consists of a set of classes.
Finally, we state another theorem:
- An invariant subgroup consists of entire classes.
After all these, we moved forward to representations of a group, mainly matrix representations:
- A matrix representation is a set of matrices with the same group multiplication table as some abstract group .
We denote the elements of this set as . By definition,
It then follows that the representation of the identity is the identity matrix, and the representation of the inverse of an element is the inverse of the matrix representing that element. Some more definitions:
- A representation is faithful if if ,
- A representation is reducible if all the elements map a subspace into itself,
- A representation is completely reducible if all elements can be reduced to diagonal form.
For finite groups, reducibility implies complete reducibility. A more important statement concerning finite groups and representations is
- Any representation of a finite group is equivalent to a unitary representation.
This is so important that I might come back later and write the proof that was mentioned in class. For now let us mention some examples of representations, mainly those of the symmetry group . The elements of this group are
We can visualize this group as the set of rotations of a tetrad (a set of three 3-dimensional vectors with the same origin and perpendicular to each other). From mechanics (or elsewhere) we know that rotations of a vector can be written as matrices. But there exists a vector that is left invariant under the set of all this rotations, namely the diagonal vector. Perpendicular to this vector we have a plane that contains a triangle that intersect the tetrad at each of its vertices. Then we can represent our group as the set of matrices that rotate this triangle. So we have just gone from 3 dimensions to 2. It turns out that the determinant would be a 1-dimensional representation of our group too.
Now we list three important theorems regarding counting representations:
- The order of 1-dimensional irreducible representations is equal to the order of ,
- The number of inequivalent irreducible representations is equal to the number of classes,
- The order of is the sum of the squares of the dimensions of each class.
Using these theorems we learn that abelian groups have only 1-dimensional representations. Now we apply the theorems to our example of the group :
- The order of the group is ,
- We have three classes,
- Then . The solution of this equation is two classes of dimension 1 and one class of dimension 2. This does not include the reducible representations.
- The other theorems tells me that the commutator group has 3 elements.
Next week we apply all this theory to the Dirac group.