Representación de grupo

Representación de grupo

En el estudio de los grupos matemáticos, una representación de grupo es una "descripción" de un grupo como grupo concreto de transformaciones (o grupo de automorfismos) de un cierto objeto matemático. Más formalmente, la "descripción" significa que hay un homomorfismo del grupo a un cierto grupo de automorfismos. Una representación fiel es una en la cual este homomorfismo es inyectivo.

Contenido

Primeros ejemplos

Alguna gente utiliza realización para esta noción y reserva el término representación para lo qué más abajo se llamará representaciones lineales. La teoría de la representación se divide en subteorías dependiendo de la clase de grupo que es representado. Las diversas teorías son absolutamente diferentes en su detalle, aunque algunas definiciones y conceptos básicos son similares. Las divisiones más importantes son:

Grupos finitos: las representaciones de grupo son una herramienta muy importante en el estudio de grupos finitos. También aparecen en ciertas aplicaciones de la teoría de grupos finitos cristalografía y en geometría. El caso especial donde la representación es sobre un cuerpo de característica p y p divide el orden del grupo, llamada teoría de la representación modular, tiene propiedades muy diversas (véase abajo).

Grupos topológicos compactos o localmente compactos: muchos de los resultados de la teoría de representación 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 noción aceptable de integral. Esto se puede hacer para los grupos localmente compactos, usando la medida de Haar. La teoría que resulta es una parte central del análisis armónico. La dualidad de Pontryagin describe la teoría para los grupos conmutativos, como transformación de Fourier generalizada.

Grupos de Lie: Muchos grupos de Lie importantes son compactos, así que los resultados de la teoría compacta de representación se aplican a ellos. Otras técnicas específicas de los grupos de Lie se utilizan también. La mayoría de los grupos importantes en la física y la química son grupos de Lie, y la teoría de representación es crucial para el uso de la teoría de grupos en esos campos. Vea Representaciones de grupos de Lie o de álgebras de Lie.

Grupos topológicos no compactos: La clase de grupos no compactos es demasiado amplia para construir cualquier teoría general de representación, pero se han estudiado casos especiales específicos, a veces usando técnicas ad hoc. Los grupos de Lie semisimples tiene una teoría profunda, basada en el caso compacto. Los grupos de Lie solubles no pueden ser clasificados de la misma manera. La teoría general para los grupos de Lie se ocupa de los productos semidirectos de los dos tipos, por medio de los resultados generales llamados teoría de Mackey, que es una generalización de los métodos de clasificación de Wigner.

Dentro de una clase dada de teoría de representación, los resultados se diferencian dependiendo de la clase de grupo de automorfismos que se busque. Un posible 'blanco' para el homomorfismo de la definición son los grupos de permutaciones. Pero los 'blancos' más importantes son grupos de matrices sobre algunos cuerpos, o, más generalmente, grupos de transformaciones lineales inversibles de un espacio vectorial.

El caso más importante es el cuerpo de los Números 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 también finito dimensionales. (las representaciones infinito dimensionales son también posibles; el espacio vectorial puede entonces ser un espacio de Hilbert infinito dimensional, por ejemplo.)

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

Representación conjuntista / representación por permutaciones

Un conjunto X se dice que soporta una representación conjuntista o representación por permutación de un grupo G si hay una función, ρ de G a XX, el conjunto de las funciones de X a X tales que para g1, g2 en G, y x en X

ρ(g1g2)[x] = ρ(g1)[ρ(g2)[x]].

Esta condición y los axiomas para un grupo implican que ρ(g) es una biyección (permutación) para todo g en G. Así podemos equivalentemente definir una representación de permutación como un homomorfismo de grupos de G al grupo simétrico SX de X.

Ver acción de grupo.

Una representación lineal es un caso especial de una representación conjuntista con estructura adicional.

Representación lineal

En álgebra abstracta, una representación 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 teoría de representación.

La teoría de representación es importante porque permite la reducción de algunos problemas de la teoría de grupos al álgebra lineal, que tiene una teoría muy bien entendida. Hay un análogo de esta teoría 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 topológicos compactos. Una representación por transformaciones proyectivas (véase representación proyectiva) se puede describir como representación lineal salvo matrices escalares. Estas representaciones ocurren naturalmente, también.

Podríamos también tener representaciones afines. Por ejemplo, el grupo euclidiano actúa de forma afín sobre el espacio euclidiano.

Ejemplo

Considere el número complejo u = exp(2πi/3) que tiene la propiedad u³ = 1. El grupo cíclico C3 = { 1, u, u² } tiene una representación ρ dada por:


\begin{bmatrix}
1 & 0 \\
0 & 1 \\
\end{bmatrix}
\qquad
\begin{bmatrix}
1 & 0 \\
0 & u \\
\end{bmatrix}
\qquad
\begin{bmatrix}
1 & 0 \\
0 & u^2 \\
\end{bmatrix}


(las tres matrices son ρ(1), ρ(u) y ρ(u²) respectivamente).

Esta representación se dice fiel, porque ρ es inyectiva.

Equivalencia de las representaciones

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) = Aρ2(x)A-1. Por ejemplo, la representación de C3 dado por las matrices:


