LOG#086. Group theory(VI).

groupTypes

We are going to be more explicit and to work out some simple examples/exercises about elementary finite and infinite groups in this post.

Example 1. Let us define the finite group of three elements as (G,\circ) where G=\left\{ I, M, M^2\right\}, and such as the element I_n and M\in \mathcal{M}(n\times n) (matrices/arrays with n rows and columns, square matrices) with M^3=I and where the matrix multiplication rule acts as group operation \circ. Then, this is an abelian group and its Cayley table can be written as follows:

\circ I M M^2
I I M M^2
M M M^2 I
M^2 M^2 I M

Example 2. Let G be the following set of 2\times 2 matrices:

a=\begin{pmatrix}0 & -1\\ 1 & 0\end{pmatrix}

b=\begin{pmatrix}-1 & 0\\ 0 & -1\end{pmatrix}

c=\begin{pmatrix}0 & 1\\ -1 & 0\end{pmatrix}

d=\begin{pmatrix}1 & 0\\ 0 & 1\end{pmatrix}

If we choose the matrix multiplication as group multiplication, then the group (G,\circ) is a group. The same set, with the operation “addition of matrices” (G,+) is NOT a group. This is left as an exercise for you.

Example 3. Let G denote the set of 2\times 2 matrices with determinant equal to one (the unit) and complex “entries”. A generic element of this set is:

X=\begin{pmatrix} a & b\\ c & d\end{pmatrix}

It satisfies \det X=+1, where the determinant is defined to be (of course, a little of linear algebra is assumed to be known) \det X= ad-bc=1.

This group, with the ordinary matrix multiplication as group operation, is in fact a well defined group, since:

i) \det (AB)=\det (A)\det B

ii) I is the identity matrix \mathbb{I}=\begin{pmatrix}1 & 0\\ 0 & 1\end{pmatrix}

iii) \forall A\in G\exists A^{-1}\in G since \det A=1\Rightarrow \det A^{-1}=1.

iv) The associative law holds for matrix multiplication and thus (G,\circ) is a group (of matrices).

Example 4. The set (\mathbb{Z},\circ), with \circ defined by n\circ m=n+m+1 is a group. It can be easily proved checking that the neutral element is e=-1 and the inverse is n^{-1}=-n-2.

Example 5. The sets (\mathbb{Z},+), (\mathbb{Q},+), (\mathbb{R},+), (\mathbb{C},+) are abelian groups.

Example 6.  The set of every 2\times 2 matrix with real or complex numbers with the operation + defined by

\begin{pmatrix}a & b\\ c & d\end{pmatrix}+\begin{pmatrix}a' & b'\\ c' & d'\end{pmatrix}=\begin{pmatrix}a+a' & b+b'\\ c+c' & d+d'\end{pmatrix}

is a group.

Example 7.  The “special” rotation group in two dimensions, commonly referred as SO(2), is given by the matrices of the following class:

R(\theta)=\begin{pmatrix}\cos \theta & \sin \theta\\ -\sin\theta & \cos \theta\end{pmatrix}

This group is in fact abelian (something that it is NOT generally true with 3D or higher dimensional “rotation groups”). It can be easily proved that the composition of 2 different matrices of the above type is another matrix of the same type, and that the inverse or the unit element exist for every continuous and differentiable function f of two arguments. The neutral element is in fact R(0)=I and R(\theta)^{-1}=R(-\theta).

Example 8.   The 3D  “special” rotation group SO(3) is defined by the set of the following 3 matrices (related to the celebrated Euler angles):

R(\theta_1,\theta_2,\theta_3)=R(\theta_1)R(\theta_2)R(\theta_3)

R(\theta_1,\theta_2,\theta_3)=\begin{pmatrix}1 & 0 & 0\\ 0 & \cos\theta_1 & -\sin\theta_1\\ 0 & \sin\theta_1 & \cos\theta_1\end{pmatrix}\begin{pmatrix}\cos\theta_2 & 0 & -\cos\theta_2\\ 0 & 1 & 0\\ \sin\theta_2 & 0 & \cos\theta_2\end{pmatrix}\begin{pmatrix}\cos\theta_3 & -\sin\theta_3 & 0\\ \sin\theta_3 & \cos\theta_3 & 0 \\ 0 & 0 & 1\end{pmatrix}

or equivalently R has the form

