ALGEBRA 2, MPG 3201

SEGUNDO SEMESTRE DE 2021

PROF: RICARDO MENARES, AYUDANTE: PATRICIO PÉREZ

Tarea 2
La Tarea debe enviarse el a más tardar el Viernes 5 de Noviembre a las 18:00 al
correo rmenares@mat.uc.cl
No es obligatorio escribir la tarea en latex, puede ser un manuscrito escaneado (con
letra legible)
Indicar claramente los integrantes del grupo
No es obligatorio responder a la pregunta Bonus
1. La tabla siguiente muestra el valor de algunos caracteres irreductibles de un grupo
finito G en algunas clases de conjugación. Solo falta una clase.
(1) (1) (2) (2) (3)
1 u v w x
χ1 1 1 1 1 1
χ2 1 1 1 1 -1
χ3 1 -1 1 -1 i
χ4 1 -1 1 -1 -i
χ5 2 2 -1 -1 0
Aquı́ 1, u, v, w, x denotan representantes de las clases de conjugación y la cardi-
nalidad de cada clase está indicada entre paréntesis arriba de cada representante.
a) Complete la tabla de caracteres irreductibles
b) Determine los órdenes de los elementos representantes de cada clase
c) Determine los subgrupos normales
d ) Describa al grupo G

2. Sea G un grupo finito que actúa en un conjunto finito X de n ≥ 1 elementos. Sea

V un C-espacio vectorial de dimensión n. Consideremos una base B = {et : t ∈ X}
indizada por X. Definimos una función
ρ : G → GL(V )
por la regla
ρ(g)(et ) = eg·t .
a) Demuestre que ρ es una representación de G y que su clase de isomorfismo no
depende de la elección de B. Diremos que ρ es la representación permutación
asociada a la acción de G en X
b) Demuestre que la representación trivial es una subrepresentación de ρ
c) Muestre que para todo g ∈ G, se cumple
χρ (g) = |F ix(g)| = |{t ∈ X : g · t = t}|.
d ) Sea H ⊆ G un subgrupo de G y tome X = G/H, con la acción habitual
g · tH = (gt)H, g, t ∈ G.
Sea ρH la representación permutación correspondiente. Demuestre que ρH es
inducida por la representación trivial de H
e) Sea n ≥ 2 y G = Sn . Considere la acción habitual en el conjunto X =
{1, 2, . . . , n} y ρ la correspondiente representación permutación. Demuestre que
< χρ , χρ >= 2. Indicación: puede usar el Lemma de Burnside, según el cual,
 para cualquier grupo finito H actuando en un cojunto finito Y , se tiene
1 X
|F ix(h)| = número de órbitas de la acción.
|H| h∈H
f ) Sea ρe la representación de Sn definida por ρ = 1Sn ⊕ ρe , donde 1Sn denota la
representación trivial de Sn . Demuestre que ρe es irreductible de grado n − 1.

3. Si V es un C-espacio vectorial de dimensión finita, su dual se define como

V ∗ = {T : V → C, transformación lineal}.
Los espacios V y V ∗ tiene la misma dimensión. Si G es un grupo finito y ρ : G →
GL(V ) una representación, se define su representación dual ρ∗ : G → GL(V ∗ ) por
ρ∗ (g)(T )(v) = T ρ(g −1 )(v) , g ∈ G, T ∈ V ∗ , v ∈ V.

a) Demuestre que ρ∗ es una representación y que χρ∗ = χρ . Deduzca que ρ es

isomorfa a ρ∗ si y solo si χρ (G) ⊆ R
b) La representación ρ se dice realizable sobre R si existe una base B de V tal que
para todo g ∈ V , la matriz [ρ(g)]B tiene coeficientes reales. Demuestre que si ρ
es realizable sobre R, entonces ρ ' ρ∗
c) Considere el grupo cuaterniónico
Q8 = x, y|x4 = 1, x2 = y 2 , yxy −1 = x−1 .



Demuestre que existe una única representación ρe : Q8 → GL2 (C) tal que
   
i 0 0 1
ρe (x) = , ρe (y) = .
0 −i 1 0
d ) Demuestre que ρ∗e ' ρe
e) (Bonus) ¿Es ρe realizable sobre R?
Facultad de Matemáticas PUC, Departamento de Matemática, Vicuña Mackenna 4860,
Santiago, Chile
E-mail address: rmenares@mat.uc.cl