Group representation


Group representation

In the mathematical field of representation theory, group representations describe abstract groups in terms of linear transformations of vector spaces; in particular, they can be used to represent group elements as matrices so that the group operation can be represented by matrix multiplication. Representations of groups are important because they allow many group-theoretic problems to be reduced to problems in linear algebra, which is well-understood. They are also important in physics because, for example, they describe how the symmetry group of a physical system affects the solutions of equations describing that system.

The term "representation of a group" is also used in a more general sense to mean any "description" of a group as a group of transformations of some mathematical object. More formally, a "representation" means a homomorphism from the group to the automorphism group of an object. If the object is a vector space we have a "linear representation". Some people use "realization" for the general notion and reserve the term "representation" for the special case of linear representations. The bulk of this article describes linear representation theory; see the last section for generalizations.

Branches of group representation theory

The representation theory of groups divides into subtheories depending on the kind of group being represented. The various theories are quite different in detail, though some basic definitions and concepts are similar. The most important divisions are:

*"Finite groups" — Group representations are a very important tool in the study of finite groups. They also arise in the applications of finite group theory to crystallography and to geometry. If the field of scalars of the vector space has characteristic "p", and if "p" divides the order of the group, then this is called "modular representation theory"; this special case has very different properties. See Representation theory of finite groups.

*"Compact groups or locally compact groups" — Many of the results of finite group representation theory are proved by averaging over the group. These proofs can be carried over to infinite groups by replacement of the average with an integral, provided that an acceptable notion of integral can be defined. This can be done for locally compact groups, using Haar measure. The resulting theory is a central part of harmonic analysis. The Pontryagin duality describes the theory for commutative groups, as a generalised Fourier transform. See also: Peter-Weyl theorem.

*"Lie groups" — Many important Lie groups are compact, so the results of compact representation theory apply to them. Other techniques specific to Lie groups are used as well. Most of the groups important in physics and chemistry are Lie groups, and their representation theory is crucial to the application of group theory in those fields. See Representations of Lie groups and Representations of Lie algebras.

*"Linear algebraic groups" (or more generally "affine group schemes") — These are the analogues of Lie groups, but over more general fields than just R or C. Although linear algebraic groups have a classification that is very similar to that of Lie groups, and give rise to the same families of Lie algebras, their representations are rather different (and much less well understood). The analytic techniques used for studying Lie groups must be replaced by techniques from algebraic geometry, where the relatively weak Zariski topology causes many technical complications.

*"Non-compact topological groups" — The class of non-compact groups is too broad to construct any general representation theory, but specific special cases have been studied, sometimes using ad hoc techniques. The "semisimple Lie groups" have a deep theory, building on the compact case. The complementary "solvable" Lie groups cannot in the same way be classified. The general theory for Lie groups deals with semidirect products of the two types, by means of general results called "Mackey theory", which is a generalization of Wigner's classification methods.

Representation theory also depends heavily on the type of vector space on which the group acts. One distinguishes between finite-dimensional representations and infinite-dimensional ones. In the infinite-dimensional case, additional structures are important (e.g. whether or not the space is a Hilbert space, Banach space, etc.).

One must also consider the type of field over which the vector space is defined. The most important case is the field of complex numbers. The other important cases are the field of real numbers, finite fields, and fields of p-adic numbers. In general, algebraically closed fields are easier to handle than non-algebraically closed ones. The characteristic of the field is also significant; many theorems for finite groups depend on the characteristic of the field not dividing the order of the group.

Definitions

A representation of a group "G" on a vector space "V" over a field "K" is a group homomorphism from "G" to "GL(V)", the general linear group on "V". That is, a representation is a
ho colon G o GL(V) ,! such that: ho(g_1 g_2) = ho(g_1) ho(g_2) , qquad ext{for all }g_1,g_2 in G . ,!

Here "V" is called the representation space and the dimension of "V" is called the dimension of the representation. It is common practice to refer to "V" itself as the representation when the homomorphism is clear from the context.