\begin{pmatrix}\cos\theta_2\cos\theta_3 & -\cos\theta_2\sin\theta_3 & -\sin\theta_2\\ -\sin\theta_1\sin\theta_2\cos\theta_3+\cos\theta_1\sin\theta_3 & \sin\theta_1\sin\theta_2\sin\theta_3+\cos\theta_1\cos\theta_3 & -\sin\theta_1\cos\theta_2\\ \cos\theta_1\sin\theta_2\cos\theta_3+\sin\theta_1\sin\theta_3 &-\cos\theta_1\sin\theta_2\sin\theta_3+\sin\theta_1\cos\theta_3 & \cos\theta_1\cos\theta_2\end{pmatrix}

This matrix is also important in neutrino oscillations and quark mixing. However, there the notation is a little bit different (beyond the fact that it has also extra “complex phases”). To simplify the notation and writing above, we can write \sin\theta_i=s_i and \cos\theta_j=c_j whenever i,j=1,2,3 (even the notation is useful with “extra dimensions” or higher dimensional rotation groups), so the above 3D matrix is rewritten as follows:

R(1,2,3)=\begin{pmatrix}c_2c_3 & -c_2s_3 & -s_2\\ -s_1s_2c_3+c_1s_3 & s_1s_2s_3+c_1c_3 & -s_1c_2\\ c_1s_2c_3+s_1s_3 & -c_1s_2s_3+s_1c_3 & c_1c_2\end{pmatrix}

In this case, the inverse element and the composition function are not “so easiy” as in the 2D case but they can be computed if you are patient and careful enough in a straightforward way. In particular, the composition rule for 3D rotations is NOT symmetrical in its arguments, and it shows that the group is non-abelian (although it has abelian subgroups, of course).

Example 9. The Lorentz group in 1D space and 2D spacetime is defined by the set of matrices ( with matrix multiplication and units c=1, i.e., natural):

L(v)=\left\{\dfrac{1}{\sqrt{1-v^2}}\begin{pmatrix} 1 & -v\\ -v & 1\end{pmatrix}/ v\in (-1,1)\right\}

This group, as it has OPEN intervals, and they are not closed, is “non-compact”. Non-compactness is an ackward property sometimes in physical/matheamtical applications, but it is important to know that feature. Compact groups are groups with parameters belonging to closed and bound/finite intervals (i.e., the interval limits can not be “infinite”). The Lorentz group in 2D spacetime IS abelian, and L(0)=e=I. However, it has a modified “cool” composition rule (the relativistic “addition” of velocities) given by the function:

v_3=\dfrac{v_1+v_2}{1+v_1v_2}

Moreover, the elements can be parametrized by a new parameter \theta, sometimes called “boost”, and defined as:

\exp(\theta)=\dfrac{1}{\sqrt{1-v^2}}

In terms of the boost parameter, Lorentz 2D spacetime transformations can be rewritten as follows:

L(\theta)=\dfrac{1}{\sqrt{1-v^2}}\begin{pmatrix}1 & -v\\ -v & 1\end{pmatrix}=\begin{pmatrix}\cosh\theta & -\sinh\theta\\ -\sinh\theta & \cosh\theta\end{pmatrix}

The composition rule with this parametrization is in fact very simple and it is related to hyperbolic trigonometry.

Example 10. Groups with less than 6 elements. We can eneumerate the finite groups with the help of the Lagrange’s theorem and/or building explicitly every possible multiplication table for a given number of elements. The results are given by the following list:

i) Using the Lagrange theorem, as 1,2,3 and 5 are prime, we do know that there is only one group of each class, the respective cyclic group with 1, 2, 3 and 5 elements.

ii) There exists at least one group of 4 elements: the cyclic group with 4 elements. In fact, there are two different groups with 4 elements:

ii.1) The so-called Klein’s group.

ii.2) The proper cyclic group with 4 elements.

Remark: We can enumerate easily every element in a cyclic group with n-elements. Using complex analysis we get that the n-elements in a cyclic group can be written with the following formula

g_k=\exp \left(\dfrac{2\pi i k}{n}\right) \forall k=1,2,\ldots,n

Example 11. Congruences (I). Given m\in \mathbb{Z} and numbers x,y in that set, we ay that x is congruent with y modulus m, and we denote it by x\equiv y(m) or even by x=y(m) (sometimes it is writtem \mbox{mod}(m) as well), if and only if:

\exists k\in \mathbb{Z}/x-y=km

