Gracias por A2A, Brando.
En lugar de estudiar directamente algún grupo (abstracto) [matemático] G [/ matemático], se puede obtener una idea de su estructura al mapearlo a grupos de automorfismo de ciertos espacios de vectores [matemáticos] [/ matemáticos].
Recuerde que los automorfismos de un espacio vectorial dimensional finito [matemática] V [/ matemática] corresponden a matrices regulares sobre [matemática] k [/ matemática] después de elegir una base.
Dicho mapa que respeta la estructura de grupo de [matemáticas] G [/ matemáticas], es decir, debe ser un homomorfismo de grupo, se denomina representación de [matemáticas] G [/ matemáticas].
- ¿Cuál es el método para calcular el antilog sin usar la tabla de registro?
- ¿Cuáles son los significados geométricos para los números racionales, irracionales y trascendentales?
- ¿Por qué mi calculadora TI-84 dice sin (4pi) = -2e-13 cuando debería ser 0?
- ¿Supone que una persona con un coeficiente intelectual general de 86 (PIQ de 84) podría aprender matemáticas / biología de nivel de posgrado, salvo otros factores?
- ¿Por qué se usa X en matemáticas y no en ninguna otra letra del alfabeto?
Me he restringido intencionalmente a espacios vectoriales ya que este caso básico lleva a teorías no triviales que pueden discutirse prolíficamente.
Si el espacio de representación [matemática] V [/ matemática] es un espacio vectorial de dimensión finita [matemática] k [/ matemática], puede pensar en una representación como una acción grupal de [matemática] G [/ matemática] en [matemática ] V [/ math] dado por la multiplicación por algunas matrices regulares.
Ejemplo 1 : [math] G = \ langle g \ rangle [/ math] es un grupo cíclico de orden [math] n [/ math] y [math] k = \ mathbf {C} [/ math]. Arregle algunas [matemáticas] k, j \ in \ mathbf {Z}. [/ Matemáticas]
Considere una representación de [math] G [/ math] en [math] \ mathbf {C} ^ 2 [/ math] dada en el generador [math] g [/ math] por [math] g \ mapsto \ begin {pmatrix } \ zeta ^ {k} & 0 \\ 0 & \ zeta ^ {j} \ end {pmatrix}, [/ math] donde [math] \ zeta [/ math] es un primitivo [math] n [/ math] La raíz de la unidad.
Como se mencionó anteriormente, puede pensar en esta representación como una acción de [math] G [/ math] en [math] \ mathbf {C} ^ 2 [/ math] dada por la multiplicación por algunas matrices especiales (matrices diagonales en este caso) .
Esta acción de grupo viene dada por [matemáticas] g ^ {m} \ circ (z_1, z_2) = (\ zeta ^ {km} z_1, \ zeta ^ {jm} z_2). [/ math] De hecho, ve que esta acción grupal deja espacios vectoriales invariables unidimensionales abarcados por [math] e_1 [/ math] y [math] e_2 [/ math]. Esto permite descomponer esta representación de 2-dim en una suma directa de dos unidimensionales.
Ejemplo 2: Sea [math] G = \ mathbf {Z}. [/ Math]
Considere un homomorfismo grupal (un monomorfismo en este caso) [math] \ mathbf {Z} \ ni a \ mapsto \ begin {pmatrix} 1 & a \\ 0 & 1 \ end {pmatrix}. [/matemáticas]
También en este caso puede pensarlo como una acción de [math] \ mathbf {Z} [/ math] en [math] \ mathbf {C} ^ 2 [/ math] dada por la multiplicación por la matriz correspondiente. Tenga en cuenta que no puede descomponer [math] \ mathbf {C} ^ 2 [/ math] en una suma directa de dos espacios vectoriales invariantes como en el ejemplo anterior. Sin embargo, esta acción deja estable el espacio vectorial [math] \ mathbf {C} e_1. [/ Math] Por lo tanto, esta representación todavía es reducible en contraste con una representación irreducible que no tiene subrepresentaciones adecuadas (no di ninguna formal definiciones aquí, pero creo que puedes adivinarlas por tu cuenta.)
Ejemplo 3: Sea [math] G [/ math] un grupo finito de orden [math] n [/ math]. Deje [math] e_ {g_1}, e_ {g_2}, \ ldots, e_ {g_ {n}} [/ math]
[math] n [/ math] vectores linealmente independientes en [math] \ mathbf {C} ^ {n}. [/ math] Entonces podemos definir una acción en [math] V [/ math] dada sobre esta base de [ math] \ mathbf {C} ^ {n} [/ math] por permutación de elementos básicos, es decir, [math] (g, (e_ {g_1}, e_ {g_2}, \ ldots e_ {g_ {n}}) \ mapsto [/ math] [math] (e_ {g \ cdot g_1}, e_ {g \ cdot g_2}, \ ldots e_ {g \ cdot g_ {n}}). [/ math]
Claramente, esta acción está dada por algunas matrices de permutación.
Alternativamente, uno puede definir una acción dada por [math] (g, (e_ {g_1}, e_ {g_2}, \ ldots e_ {g_ {n}}) \ mapsto [/ math] [math] (e_ {g_1 \ cdot g ^ {- 1}}, e_ {g_2 \ cdot g ^ {- 1}}, \ ldots e_ {g_ {n} \ cdot g ^ {- 1}}). [/ math]
Estas dos representaciones son ejemplos de las llamadas representaciones regulares izquierda y derecha (estos ejemplos pueden ser ampliamente generalizados).
La teoría de la representación de grupos finitos sobre [math] \ mathbf {C} [/ math] es probablemente la más simple y, por lo tanto, muy accesible para principiantes en matemáticas y una teoría muy hermosa que abarca dos disciplinas matemáticas diferentes (álgebra abstracta y lineal) y conduce a muchos resultados profundos sobre la estructura de grupos finitos no abelianos. Se puede mostrar, por ejemplo, usando medios bastante elementales que varias representaciones irreducibles de un grupo finito [matemática] G [/ matemática] coinciden con una serie de clases de conjugación en [matemática] G [/ matemática] y otras numerosas Resultados obvios.
Pero, de hecho, toda la matemática está impregnada de representaciones. También juegan un papel importante en el análisis, por ejemplo, análisis armónico o análisis matemático [matemático] p [/ matemático] (los espacios de representación son algunos espacios especiales de funciones de vectores infinitos especiales) como en álgebra o teoría de números.