In the case where "V" is of finite dimension "n" it is common to choose a basis for "V" and identify GL("V") with GL ("n", "K") the group of "n"-by-"n" invertible matrices on the field "K".

If "G" is a topological group and "V" is a topological vector space, a continuous representation of "G" on "V" is a representation ho such that the application Phi:G imes V o V defined by Phi(g,v)= ho(g).v is continuous.

The kernel of a representation ho of a group "G" is defined as the normal subgroup of "G" whose image under ho is the identity transformation:: ker ho = left{g in G mid ho(g) = id ight} ,!.

A faithful representation is one in which the homomorphism "G" → GL("V") is injective; in other words, one whose kernel is the trivial subgroup {"e"} consisting of just the group's identity element.

Given two "K" vector spaces "V" and "W", two representations: ho_1 colon G o GL(V) ,! and : ho_2 colon G ightarrow GL(W) ,!are said to be equivalent or isomorphic if there exists a vector space isomorphism:alpha colon V o W ,!so that for all "g" in "G":alpha circ ho_1(g) circ alpha^{-1} = ho_2(g) ,!

Examples

Consider the complex number "u" = e2πi / 3 which has the property "u"3 = 1. The cyclic group "C"3 = {1, "u", "u"2} has a representation ρ on C2 given by:

: ho left( 1 ight) =egin{bmatrix}1 & 0 \0 & 1 \end{bmatrix}qquad ho left( u ight) =egin{bmatrix}1 & 0 \0 & u \end{bmatrix}qquad ho left( u^2 ight) =egin{bmatrix}1 & 0 \0 & u^2 \end{bmatrix}

This representation is faithful because ρ is a one-to-one map.

An isomorphic representation for "C"3 is

: ho left( 1 ight) =egin{bmatrix}1 & 0 \0 & 1 \end{bmatrix}qquad ho left( u ight) =egin{bmatrix}u & 0 \0 & 1 \end{bmatrix}qquad ho left( u^2 ight) =egin{bmatrix}u^2 & 0 \0 & 1 \end{bmatrix}

The group "C"3 may also be faithfully represented on R2 by: ho left( 1 ight) =egin{bmatrix}1 & 0 \0 & 1 \end{bmatrix}qquad ho left( u ight) =egin{bmatrix}a & -b \b & a \end{bmatrix}qquad ho left( u^2 ight) =egin{bmatrix}a & b \-b & a \end{bmatrix}

where a=Re(u)=-1/2 and b=Im(u)=sqrt{3}/2.

Reducibility

A subspace "W" of "V" that is fixed under the group action is called a "subrepresentation". If "V" has exactly two subrepresentations, namely the zero-dimensional subspace and "V" itself, then the representation is said to be "irreducible"; if it has a proper subrepresentation of nonzero dimension, the representation is said to be "reducible". The representation of dimension zero is considered to be neither reducible nor irreducible, just like the number 1 is considered to be neither composite nor prime.