This is an equivalence class/relation and we can define classes \left[x\right]=\left\{y\in \mathbb{Z}/x\equiv y(m)\right\} and the set of classes

\mathbb{Z}_m=\left\{\left[x\right],\left[y\right],\ldots\right\}

Example 12. Congruences (II). We define an addition and a product acting on the congruence equivalente classes:

(+):\left[a\right],\left[b\right]\in \mathbb{Z}_m\Rightarrow\left[a\right]+\left[b\right]=\left[a+b\right]

(\cdot):\left[a\right],\left[b\right]\in \mathbb{Z}_m\Rightarrow\left[a\right]\cdot \left[b\right]=\left[a \cdot b\right]

With these operations it is possible to define in some cases groups, in the following way:

i) The group (\mathbb{Z}_m,+). It is an abelian group \forall m\in \mathbb{Z}.

ii) The group (\mathbb{Z}_m,\cdot) is a group if and only if (iff) m is a prime number.

Example 13. Congruences (III). Write down the Cayley tables for \mathbb{Z}_m if m=1,2,3.

Example 14. Permutation groups, sometimes denoted by S_n. This group is the (sub)group of the symmetrical group S_n formed by the permutations of elements of a set of n-elements. Note that the group of all permutations of a set is in fact the definition of  the symmetric group. Then, the term permutation group is usually restricted to mean a subgroup of the symmetric group. The permutation group is the group formed by those elements that are permutations of a given set.

Example 15. The translation group in space. T_{\vec a}T_{\vec b}=T_{\vec a+\vec b}

In every vector space, it forms an (abelian) group.

Example 16. Translation group in spacetime. The same as before, but in spacetime. Translations and Lorentz groups in space-time together form the so-called Poincare group.

Example 17. Fractional linear transformations over the real numbers, the complex numbers or some other “beautiful and nice” class of numbers:

A(x)=\dfrac{Ax+B}{Cx+D}

where A,B, C and D are generally real, complex numbers or “similar numbers” with AD-BC\neq 0.

Example 18. Important matrix groups. Let A be the set of square matrices n\times n over certain “field” \mathbb{K}=\mathbb{R},\mathbb{C}  (field said in the mathematical sense, not in the physical sense of “field”, be aware). The following sets with the usual matrix multiplication form a group with a continuous number of parameters (they are continuous infinite groups):

i) G=GL(n,\mathbb{K}). The general linear group. It is a continuous group with n^2 parameters. Generally, it is understood that the matrix is non-singlular in order to have a well-defined inverse element. Then, \det M\neq 0\in G.

ii) G=SL(n,\mathbb{K}). The special linear group. It has n^2-1 parameters over the field. They are the subgroup of GL(n,\mathbb{K}) with determinant equal to one.

iii) G=U(n,\mathbb{C}. The unitary group. It is formed by complex matrices that verify the property MM^+=M^+M=I, where + denotes “adjoint” and transposition (the so-called hermitian conjugate by physicists). It has n^2 complex parameters, or 2n^2 real parameters if you count in terms of real numbers.

iv) G=SU(n). The subgroup of the unitary group formed with unitary matrices whose value is equal to the unit. \det M=1 in this group. Its number of parameters is given by n^2-1. The number of real parameters doubles it to be 2(n^2-1).

v) G=O(n). The group of orthogonal matrices over the real numbers in euclidean space. It has n(n-1)/2 real parameters(generally “angles”). Any orthogonal matrix satisfies the property that AA^T=A^TA=I. The SO(n) group is the subgroup of O(n) formed by orthogonal matrices of unit determinant. The special orthogonal group has the same number of real parameters than the orthogonal group.

vi) G=Sp(2n). The symplectic group. Sp(2n, K) is given by the set of 2n×2n matrices A (with entries in K) that satisfy

\Omega A+A^T\Omega with

\Omega=\begin{pmatrix} 0 & I_n\\ -I_n & 0\end{pmatrix}

This version of the symplectic group is sometimes non-compact (and it is important in classical mechanics). There is another “symplectic” group, the group Sp(n). It is the subgroup of quaternionic matrices GL(n,H), invertible quaternionic matrices (I am not going to explain the quaternions here this time). It is compact and formed by any matrix nxn over the quaternions leaving the hermitian form x\cdot y=\overline{X}Y. Then, the compact symplectic group can be related to the unitary group with some careful analysis on the number of parameters of the hermitian form.

May the group theory be with you!

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