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 3sphere. Since unit quaternions can be used to represent rotations in 3dimensional 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 wellunderstood class of groups are the socalled 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 nonabelian 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×ninvertible 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 3sphere, denoted S^{3}, we can see that this is an embedding of the 3sphere 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 GellMann 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/QuarksandLeptonsAnIntroductoryCourseinModernParticlePhysics_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