Representación de grupo

En el estudio de los grupos en álgebra, 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.

A veces se utiliza realización para esta noción, reservando 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 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.

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 X^X, el conjunto de las funciones de X a X tales que para g₁, g₂ en G, y x en 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 S_X de X.

Ver acción de grupo.

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

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.

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

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

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

Dos representaciones ρ₁ y ρ₂ 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: ρ₁(x) = Aρ₂(x)A^-1. Por ejemplo, la representación de C₃ dado por las matrices:

es una representación equivalente a la mostrada arriba.

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 -> GL_n 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.

Si V tiene un subespacio propio no trivial W tal que W 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, las representaciones reducibles son necesariamente descomponibles!). Si V no tiene ningún tal subespacio; se dice que ρ es una representación irreducible.

Para grupos de Lie compactos se tiene el siguiente teorema:

Sea ${displaystyle scriptstyle K}$ un grupo de Lie compacto:

El carácter de una representación ${displaystyle ho :{mathcal {G}} o mathrm {GL} _{n}(mathbb {C} )}$ es la función ${displaystyle chi :{mathcal {G}} o mathbb {C} }$ que asigna a cada ${displaystyle gin {mathcal {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 C₃:

${displaystyle {egin{matrix}&(1)&(u)&(u^{2})\1&1&1&1\x_{1}&1&u&u^{2}\x_{2}&1&u^{2}&uend{matrix}}}$

La tabla de caracteres es siempre cuadrada, y las filas y las columnas son ortogonales con respecto al producto interno en C^m (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:

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 (D₈) tienen la misma tabla de caracteres.

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.