\begin{bmatrix}
1 & 0 \\
0 & 1 \\
\end{bmatrix}
\qquad
\begin{bmatrix}
u & 0 \\
0 & 1 \\
\end{bmatrix}
\qquad
\begin{bmatrix}
u^2 & 0 \\
0 & 1 \\
\end{bmatrix}

es una representación equivalente a la mostrada arriba.

Acciones de grupo

Cada matriz cuadrada n-por-n describe una función 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 representación ρ: G -> GLn define una acción de grupo en V dada por g.v = (ρ(g))(v) (para g en G, v en V). Se puede de hecho definir una representación de un grupo como acción de ese grupo en un cierto espacio vectorial, evitando de tal modo la necesidad de elegir una base y la restricción 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 representación ρ, entonces la representación se dice reducible. Una representación 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 ningún tal subespacio, 6rho; se dice una representación irreducible.

Teoría de caracteres

El carácter de una representación ρ: G -> GLn es la función χ G -> C que envía g en G a la traza (suma de los elementos diagonales) de la matriz ρ(g). Por ejemplo, el carácter de la representación 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 conjugación, entonces χ(g) = χ(h) para cualquier carácter; los valores de un carácter por lo tanto tienen que ser especificados solamente para las diversas clases de conjugación de G. Más aún, las representaciones equivalentes tienen los mismos caracteres. Si una representación es la suma directa de subrepresentaciones, entonces el carácter 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 conjugación de elementos como las columnas, y caracteres como las filas. Aquí está la tabla de caracteres de C3:

     (1)  (u)  (u²)
  1   1    1    1
  χ1  1    u    u²
  χ2  1    u²   u

La tabla de caracteres es siempre cuadrada, y las filas y las columnas son ortogonales con respecto al producto interior en Cm (véase relación de ortogonalidad), que permite que se compute las tablas de caracteres más fácilmente. La primera fila de la tabla de caracteres siempre consiste en unos, y corresponde a la representación trivial (la representación de 1 dimensión que consiste en las matrices 1×1 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 algún carácter χ 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 cuaterniónico Q y el grupo dihedral de 8 elementos (D8) tienen la misma tabla de caracteres.

Representación categórica

Generalmente, una representación de un grupo G en una categoría C es un funtor de G (como categoría de un objeto) en C.

  • una representación conjuntista es una representación en la categoría de conjuntos, es decir una representación de permutación.
  • una representación k-lineal (para algún cuerpo k) es una representación en la categoría de los espacios vectoriales sobre k.

Wikimedia foundation. 2010.

Игры ⚽ Поможем написать реферат

Mira otros diccionarios:

  • Representación de grupo — En el estudio de los grupos matemáticos, una representación de grupo es una descripción de un grupo como grupo concreto de transformaciones (o grupo de automorfismos) de un cierto objeto matemático. Más formalmente, la descripción significa que… …   Enciclopedia Universal

  • Representación — Saltar a navegación, búsqueda Representación, representar, representante y representado, pueden referirse a: Contenido 1 Derecho y ciencias políticas 2 Arte, deporte y comercio 3 Filosofía …   Wikipedia Español

  • Grupo — (del italiano gruppo), la pluralidad de elementos que forman un conjunto, puede hacer referencia a: Contenido 1 En matemáticas 2 En astronomía 3 En física …   Wikipedia Español

  • Grupo diedral — Este copo de nieve tiene la simetría diedral de un hexágono regular. En matemáticas, un grupo diedral es el grupo de simetría de un polígono regular, incluyendo tanto rotaciones y reflexiones.[1] …   Wikipedia Español

  • Grupo lineal general — En matemáticas, el grupo lineal general (GL) de un espacio vectorial , denotdo como , es el grupo formado por todos los isomorfismos de ese espacio. Cuando el espacio vectorial es siendo un cuerpo F (tal como o …   Wikipedia Español

  • Representación (política) — Saltar a navegación, búsqueda En política, la representación es el acto mediante el cual un representante (sea este gobernante o legislador) actúa en nombre de un representado (elector en el caso de las democracias) para la satisfacción de sus… …   Wikipedia Español

  • Grupo Atletico Militarizado Estudiantil — Grupo Atlético Militarizado Estudiantil Escudo del GAME Activa 7 de octubre de 2000 en adelante País …   Wikipedia Español

  • Representación de España en el Parlamento Europeo en 1986 — Saltar a navegación, búsqueda Según los términos fijados en el artículo 10 del Acta de Adhesión de España a las Comunidades Europeas.[1] a España le correspondían 60 eurodiputados. Del mismo modo se había acordado que las elecciones debían… …   Wikipedia Español

  • representación — sustantivo femenino 1. Figura, imagen o idea que sustituye a la realidad: En la cueva había una representación muy esquemática de una escena de caza. Una letra no siempre es la representación de un sonido. 2. Idea de la realidad que se tiene en… …   Diccionario Salamanca de la Lengua Española

  • Grupo Forniesa El Ejido FS — Nombre completo El Ejido Fútbol Sala Apodo(s) El Ejido, Forniesa Ejido, Grupo Forniesa, equipo celeste Fundación 1989 Estadio Pa …   Wikipedia Español

Compartir el artículo y extractos

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