Representacin de grupo

De Wikipedia, la enciclopedia libre

En el estudio de los grupos en lgebra, una representacin de grupo es una "descripcin" de un grupo como
grupo concreto de transformaciones (o grupo de automorfismos) de un cierto objeto matemtico. Ms
formalmente, la "descripcin" significa que hay un homomorfismo del grupo a un cierto grupo de
automorfismos. Una representacin fiel es una en la cual este homomorfismo es inyectivo.

ndice
1 Primeros ejemplos
2 Representacin conjuntista / representacin por permutaciones
3 Representacin lineal
3.1 Ejemplo
3.2 Equivalencia de las representaciones
3.3 Acciones de grupo
3.4 Reducibilidad
3.5 Teora de caracteres
4 Representacin categrica
5 Referencias

Primeros ejemplos
A veces se utiliza realizacin para esta nocin, reservando el trmino representacin para lo qu ms abajo se
llamar representaciones lineales. La teora de la representacin se divide en subteoras dependiendo de la clase
de grupo que es representado. Las divisiones ms importantes son:

Grupos finitos: las representaciones de grupo son una herramienta muy importante en el estudio de grupos
finitos. Tambin aparecen en ciertas aplicaciones de la teora de grupos finitos cristalografa y en geometra. El
caso especial donde la representacin es sobre un cuerpo de caracterstica p y p divide el orden del grupo,
llamada teora de la representacin modular, tiene propiedades muy diversas (vase abajo).

Grupos topolgicos compactos o localmente compactos: muchos de los resultados de la teora de

representacin de grupos finitos son probados haciendo un promedio sobre el grupo. Estas pruebas se pueden
transportar a los grupos infinitos si el promedio es substituido por una integral, lo que solamente funciona si
podemos definir una nocin aceptable de integral. Esto se puede hacer para los grupos localmente compactos,
usando la medida de Haar. La teora que resulta es una parte central del anlisis armnico. La dualidad de
Pontryagin describe la teora para los grupos conmutativos, como transformacin de Fourier generalizada.

Grupos de Lie: Muchos grupos de Lie importantes son compactos, as que los resultados de la teora compacta
de representacin se aplican a ellos. Otras tcnicas especficas de los grupos de Lie se utilizan tambin. La
mayora de los grupos importantes en la fsica y la qumica son grupos de Lie, y la teora de representacin es
crucial para el uso de la teora de grupos en esos campos. Vea Representaciones de grupos de Lie o de lgebras
de Lie.

Grupos topolgicos no compactos: La clase de grupos no compactos es demasiado amplia para construir
cualquier teora general de representacin, pero se han estudiado casos especiales especficos, a veces usando
tcnicas ad hoc. Los grupos de Lie semisimples tiene una teora profunda, basada en el caso compacto. Los
grupos de Lie solubles no pueden ser clasificados de la misma manera. La teora general para los grupos de Lie
se ocupa de los productos semidirectos de los dos tipos, por medio de los resultados generales llamados teora
de Mackey, que es una generalizacin de los mtodos de clasificacin de Wigner.
Dentro de una clase dada de teora de representacin, los resultados se diferencian dependiendo de la clase de
grupo de automorfismos que se busque. Un posible 'blanco' para el homomorfismo de la definicin son los
grupos de permutaciones. Pero los 'blancos' ms importantes son grupos de matrices sobre algunos cuerpos, o,
ms generalmente, grupos de transformaciones lineales inversibles de un espacio vectorial.

El caso ms importante es el cuerpo de los Nmeros complejos (es decir, las representaciones son
homomorfismos a un grupo de matrices complejas o de transformaciones lineales inversibles de un espacio
vectorial complejo). Si el espacio vectorial es finito dimensional, entonces las representaciones son tambin
finito dimensionales. (las representaciones infinito dimensionales son tambin posibles; el espacio vectorial
puede entonces ser un espacio de Hilbert infinito dimensional, por ejemplo.)

Los otros casos importantes son el cuerpo de los nmeros reales, los cuerpos finitos, y los cuerpos de los
nmeros p-dicos. Las representaciones en el caso finito del cuerpo se llaman modulares. Aqu la caracterstica
del cuerpo es absolutamente significativa; muchos teoremas dependen de que el orden del grupo no divida la
caracterstica del cuerpo.

Representacin conjuntista / representacin por permutaciones

Un conjunto X se dice que soporta una representacin conjuntista o representacin por permutacin de un
grupo G si hay una funcin, de G a XX, el conjunto de las funciones de X a X tales que para g1, g2 en G, y x en
X

Esta condicin y los axiomas para un grupo implican que (g) es una biyeccin (permutacin) para todo g en
G. As podemos equivalentemente definir una representacin de permutacin como un homomorfismo de
grupos de G al grupo simtrico SX de X.

Ver accin de grupo.

Una representacin lineal es un caso especial de una representacin conjuntista con estructura adicional.

Representacin lineal
En lgebra abstracta, una representacin de un grupo finito G es un homomorfismo de grupos de G en el
grupo general lineal GL(n, C) de las matrices complejas invertibles n-por-n. El estudio de tales
representaciones se llama teora de representacin.

La teora de representacin es importante porque permite la reduccin de algunos problemas de la teora de

grupos al lgebra lineal, que tiene una teora muy bien entendida. Hay un anlogo de esta teora para muchas
clases importantes de grupos infinitos; vea representaciones de los grupos y de las lgebras de Lie y teorema de
Peter-Weyl para los grupos topolgicos compactos. Una representacin por transformaciones proyectivas
(vase representacin proyectiva) se puede describir como representacin lineal salvo matrices escalares. Estas
representaciones ocurren naturalmente, tambin.