Under the assumption that the characteristic of the field "K" does not divide the size of the group, representations of finite groups can be decomposed into a direct sum of irreducible subrepresentations (see Maschke's theorem). This holds in particular for any representation of a finite group over the complex numbers, since the characteristic of the complex numbers is zero, which never divides the size of a group.

In the example above, the first two representations given are both decomposable into two 1-dimensional subrepresentations (given by span{(1,0)} and span{(0,1)}), while the third representation is irreducible.

Generalizations

et-theoretical representations

A "set-theoretic representation" (also known as a group action or "permutation representation") of a group "G" on a set "X" is given by a function ρ from "G" to "X""X", the set of functions from "X" to "X", such that for all "g"1, "g"2 in "G" and all "x" in "X":

: ho(1) [x] = x: ho(g_1 g_2) [x] = ho(g_1) [ ho(g_2) [x]

This condition and the axioms for a group imply that ρ("g") is a bijection (or permutation) for all "g" in "G". Thus we may equivalently define a permutation representation to be a group homomorphism from G to the symmetric group S"X" of "X".

For more information on this topic see the article on group action.

Representations in other categories

Every group "G" can be viewed as a category with a single object; morphisms in this category are just the elements of "G". Given an arbitrary category "C", a "representation" of "G" in "C" is a functor from "G" to "C". Such a functor selects an object "X" in "C" and a group homomorphism from "G" to Aut("X"), the automorphism group of "X".

In the case where "C" is Vect"K", the category of vector spaces over a field "K", this definition is equivalent to a linear representation. Likewise, a set-theoretic representation is just a representation of "G" in the category of sets.

For another example consider the category of topological spaces, Top. Representations in Top are homomorphisms from "G" to the homeomorphism group of a topological space "X".

Two types of representations closely related to linear representations are:
*projective representations: in the category of projective spaces. These can be described as "linear representations up to scalar transformations".
*affine representations: in the category of affine spaces. For example, the Euclidean group acts affinely upon Euclidean space.

ee also

*Character theory
*List of harmonic analysis topics
*List of representation theory topics
*Representation theory of finite groups

References

*. Introduction to representation theory with emphasis on Lie groups.


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • group representation — grupės vaizdavimas statusas T sritis fizika atitikmenys: angl. group representation vok. Darstellung der Gruppe, f rus. представление группы, n pranc. représentation d’un groupe, f …   Fizikos terminų žodynas

  • group representation — Govt. representation in a governing body on the basis of interests rather than by geographical location. * * * group representation, a method of selecting members of a governmental body to represent interests rather than geographical units …   Useful english dictionary

  • group representation — Govt. representation in a governing body on the basis of interests rather than by geographical location. * * * …   Universalium

  • Group Representation Constituency — Circonscriptions électorales aux Élections législatives singapouriennes de 2011. Les GRC sont en jaune (4 élus), vert (5 élus) et bleu (6 élus). Les circonscriptions roses sont des Single Member Constituencie (SMC). La Group Representation… …   Wikipédia en Français

  • East Coast Group Representation Constituency — (Traditional Chinese: 東海岸集選區;Simplified Chinese: 东海岸集选区) is a five member Group Representation Constituency in the eastern area of Singapore. The areas of the Group Representation Constituency consists of East Coast, Bedok, Changi Simei, Fengshan …   Wikipedia

  • Marine Parade Group Representation Constituency — Marine Parade Group Representation Constituency. Not to be confused with another defunct ward called Marine Parade Single Member Constituency (Marine Parade SMC) that existed from 1976 to 1984 where the second Prime Minister of Singapore, Goh… …   Wikipedia

  • Holland-Bukit Timah Group Representation Constituency — (Traditional Chinese: 荷蘭 武吉知馬集選區;Simplified Chinese: 荷兰 武吉知马集选区) is a five member Group Representation Constituency located in the central, western and northern areas of Singapore. The Group Representation Constituency has not received a contest… …   Wikipedia

  • Cheng San Group Representation Constituency — Not to be confused with Cheng San Single Member Constituency where the ex Education Minister Lee Yock Suan[1] made his first debut. This article is describing a ward in Cheng San area after that ward was abolished. Cheng San Group Representation… …   Wikipedia

  • Tanjong Pagar Group Representation Constituency — (Traditional Chinese: 丹戎巴葛集選區;Simplified Chinese: 丹戎巴葛集选区) is a six member Group Representation Constituency in central Singapore. Tanjong Pagar GRC is led by Minister Mentor Lee Kuan Yew, who is the Member of Parliament for the Tanjong Pagar… …   Wikipedia

  • Ang Mo Kio Group Representation Constituency — (Traditional Chinese: 宏茂橋集選區;Simplified Chinese: 宏茂桥集选区) is a six member Group Representation Constituency (GRC) in the north eastern region of Singapore. The constituency encompasses the majority of Ang Mo Kio, Teck Ghee, Kebun Baru, Yio Chu… …   Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.