In mathematics, the **special unitary group** of degree *n*, denoted SU(*n*), is the group of *n*×*n* unitary matrices with determinant 1. The group operation is that ofmatrix multiplication. The special unitary group is a subgroup of the unitary group U(*n*), consisting of all *n*×*n* unitary matrices, which is itself a subgroup of thegeneral linear group GL(*n*, **C**).

The SU(n) groups find wide application in the Standard Model of particle physics, especially SU(2) in the electroweak interaction and SU(3) in QCD.

The simplest case, SU(1), is the trivial group, having only a single element. The group SU(2) is isomorphic to the group of quaternions of absolute value 1, and is thus diffeomorphic to the 3-sphere. Since unit quaternions can be used to represent rotations in 3-dimensional space (up to sign), we have a surjectivehomomorphism from SU(2) to the rotation group SO(3) whose kernel is { + *I*, − *I*}.

### Groups

A group expresses the intuitive concept of symmetry.

A **group** (*G*, •) is a set *G* closed under a binary operation • satisfying the following 3 axioms:

*Associativity*: For all*a*,*b*and*c*in*G*, (*a*•*b*) •*c*=*a*• (*b*•*c*).*Identity element*: There exists an*e*∈*G*such that for all*a*in*G*,*e*•*a*=*a*•*e*=*a*.*Inverse element*: For each*a*in*G*, there is an element*b*in*G*such that*a*•*b*=*b*•*a*=*e*, where*e*is an identity element.

## Basic definitions

A subset *H* ⊂ *G* is a *subgroup* if the restriction of • to *H* is a group operation on *H*. It is called *normal*, if left and right cosets agree, i.e. *gH* = *Hg* for all *g* in *G*.

Given a subset *S* of a group *G*, the smallest subgroup of *G* containing *S* is called the subgroup *generated by S*. It is often denoted <*S*>.

Both subgroups and normal subgroups of a given group form a complete lattice under inclusion of subsets; this property and some related results are described by the lattice theorem.

A *group homomorphism* is a map *f* : *G* → *H* between two groups that preserves the structure imposed by the operation, i.e.

*f*(*a*•*b*) =*f*(*a*) •*f*(*b*).

Bijective (in-, surjective) maps are isomorphisms of groups (mono-, epimorphisms, respectively). The kernel ker(*f*) is always a normal subgroup of the group. For *f* as above, the *fundamental theorem on homomorphisms* relates the structure of *G* and *H*, and of the kernel and image of the homomorphism, namely

*G*/ ker(*f*) ≅ im(*f*).

One of the fundamental problems of group theory is the *classification of groups* up to isomorphism.

Groups together with group homomorphisms form a category.

## Finiteness conditions

The *order* |*G*| (or o(*G*)) of a group is the cardinality of *G*. If the order |*G*| is (in-)finite, then *G* itself is called (in-)finite. An important class is the *group of permutations* or symmetric groups of *N* letters, denoted S_{N}. *Cayley’s theorem* exhibits any finite group *G* as a subgroup of the symmetric group on *G*.

Abelian groups

The category of groups can be subdivided in several ways. A particularly well-understood class of groups are the so-called abelian (in honor of Niels Abel, or commutative) groups, i.e. the ones satisfying

*a*•*b*=*b*•*a*for all*a*,*b*in*G*.

Another way of saying this is that the commutator

- [
*a*,*b*] :=*a*^{−1}*b*^{−1}*ab*

equals the identity element. A *non-abelian* group is a group that is not abelian. Even more particular, cyclic groups are the groups generated by a single element. Being either isomorphic to **Z** or to **Z**_{n}, the integers modulo *n*, they are always abelian.

# General linear group

In mathematics, the **general linear group** of degree *n* is the set of *n*×*n* invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, and the inverse of an invertible matrix is invertible. The name is because the columns of an invertible matrix are linearly independent, hence the vectors/points they define are in general linear position, and matrices in the general linear group take points in general linear position to points in general linear position.

To be more precise, it is necessary to specify what kind of objects may appear in the entries of the matrix. For example, the general linear group over **R** (the set of real numbers) is the group of *n*×*n* invertible matrices of real numbers, and is denoted by *GL _{n}*(

**R**) or

*GL*(

*n*,

**R**).

More generally, the general linear group of degree *n* over any field *F* (such as the complex numbers), or a ring *R* (such as the ring of integers), is the set of *n*×*n*invertible matrices with entries from *F* (or *R*), again with matrix multiplication as the group operation.^{[1]} Typical notation is *GL*_{n}(*F*) or *GL*(*n*, *F*), or simply *GL*(*n*) if the field is understood.

More generally still, the general linear group of a vector space *GL*(*V*) is the abstract automorphism group, not necessarily written as matrices.

The **special linear group**, written *SL*(*n*, *F*) or *SL*_{n}(*F*), is the subgroup of *GL*(*n*, *F*) consisting of matrices with a determinant of 1.

The group *GL*(*n*, *F*) and its subgroups are often called **linear groups** or **matrix groups** (the abstract group *GL*(*V*) is a linear group but not a matrix group). These groups are important in the theory of group representations, and also arise in the study of spatial symmetries and symmetries of vector spaces in general, as well as the study of polynomials. The modular group may be realised as a quotient of the special linear group SL(2, **Z**).

If *n* ≥ 2, then the group *GL*(*n*, *F*) is not abelian.

## SU(2)

- and

A general matrix element of takes the form

where such that | α | ^{2} + | β | ^{2} = 1. We can consider the following map , (where denotes the set of 2 by 2 complex matrices), defined in the obvious way by

By considering diffeomorphic to and diffeomorphic to we can see that is an injective real linear map and hence an embedding. Now considering the restriction of to the 3-sphere, denoted *S*^{3}, we can see that this is an embedding of the 3-sphere onto a compact submanifold of . However it is also clear that , which as a manifold is diffeomorphic to , making a compact, connected Lie group.

Now considering the Lie algebra , a general element takes the form

where and . It is easily verified that matrices of this form have trace zero and are antihermitian. The Lie algebra is then generated by the following matrices

which are easily seen to have the form of the general element specified above. These satisfy the relations *u*_{3}*u*_{2} = − *u*_{2}*u*_{3} = − *u*_{1} and *u*_{2}*u*_{1} = − *u*_{1}*u*_{2} = − *u*_{3}. The commutator bracket is therefore specified by

The above generators are related to the Pauli matrices by *u*_{1} = *i*σ_{1}, *u*_{2} = − *i*σ_{2} and *u*_{3} = *i*σ_{3}.

## SU(3)

The generators of (3), *T*, in the defining representation, are:

where , the Gell-Mann matrices, are the SU(3) analog of the Pauli matrices for SU(2):

Note that they are all traceless Hermitian matrices as required.

These obey the relations

where the *f* are the *structure constants*, as previously defined, and have values given by

and all other *f*_{abc} not related to these by permutation are zero.

The *d* take the values:

### References

http://en.wikipedia.org/wiki/Special_unitary_group

Quarks and Leptons: An Introductory Course in Modern Particle Physics

http://ebookee.org/Quarks-and-Leptons-An-Introductory-Course-in-Modern-Particle-Physics_542136.html

http://www.ima.umn.edu/~miller/symmetrygroups.html

http://en.wikipedia.org/wiki/Group_theory

http://en.wikipedia.org/wiki/Glossary_of_group_theory

http://en.wikipedia.org/wiki/General_linear_group