Podramos tambin tener representaciones afines. Por ejemplo, el grupo euclidiano acta de forma afn sobre el
espacio euclidiano.

Ejemplo
Considere el nmero complejo u = exp(2i/3) que tiene la propiedad u = 1. El grupo cclico C3 = { 1, u, u }
tiene una representacin dada por:
(las tres matrices son (1), (u) y (u) respectivamente).

Esta representacin se dice fiel, porque es inyectiva.

Equivalencia de las r epresentaciones

Dos representaciones 1 y 2 se dicen equivalentes si las matrices se diferencian solamente por un cambio de
base, es decir si existe A en GL(n, C) tal que para todo el x en G: 1(x) = A2(x)A-1. Por ejemplo, la
representacin de C3 dado por las matrices:

es una representacin equivalente a la mostrada arriba.

Acciones de grupo
Cada matriz cuadrada n-por-n describe una funcin lineal desde un espacio vectorial n-dimensional V a s
mismo (una vez que se ha elegido una base para V). Por lo tanto, cada representacin : G -> GLn define una
accin de grupo en V dada por g.v = ((g))(v) (para g en G, v en V). Se puede de hecho definir una
representacin de un grupo como accin de ese grupo en un cierto espacio vectorial, evitando de tal modo la
necesidad de elegir una base y la restriccin a los espacios vectoriales finito-dimensionales.

Reducibilidad
Si V tiene un subespacio propio no trivial W tal que W est contenido en V y es estable por la representacin
, entonces la representacin se dice reducible. Una representacin reducible se puede expresar como una suma
directa de subrepresentaciones (Teorema de Maschke) (solamente para los grupos finitos son las
representaciones reducibles necesariamente descomponibles!). Si V no tiene ningn tal subespacio, 6rho; se
dice una representacin irreducible.

Para grupos de Lie compactos se tiene el siguiente teorema:

Sea un grupo de Lie compacto:

(a) Cualquier representacin irreducible de es de

dimensin finita y es equivalente a una representacin
unitaria.
(b) Toda representacin de puede descomponerse
como suma directa (posiblemente infinita) de sub-
representaciones irreducibles (de espacioss vectoriales
topolgicas).

Teora de caracteres
El carcter de una representacin es la funcin que asigna a cada a la
traza (suma de los elementos diagonales) de la matriz (g). Por ejemplo, el carcter de la representacin dada
arriba se da cerca: (1) = 2, (u) = 1 + u, (u) = 1 + u. Si g y h son miembros de G en igual clase de
conjugacin, entonces (g) = (h) para cualquier carcter; los valores de un carcter por lo tanto tienen que ser
especificados solamente para las diversas clases de conjugacin de G. Ms an, las representaciones
equivalentes tienen los mismos caracteres. Si una representacin es la suma directa de subrepresentaciones,
entonces el carcter correspondiente es la suma de los caracteres de las subrepresentaciones. Los caracteres de
todas las representaciones irreducibles de un grupo finito forman una tabla de caracteres, con las clases de
conjugacin de elementos como las columnas, y caracteres como las filas. Aqu est la tabla de caracteres de
C3:

La tabla de caracteres es siempre cuadrada, y las filas y las columnas son ortogonales con respecto al producto
interior en Cm (vase relacin de ortogonalidad), que permite que se compute las tablas de caracteres ms
fcilmente. La primera fila de la tabla de caracteres siempre consiste en unos, y corresponde a la representacin
trivial (la representacin de 1 dimensin que consiste en las matrices 11 que contienen la entrada 1). Ciertas
propiedades del grupo G se pueden deducir de su tabla de caracteres:

El orden de G viene dado por la suma de ((1)) sobre los caracteres en la tabla.

G es abeliano si y solamente si (1) = 1 para todos los caracteres en la tabla.

G tiene un subgrupo normal no trivial (es decir G no es un grupo simple) si y solamente si (1) = (g)
para algn carcter no trivial en la tabla y un cierto elemento no-identidad g en G.

La tabla de caracteres en general no determina un grupo salvo isomorfismo: por ejemplo, el grupo
cuaterninico Q y el grupo dihedral de 8 elementos (D8) tienen la misma tabla de caracteres.

Representacin categrica
Generalmente, una representacin de un grupo G en una categora C es un funtor de G (como categora de un
objeto) en C.

una representacin conjuntista es una representacin en la categora de conjuntos, es decir una

representacin de permutacin.

una representacin k-lineal (para algn cuerpo k) es una representacin en la categora de los espacios
vectoriales sobre k.

Referencias
Fulton, William; Harris, Joe (1991), Representation theory. A first course. Introduction to representation
theory with emphasis on Lie groups, Graduate Texts in Mathematics, Readings in Mathematics 129, New
York: Springer-Verlag, ISBN 978-0-387-97495-8, MR 1153249, ISBN 978-0-387-97527-6
Yurii I. Lyubich. Introduction to the Theory of Banach Representations of Groups. Translated from the
1985 Russian-language edition (Kharkov, Ukraine). Birkhuser Verlag. 1988.
Obtenido de https://es.wikipedia.org/w/index.php?title=Representacin_de_grupo&oldid=86962988

Categora: Teora de la representacin

Se edit esta pgina por ltima vez el 17 nov 2015 a las 12:09.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra poltica
de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.