Estructuras algebraicas

Trabajo final
Teorı́a de representación de grupos
C. Eugenio Echagüe
Facultad de Ciencias Exactas, Universidad Nacional de La Plata

10 de mayo de 2008

Resumen
En matemática la palabra representación básicamente significa ¨función que preserva es-
tructuras¨. Luego, en teorı́a de grupos y anillos, una representación es un homomorfismo.
Más especı́ficamente, deberı́a ser un homomorfismo desde un objeto (grupo o anillo) que uno
está tratando de estudiar hacia otro que es más fácil de entender. Los dos tipos de grupos
más simples son el grupo de permutaciones y el grupo de todas las transformaciones lineales
invertibles en un espacio vectorial. Luego, para grupos, las representaciones más comunmente
estudiadas son representaciones por permutaciones y representaciones lineales.

1
Estructuras Algebraicas Teorı́a de representación de grupos

Índice
1. Representaciones por permutación y acciones 3

2. Representaciones, acciones lineales y módulos 4

3. Representaciones y representaciones matriciales 5

3.1. Cuatro representaciones matriciales del grupo simétrico de orden 3 . . . . . . . . . . 6

4. Matrices interventoras 8

5. Módulos cocientes 9

6. Módulos indescomponibles y módulos irreducibles 11

7. Relaciones de ortogonalidad 17

8. La representación regular 21

9. El espacio coordinado de una representación 23

10.Funciones de clase 25

11.Funciones caracterı́sticas 27

12.Caracterización de caracterı́sticas de representaciones complejas irreducibles de

un grupo finito 29

Departamento de matemática - UNLP Hoja 2 de 30

Estructuras algebraicas Teorı́a de representación de grupos

1. Representaciones por permutación y acciones

Definición 1. Una representación por permutación de un grupo G en un conjunto S un un ho-
momorfismo de G en el conjunto de todas las permutaciones de S.
Definición 2. Una representación lineal de un grupo G en un espacio vectorial V es un homo-
morfismo de G en el grupo de todas las transformaciones lineales inversibles en V.
A menos que los califiquemos con algún otro adjetivo, representación significará en este trabajo
representación lineal.Restringiremos nuestra atención en grupos finitos y espacios vectoriales sobre
el cuerpo complejo.
Definición 3. Una acción de un grupo G en un conjunto S es una función (g, s) 7→ gs de G × S
en S tal que
i (gh)s = g(hs) ∀ g,h ∈ G y ∀s ∈ S

ii 1s = s ∀s ∈ S, donde 1 es la unidad de G.
Observación 1. Notar que una acción de G en S puede ser vista como una regla para multiplicar
elementos de S por elementos de G, tal que el resultado es otro elemento de S.
Hemos definido el concepto de acción de un grupo G en un conjunto S y el de representación
por permutación de G en S. De hecho, estos dos conceptos son equivalentes.
Supongamos que φ : G → Sym(S) es una representación por permutaciones de G. Luego φg
es una permutación en S para g en G y para cada x ∈ S podemos definir gx ∈ S por la fórmula
gx = (φg)x. Como φ es un homomorfismo, tenemos que φ(gh) = (φg)(φh) para todos g, h ∈ G y
como el producto de dos permutaciones es su composición tenemos que para todo x ∈ S

(gh)x = (φ(gh))x = ((φg)(φh))x = (φg)((φh)x) = (φg)(hx) = g(hx)

Esto muestra que la primer propiedad en la definición de acción de grupo se satisaface. Más
aún, como un homomorfismo de grupos mapea elemento identidad en elemento identidad, tenemos
que φ1 = Id y por tanto para todo x ∈ S

1x = (φ1)x = Id(x) = x

Como se satisfacen todas las propiedades, tenemos una acción de G en S.

Recı́procamente, si tenemos una acción de G en S, para cada g en G podemos definir una
función φg : S → S por (φg)x = gx. Luego, para todos g,h ∈ G y x ∈ S tenemos que

((φg)(φh))x = (φg)((φh)x) = (φg)(hx) = g(hx) = (gh)x = (φ(gh))x

y luego (φg)(φh) = φ(gh). Más aún, φ1 = Id, dado que para todo x ∈ S
(φ1)x = 1x = x = Id(x)
Se sigue que (φg)(φ(g −1 )) = Id = (φ(g −1 ))(φg), y por tanto las funciones φg y φ(g −1 ) son inver-
sas una de la otra, lo cual dice que ambas son biyectivas. Luego φ es una función de G en Sym(S),
y como hemos demostrado que preserva multiplicaciones, se sigue que φ es una representación por
permutación de G en S.

Departamento de matemática - UNLP Hoja 3 de 30

Estructuras Algebraicas Teorı́a de representación de grupos

2. Representaciones, acciones lineales y módulos

Sea V un espacio vectorial sobre el cuerpo F y G un grupo.

Definición 4. Una acción de G en V es una función (g, v) 7→ gv de G × V en V tal que

1. (gh)v = g(hv) ∀ g,h ∈ G y v ∈ V.

2. 1v = v ∀ v ∈ V, donde 1 es elemento identidad en G.

3. g(u+v) = gu + gv ∀ g ∈ G y u,v ∈ V.

4. g(λv) = λ(gv) ∀ g ∈ G,v ∈ V y ∀ λ en F.

Observación 2. Por nuestras definiciones, una acción de G en el espacio vectorial V no es lo

mismo que una acción de G en un conjunto V: los items 3. y 4. no son requeridos en un conjunto.
Esta terminologı́a puede llevar a confusiones, y será mejor referirnos a una acción de G en V
que satisface 3. y 4. como una acción lineal. De todos modos, en este trabajo sólo encontraremos
acciones de grupos sobre espacios vectoriales.

Proposición 1. Dada una acción de un grupo G en un espacio vectorial V, para cada g en G

definimos una función ρg : V → V dada por (ρg)v = gv para todo v ∈ V. Luego ρg es una
transformación lineal inversible, y la función ρ definida por g 7→ ρ g es un homomorfismo de
G en el grupo de todas las transformaciones lineales invertibles en V. Recı́procamente, dado un
homomorfismo ρ de G en el grupo de todas las tranformaciones lineales inversibles en V, la fórmula
gv = (ρg)v, define una acción de G en V.

Demostración. Supongamos que la acción está dada. Veamos que ρg es una transformación lineal.
Sean v, w ∈ V, λ ∈ F
(ρg)(v+w) = g(v+w) = gv + gw = (ρg)v + (ρg)w
(ρg)(λv) = g(λv) = λ(gv) = λ((ρg)v)
Veamos ahora que es inversible. Como G es un grupo, existe g −1 ∈ G.
((ρg)(ρg −1 ))v = (ρg)((ρg −1 )v) = (ρg)(g −1 v) = g(g −1 v) = (gg −1 )v = v = Id(v) .
((ρg −1 )(ρg))v = (ρg −1 )((ρg)v) = (ρg −1 )(gv) = g −1 (gv) = (g −1 g)v = v = Id(v).
Por tanto ∀ g ∈ G ρg es una transformación lineal inversible.
Ahora bien, veamos que ρ es un homomorfismo. Sean g, h ∈ G
(ρ(gh))v = (gh)v = g(hv) = g((ρh)v) = (ρg)((ρh)v) = (ρg ◦ ρh)v
Luego ρ(gh) = ρg ◦ ρh y ρ es un homomorfismo.
Veamos ahora la recı́proca.
Supongamos que el homomorfismo ρ está dado. Si ignoramos el hecho que las funciones ρg son
lineales y nos enfocamos en el hecho de que son funciones biyectivas sobre V, luego g 7→ ρg pueden
ser considerada como una representación por permutacionees de G en el conjunto V y se sigue que
gv = ρ g define una acción de G en el conjunto V. Luego sólo debemos mostrar que la acción es
lineal, que es exactamente lo que nos da la linealidad de ρg. Sean v,w ∈ V y λ ∈ F
g(v + w) = (ρg)(v + w) = (ρg)v + (ρg)w = gv + gw
g(λv) = (ρg)(λv) = λ((ρg)v) = λ(gv)


Departamento de matemática - UNLP Hoja 4 de 30

Estructuras algebraicas Teorı́a de representación de grupos

Luego, una representación de un grupo en un espacio vecotrial es equivalente a una acción del
grupo en el espacio vecotrial.
Definición 5. Un espacio vectorial V en el cual un grupo G tiene una acción se llama G-módulo
Definición 6. Un submódulo de un G-módulo V es un subespacio vectorial U de V tal que gu ∈
U para todo g ∈ G y u ∈ U
Definición 7. Si U y V son G-módulos un G-homomorfismo de U en V es una transformación
lineal f : U → V tal que f(gu) = g(fu) para todo g ∈ G y u ∈ U.

3. Representaciones y representaciones matriciales

Sean U y W, F-espacios vectoriales de dimensión finita m y n respectivamente. Sea f:U → W
una aplicación lineal. Si B es una base de U y C una base de W, la matriz de f relativa a B y C
es la matriz de n × m MCB (f ) cuya entrada (i j) es el escalar aij donde

f(uj ) = ni=1 aij wi

P
j=1,2,...,m

donde B = {u1 , ...; um } y C = {w1 , ..., wn }

Hemos definido una representación de G en el espacio vectorial V como un morfismo
ρ: G → Aut(V) = GL(V)
De manera similar, una representación matricial de G en el espacio vectorial V es un morfismo
R:G→ GL(d, F)
donde d es la dimensión de V como F-espacio vectorial. Si ρ es una reprentación de G en un espacio
vectorial V de dimensión d y si C es una base de V, obtenemos una representación matricial definida
por
R(g) =MCC (ρ(g))
La aplicación R:G → GL(d,F) es un morfismo ya que es la composición del morfismo ρ de G
en GL(V) y el isomorfismo f 7→ MCC (f ) de GL(V) en GL(d, F). Luego R es una representación
matricial.
Recı́procamente, dada una representación matricial R:G → GL(d, F) podemos obtener una
representación ρ → GL(V) definiendo ρ(g) como la transformación lineal cuya matriz relativa a la
base C es R(g). Notar que dim (V)=d, con lo cual d es el grado de la representación.
Dado que la elección de la base para un espacio vectorial es arbitraria, es natural investigar
la relación entre dos representaciones matriciales derivadas de la misma representación ρ : G →
GL(V) eligiendo dos bases distintas. Supongamos que B y C son bases distintas de V y sean R,
S:G → GL(d, F) definidas por R(g) = MCC (ρ(g)) S(g) = MBB (ρ(g)) ∀ g ∈ G. Si T = MBC (Id),

T(R(g)) = MBC (Id)MCC (ρ(g))

= MBC (Id ◦ ρ(g))
= MBC (ρ(g) ◦ Id)
= MBB (ρ(g))MBC (Id)
= S(g)T

Como MBC (Id) MCB (Id) = Id, MCB (Id) MBC (Id) = Id, T es inversible y S(g) = T R(g) T−1 .

Departamento de matemática - UNLP Hoja 5 de 30

Estructuras Algebraicas Teorı́a de representación de grupos

Definición 8. Dos representaciones matriciales R, S:G → GL(d, F) son equivalentes si existe T

∈ GL(d, F) tal que S(g) = T R(g) T−1 .

3.1. Cuatro representaciones matriciales del grupo simétrico de orden 3

Sea σ es una permutación en {1, 2, ..., n}. Si V es un F-espacio vectorial con base v1 ,...,vn , hay
una transformación lineal pσ : V → V tal que vi → vσ(i) ∀ i ∈ {1, 2, ..., n}.
Esto es

pσ (vj ) = ni=1 δiσ(j) vi .

P

Luego, la matriz de pσ relativa a la base V es la matriz Pσ cuya entrada (i,j) es δiσ(j) . Llamamos
a Pσ matriz de permutación correspondiente a σ. Si σ y τ son permutaciones en {1, 2, ..., n}, pστ
= pσ pτ , en efecto

pστ (vj ) = vστ (j) = vσ(τ (j)) = pσ (vτ (j) ) = pσ (pτ (vj )) = pσ pτ (vj ).

Luego como ambas aplicaciones coinciden en una base y son lineales, son iguales.
Como Sn es un grupo, ∀ σ ∈ Sn ∃ τ ∈ Sn : τ ◦ σ = σ ◦ τ = Id. Luego

vj = Id (vj ) = (pστ ) (vj ) = pσ pτ (vj ) ∀ vj ∈ B

vj = Id (vj ) = (pτ σ ) (vj ) = pτ pσ (vj ) ∀ vj ∈ B

Por tanto, ∀ pσ , ∃ pτ : pσ pτ = pτ pσ = Id. Es decir, pσ es inversible ∀ pσ ∈ Sn y p : Sn → GL(V)

definida por p σ = pσ es una representación de Sn . Cualquier elección de una base de V, da lugar
a un representación matricial Sn → GL(n, F) correspondiente a la representación p.
Tomemos n = 3, V = R3 , B = {e1 , e2 , e3 }, la representacı́on matricial será
 
1 0 0
Id 7→  0 1 0 
0 0 1
 
0 0 1
(1,3) 7→  0 1 0 
1 0 0
 
0 1 0
(1,2) 7→  1 0 0 
0 0 1
 
1 0 0
(2,3) 7→  0 0 1 
0 1 0
 
0 0 1
(1,2,3) 7→  1 0 0 
0 1 0
 
0 1 0
(1,3,2) 7→  0 0 1 
1 0 0

Departamento de matemática - UNLP Hoja 6 de 30

Estructuras algebraicas Teorı́a de representación de grupos

Observación 3. Como det(A B) = det(A) det (B), para todas las matrices de d×d, vemos que
si R : g → Rg es una representación de grado d de cualquier grupo G, luego g 7→ det(Rg) es una
representación de grado 1 del grupo G
Aplicando esta observación a la representación a la representación anterior de S3 llegamos a la
representación dada por
id 7→ 1 (1,3)7→ -1 (1,2,3) 7→ 1
(1,2) 7→ -1 (2,3) 7→ -1 (1,2,3) 7→ 1
Esta representación puede ser descripta alternativamente por la regla que permutaciones im-
pares son mapeadas al -1 y permutaciones pares al 1.
Hay una representación aún más obvia de S3 de grado uno dada por σ 7→ 1 ∀σ ∈ S3 . Claramente,
esto puede hacerse de la misa manera para cualquier grupo G. La representación dada por g 7→ 1
para todo g en G se llama 1-representación, o representación principal, de G.
Haciendo uso de la terminologı́a introducida en la sección anterior llamaremos al 3-espacio
vectorial V con base {v1 , v2 , v3 } un S3 -módulo. La S3 -acción está dada por σvj = vσj para toda
σ ∈ S3 y toda j ∈ {1, 2, 3}.
Definimos

U={λ1 v1 + λ2 v2 + λ3 v3 : λ1 + λ2 + λ3 = 0}

U es un S3 submódulo de V. En efecto:

U 6= φ pues 0 ∈ U

Sean λ1 v1 + λ2 v2 + λ3 v3 ∈ U, λ
e1 v1 + λ e3 v3 ∈ U, k ∈ F
e 2 v2 + λ

• (λ1 v1 + λ2 v2 + λ3 v3 ) + (λ
e1 v1 + λ
e 2 v2 + λ
e3 v3 ) = (λ1 + λ
e1 )v1 + (λ2 + λ
e2 )v2 + (λ3 + λe3 )v3 ∈
U, pues (λ1 + λ e1 ) + (λ2 + λe2 ) + (λ3 + λ e3 ) = (λ1 + λ2 + λ3 ) + (λe1 + λ
e2 + λe3 ) = 0 + 0 = 0
• k(λ1 v1 + λ2 v2 + λ3 v3 ) = (kλ1 )v1 + (kλ2 )v2 + (kλ3 )v3 ∈ U, pues kλ1 + kλ2 + kλ3 =
k(λ1 + λ2 + λ3 ) = k0 = 0.
Luego, U es un subespacio vectorial de V

Sean σ ∈ S3 , λ1 v1 + λ2 v2 + λ3 v3 ∈ U

σ(λ1 v1 + λ2 v2 + λ3 v3 ) = λ1 vσ1 + λ2 vσ2 + λ3 vσ3 ∈ U, pues λ1 + λ2 + λ3 = 0.

Luego S3 actúa en U.

Veamos que {u1 = v1 − v2 , u2 = v2 − v3 } es una base de U. u1 , u2 ∈ U, pues 1+(-1)+0 = 0.

Sea v ∈ U. Luego, existen k1 , k2 , k3 ∈ F tal que v = k1 v1 + k2 v2 + k3 v3 , con k1 + k2 + k3 = 0, o
equivalentemente k2 = −k1 − k3 .Luego v = k1 v1 + (−k1 − k3 )v2 + k3 v3 = k1 (v1 − v2 ) − k3 (v2 −
v3 ) = k1 u1 − k3 u2 . Luego {u1 , u2 } genera U. Además son linelamente independientes pues si
c1 u1 + c2 u2 = 0, entonces c1 v1 + (c2 − c1 )v2 − c2 v3 = 0, como {v1 , v2 , v3 } es una base de V,
c1 = 0, c2 − c1 = 0, −c2 = 0 con lo cual c1 = 0, c2 = 0 y {u1 , u2 } es un conjunto linealmente
independiente. Por tanto, este último conjunto es una base de U.
Las matrices
 relativas
 a esta base de U correspondientes a cada elemento de S3 son las siguientes:
1 0
Id 7→
0 1

Departamento de matemática - UNLP Hoja 7 de 30

Estructuras Algebraicas Teorı́a de representación de grupos

 
0 −1
(1,3) 7→
−1 0
 
−1 1
(1,2) 7→
0 1
 
1 0
(2,3) 7→
1 −1
 
0 −1
(1,2,3) 7→
1 −1
 
−1 1
(1,3,2) 7→
−1 0
Luego, hemos obtenido una representación matricial de S3 de grado 2.
Asumamos finalmente que el cuerpo F es C. Las dos representaciones de S3 de grado 1 y la
representación de S3 de grado 2 que hemos descripto arriba son respresentaciones irreducibles de
S3 , en un sentido en el que hemos de definir. Mas aún, resulta que cualquier representación com-
pleja irreducible de S3 ha de ser equivalente a una de estas tres. Los teoremas más importantes
de la teorı́a de representación que discutiremos en este trabajo nos dicen en principio cómo una
representación compleja arbritaria de un grupo finito G puede ser expresada en términos de repre-
sentaciones complejas irreducibles, y cuántas clases de equivalencia de representaciones complejas
irreducibles tiene el grupo. No hay un método uniforme conocido para construir la representación
irreducible de un grupo finito arbritario, y por tanto, el problema práctico principal de la teorı́a de
representación es encontrar descripciones elegantes de las representaciones irreducibles de impor-
tantes clases grupos finitos. Para ser sinceros, no hay muchas clases de grupos para los cuales se
haya conseguido esta meta, pero los grupos de simetrı́a constituyen una clase para la cual la terorı́a
completa ha sido descubierta.

4. Matrices interventoras
Sean U y V espacios vectoriales sobre C que son módulos del grupo G, y sea f : U → G un
G-homomorfismo, es decir f es una aplicación lineal que satisafce gf (u) = f (gu) para todo u ∈ U
y para todo g ∈ G. Sean ρ : G → GL(V) y σ : G → GL(U) representaciones de G en V y en U
respectivamente. Esto es, si g ∈ G ρg es una transformación lineal en V dada por v 7→ gv, para
todo v ∈ V y σg es una transformación lineal en U dado por u 7→ gu para todo u ∈ U. Sea u ∈ U
((ρg)f )u = (ρg)(f u) = g(f u) = f (gu) = f ((σg)u) = (f (σg))u.
y por tanto (ρg)f = f (σg). Esto se verifica para todo g ∈ G. Una función f que satisaface
(ρg)f = f (σg) se dice que interviene las representaciones ρ y σ. De nuevo aquı́ tenemos dos
palabras usadas para describir el mismo concepto: una función interventora es lo mismo que un
G-homomorfismo.
Supongamos que {u1 , u2 , ..., un } es una base de U y que {v1 , v2 , ..., vm } es una base de V. Sea
A la matriz de f relativa P a estas dos bases, es decir A es la matriz de m × n con entrada (i, j) aij
satisfaciendo f (uj ) = m i=1 aij vi . Para cada g ∈ G sea Rg ∈ GL(m, C) la matriz relativa a la base
{v1 , v2 , ..., vm } del operador en V dado por v 7→ gv y sea Sg ∈ GL(n, C) la matriz relativa a las
base {u1 , u2 , ..., un } del operador en U dado por u 7→ gu. Luego la versión matricial de la ecuación
(ρg)f = f (σg) es (Rg )A = ASg .

Departamento de matemática - UNLP Hoja 8 de 30

Estructuras algebraicas Teorı́a de representación de grupos

Definición 9. Si R y S son representaciones matriciales del grupo G de grados m y n respecti-

vamente, una matriz A de m × n, se dice que interviene R y S si (Rg)A = A(Sg) para todo g
∈ G.
Luego una matriz interventora es la versión matricial de un G-homomorfismo.
Un G-homomorfismo de U en V se dice G-isomorfismo si es inversible. La versión matricial
de este hecho es una matriz interventora que es inversible. Si A es inversible la ecuación (Rg)A =
A(Sg), puede ser escrita Rg = A(Sg)A−1 , y por definición, esto significa que las representaciones
R y S son equivalentes. Recı́procamente, si R y S son equivalentes, existe una matriz interventora
A, y luego la aplicación lineal f : U → V cuya matriz relativa a las bases en cuestión es A, es un
G-isomorfismo.
Por tanto, podemos decir que dos G-módulos son G-isomorfos si y sólo si las correspondientes
representaciones matriciales (relativas a cualquier base) son equivalentes.

5. Módulos cocientes
Si S y T son subconjuntos arbritarios de un grupo G, definimos el producto ST por la regla

ST = {st : s ∈ S, t ∈ T }

Si H es un subgrupo normal de G, tal que gH = Hg ∀g ∈ G entonces (xH)(yH) = (xy)H ∀x, y ∈

G. Esto conduce a una multiplicación bien definida en el conjunto G/H = {gH : g ∈ G} y se puede
chequear que bajo esta operación G/H es un grupo. El grupo G/H es llamado cociente de G y H.
Si el grupo G es abeliano cada subgrupo de G es normal, y por tanto el grupo cociente siempre
existe. En particular si V es un espacio vectorial sobre el cuerpo F, V es un grupo abeliano bajo la
operación dee adición vectorial, y como cada subespacio vectorial U de V es un subgrupo aditivo
de V, se sigue que el grupo cociente V/U existe. Claramente V/U es abeliano.
Como la operación que dota a V de estructura de grupo se escribe +, el coset U que contiene a
v ∈ V lo escribiremos v + U, en lugar de escribirlo vU, y la operación que hace de V/U un grupo
también la escribiremos +, asi tenemos

V/U = {v + U : v ∈ V}

(x + U) + (y + U) = (x + y) + U ∀x, y ∈ U

Ahora daremos a V/U una estructura extra, definiendo una multiplicación por escalares en él.
Lo hacemos ası́
λ(v + U) = (λv) + U ∀v ∈ V, λ ∈ F
En efecto esta operación está bien definida pues si v1 + U = v2 + U entonces v1 − v2 ∈ U y
como U es cerrado por multiplicación escalar, λ(v1 − v2 ) ∈ U, luego λv1 − λv2 = λ(v1 − v2 ) ∈ U y
por tanto λv1 + U = λv2 + U.
Es sencillo chequear que con esta operación extra, V/U tiene estructura de espacio vectorial.
Llamos a V/U espacio vectorial cociente.
Asumamos ahora que V es un G-módulo y U es un G-submódulo de V. Luego, el espacio
cociente V/U es también un G-módulo si definimos la acción

Departamento de matemática - UNLP Hoja 9 de 30

Estructuras Algebraicas Teorı́a de representación de grupos

g(v + U) = (gv) + U ∀g ∈ G, v ∈ V

Es una operación bien definida, pues si v1 + U = v2 + U entonces v1 − v2 ∈ U y como U es

cerrado por la acción de G se sigue que gv1 − gv2 = g(v1 − v2 ) ∈ U con lo cual gv1 + U = gv2 + U.
Verifiquemos los axiomas de acción lineal. Seav g, h ∈ G, v, z ∈ V

i. (gh)(v + U) = (gh)v + U = g(hv) + U = g((hv) + U)

ii. 1(v + U) = (1v) + U = v + U

iii. g((v +U)+(z +U)) = g((v +z)+U) = (g(v +z))+U = (gv +gz)+U = (gv)+U+(gz)+U =
g(v + U) + g(z + U)

iv. g(λ(v + U)) = g((λv) + U) = (g(λv)) + U = (λ(gv)) + U = λ((gv) + U) = λ(g(v + U))

Teorema 1. (Primer teorema del isomorfismo) Sean V y W G-módulos y sea f : V → W un

G-homomorfismo. Entonces

Kerf = {v ∈ V : f v = 0}

es un G-submódulo de V,

Imf = {f v : v ∈ V}

es un G-submódulo de W, y hay un G-isomorfismo V/Kerf → Imf tal que v + U 7→ gv para

todo v ∈ V.
Demostración. Mostremos que Kerf es un G-submódulo de V. Como f es lineal f (0V ) = 0W y
luego 0V ∈ Kerf . Si v1 , v2 ∈ Kerf entonces f (v1 + v2 ) = f v1 + f v2 = 0 + 0 = 0. Si v ∈ Kerf y
λ ∈ F luego f (λv) = λ(f v) = λ0 = 0. Luego Kerf es un subespacio vectorial de V. Más aún Kerf
es cerrado por la acción de G, si v ∈ Kerf y g ∈ G tentonces f (gv) = gf (v) = g0 = 0 donde el
último paso se sigue del hecho de que x 7→ gx es una aplicación lineal en V y por tanto lleva el 0
en el 0.
La prueba de que Imf es un G-submódulo de W es igual de sencilla. Como f (0V ) = 0W ,
Imf 6= φ. Si w1 , w2 ∈ Imf entonces w1 = f v1 y w2 = f v2 para ciertos v1 , v2 ∈ V y w1 + w2 =
f v1 + f v2 = f (v1 + v2 ). Si w ∈ W y λ ∈ F entonces existe v ∈ V tal que w = f v y además
λw = λf v = f (λv). Más aún, gw = g(f v) = f (gv). Luego, Imf es un G-submódulo.
Como Kerf es un G-submódulo de V el módulo cociente V/Kerf existe. Debemos mostrar
que hay un mapeo bien definido ψ : V/Kerf → Imf tal que ψ(v + Kerf ) = f v ∀v ∈ V. Es cierto
que f v ∈ Imf ∀v y por tanto solo debemos probar que si v1 , v2 ∈ V con v1 + Kerf = v2 + Kerf
entonces f v1 = f v2 , pero esto es claro ya que si v1 + Kerf = v2 + Kerf entonces v1 − v2 ∈ Kerf
y luego f (v1 − v2 ) = 0 y por tanto f v1 = f v2 .
Habiendo establecido que ψ está bien definido, debemos probar que es biyectivo y que respeta
adición, multiplicación por escalares y la acción de G. Si u, v ∈ V y λ ∈ F entonces

ψ((u+Kerf )+(v+Kerf )) = ψ((u+v)+Kerf ) = f (u+v) = f u+f v = ψ(u+Kerf )+ψ(v+Kerf )

ψ(λ(v + Kerf )) = ψ(λv + Kerf ) = f (λv) = λ(f v) = λψ(v + Kerf )

Departamento de matemática - UNLP Hoja 10 de 30

Estructuras algebraicas Teorı́a de representación de grupos

Con lo cual ψ es una aplicación lineal. Respeta la acción de G pues

ψ(g(v + Kerf ) = ψ(gv + Kerf ) = f (gv) = g(f v) = gψ(v + Kerf )

La suryectividad de ψ es obvia: por definición, cada elemento de Imf es de la forma f v =

ψ(v + Kerf ), para cierto v ∈ V, y la inyectividad se da pues si ψ(v1 + Kerf ) = ψ(v2 + Kerf )
entonces f v1 = f v2 , con lo cual f (v1 − v2 ) = 0, lo que nos dice que v1 − v2 ∈ Kerf y luego
v1 + Kerf = v2 + Kerf .


6. Módulos indescomponibles y módulos irreducibles

Definición 10. Un G-módulo V es suma directa de X e Y si X e Y son G-submódulos de V
y V = X ⊕ Y como espacio vectorial. A X se lo suele llamar G-submódulo complentario de Y y
recı́procamente.

No es del todo claro que para un G-submóludo X de un G-módulo V exista un G-submóludo

complementario. Dado un G-módulo X de V, siempre exisitrá un subespacio complementario, pero
nada garantiza que sea invariante bajo la acción de G.
En general, no es cierto que para cada grupo G y cada G-módulo V, cada subespacio G-
invariante tenga un complemento G-invariante.
Consideremos
  el grupo multipicativo G de todas las matrices de 2 × 2 sobre el cuerpo F de la
1 λ
forma , donde λ es arbritario. De hecho G es isomorfo al grupo aditivo F a través de la
0 1
 
1 λ
aplicación φ : λ 7→ . Esta aplicación es claramente biyectiva y
0 1
    
1 λ+µ 1 λ 1 µ
φ(λ + µ) = = = (φλ)(φµ)
0 1 0 1 0 1

Sea V el espacio vectorial de todos los vectores columnas de dos componentes en el cuerpo.
Veamos que G actuá en V mediante la multiplicación habitual de matrices
         
1 λ1 1 λ2 x1 1 λ1 + λ2 x1 x1 + λ2 x2 + λ1 x2
i) = =
0 1 0 1 x2 0 1 x2 x2
         
1 λ1 1 λ2 x1 1 λ1 x1 + λ2 x2 x1 + λ2 x2 + λ1 x2
= =
0 1 0 1 x2 0 1 x2 x2
    
1 0 x1 x1
ii) =
0 1 x2 x2

y la linealidad del producto de matrices es un hecho aceptado.

Por otra parte, el único G-submódulo propio de V es el conjunto de todos los vectores de dos
componentes en el cuerpo con última componente  nula.
 Supongamos que U es un submódulo no
x
nulo de V, entonces U tiene un vector no nulo . Como U es cerrado bajo la acción de G
y

Departamento de matemática - UNLP Hoja 11 de 30

Estructuras Algebraicas Teorı́a de representación de grupos

    
1 λ x + λy x + λy
= ∈U ∀λ ∈ F
0 1 y y

y por cierre de U respecto a la adición

     
x + λy x + λy λy
- = ∈U ∀λ ∈ F
y y 0
 
1
En particular, si y 6= 0 tomamos λ = y −1
y deducimos que U contiene al y luego (por
0
clausura de la multiplicación escalar), a todos los vecotres con seunda componente nula. por otro
lado si y = 0, x debe de ser no nulo y arribamos a la misma conclusión. Luego el G-submódulo
U contiene al G-submódulo X de vectores con última componente nula. Si U no  fueraX, deberı́a
1
tener un vector cuya segunda componente no fuese cero, y este vector junto con el formarı́an
0
una base de V y por ser U subespacio de V, U = V. Luego, X es el único G-submódulo propio
de V y por tanto no puede tener un complementario.

Definición 11. Un G-módulo V se dice indescomponible si no puede ser expresado como suma
directa de dos G-submódulos no nulos.

Definición 12. Un G-módulo V se dice irreducible si no tiene otros submódulos más que él y el
submódulo nulo.

Arriba hemos dado un ejemplo de un G-módulo V que es indescomponible pero no irreducible,

ya que como nuestro espacio V es bidimensional y tiene un submódulo que es unodimensional
como espacio vectorial, no es irreducible. Pero V no tiene otros submódulos no triviales, no pude
ser expresado como suma directa de dos submódulos no triviales y por tanto es indescomponible.
De ahora en adelante, al menos que se diga lo contrario, el cuerpo escalar para cada espacio
vectorial será C y los espacios vectoriales de dimensión finita.

Teorema 2. (Teorema de Maschke) Sea G un grupo finito, V un G-módulo y U un G-submódulo

de V. Entonces existe un G-submódulo W de V tal que V = U ⊕ W.

De acuerdo a la definición de irreducible, un G-módulo, para G finito, es reducible si tiene al

menos un submódulo propio no nulo. Notar que en el ejemplo anterior el grupo no era finito.

Definición 13. Un módulo se dice completamente irreducible si para cada G-submódulo hay un
G-submódulo complementario.

El teorema de Maschke dice que cada G-módulo, con G finito, es completamente reducible y
por tanto es también conocido como el teorema de reducibilidad completa.

Demostración. Notar que es posible definir un producto interno en V. Si P {v1 , v2 , ..., vn } esPuna base
de V, existe un producto
Pn interno tal que vi vj = δij . Explicitamente si u = ni=1 αi vi , v = ni=1 βi vi
definimos u · v = i=1 αi βi
Verifiquemos las propiedades
P que debe cumplir el procucto interno. Sean u, v, w ∈ V; α, β ∈ C.
Luego u = ni=1 αi vi , v = ni=1 βi vi w = ni=1 λi vi
P P

Departamento de matemática - UNLP Hoja 12 de 30

Estructuras algebraicas Teorı́a de representación de grupos

= ( ni=1 αi vi )·(α(P ni=1 βi vi )+β( P

Pn Pn
αi vi )·( ni=1 (αβ
P P P
i. u·(αv+βw)
Pn i=1 λi vi )) = ( i=1P Pni +βλi )vi ) =
n n n
α
Pn i
i=1 (αβ i + βλ )
Pin = α( i=1 α β
i i ) + β( i=1 α λ
i i ) = α(( i=1 α v
i i ) · ( i=1 βi vi )) +
β(( i=1 αi vi ) · ( i=1 λi vi )) = α(u · v) + β(u · v)

ii. u · v = ( ni=1 αi vi ) · ( ni=1 βi vi ) = ni=1 αi βi = ni=1 αi βi = ni=1 αi βi = ni=1 αi βi =

P P P P P P
Pn
i=1 βi αi = v · u

iii. u · u = ( ni=1 αi vi ) · ( ni=1 αi vi ) = ni=1 αi αi = ni=1 |αi |2 ≥ 0 y u · u = 0 ⇔ αi = 0∀i =

P P P P
1, 2, ..., n ⇔ u = 0

P Con este producto interno, definimos otra función V × V → C dada por la fórmula u ∗ v =
x∈G xu · xv Veamos que también ∗ es un producto interno. Sean u, v, w; α, β como antes
P P P
i. u ∗ (αv + βw) = P x∈G xu · x(αv + βw) P = x∈G xu · (α(xv) + β(xw)) = x∈G α(xu · xv) +
β(xu · xw) = α( x∈G xu · xv) + β( x∈G xu · xw) = α(u ∗ v) + β(u ∗ w)
P P P P
ii. u ∗ v = x∈G xu · xv = x∈G xu · xv = x∈G xu · xv = x∈G xv · xu = v ∗ u

iii. u ∗ u = x∈G xu · xu = x∈G kxuk2 ≥ 0 y u ∗ u = 0 ⇔ kxuk = 0∀x ∈ G ⇔ xu = 0∀x ∈ G(en

P P
particular para x = 1) ⇔ u = 0

Más aún, este producto es G-invariante, en el sentido que gu ∗ gv = u ∗ v para todos u, v ∈ V

y todo g ∈ G, pues
P P P
gu ∗ gv = x∈G x(gu) · x(gv) = x∈G (xg)u · (xg)v = y∈G yu · yv = u ∗ v
Aquı́ hemos usado el hecho de que como x recorre todos los elemtos de G ası́ también lo hace
y = xg, pues x 7→ xg es una bijección en G. Definimos ahora W como el complemento ortogonal
de U relativo al producto interno ∗
W={v ∈ V : u ∗ v = 0 ∀u ∈ U}
Luego V = U ⊕ W. Debemos probar ahora que W es un G-submódulo de V, es decir que si w
∈ W, g ∈ G entonces gw ∈ W.
Si u ∈ U entonces u ∗ gw = g −1 u ∗ w = 0, pues g −1 u ∈ U por ser U un G-submódulo y w ∈ W.
Luego, gw es ortogonal a cualquier vector de U, o equivalentemente gw ∈ W, como queriamos
probar. 

La idea principal de esta prueba es crear un objeto G-invariante (en este caso un producto
interno). Ahora daremos una segunda prueba del teorema, para el caso de cualquier cuerpo. La
idea principal se mantiene.

Demostración. Dado un G-módulo V y un G-submódulo U, elegimos un subespacio Z de V que

es complementario de U. Es decir, como subespacios vectorailes, V = U ⊕ Z, que en general puede
no ser una descomposición en G-módulos. Para cada z ∈ Z y g ∈ G gz ∈ V pude ser escrito de
manera única como
gz = τg z + σg z
Donde τg : Z → U σg : Z → Z son aplicaciones lineales. Notar que tomando g = 1, gz = z y
por tanto τ1 z = 0 y σ1 z = z.
Sea h ∈ G y aplicando h a ambos lados de la ecuación

Departamento de matemática - UNLP Hoja 13 de 30

Estructuras Algebraicas Teorı́a de representación de grupos

τhg z + σhg z = (hg)z = h(gz) = h(τg z + σg z) = h(τg z) + h(σg z) = h(τg z) + (τh (σg z) + σh (σg z))
Como τg z ∈ U y U es un G-módulo, h(τg z) ∈ U y comparando las componentes en U y en Z de
(hg)z obtenemos
τhg z = h(τg z) + τh (σg z)

σhg z = σh (σg z)

Tomando h = g −1 , σg−1 = σg−1 ya que σ1 = Id, y si reemplazamos z por σg−1 z = Id(σg−1 z) =

−1
Id(σg−1 z) = σhg (σh z) en las ecuaciones anteriores ponemos
−1
τhg (σhg (σh z)) = h(τg (σg−1 z)) + τh z
Es en la ecuación anterior que aplicamos la idea clave. Sumamos sobre los elementos de G
P −1 P −1
g∈G τhg (σhg (σh z)) = h( g∈G τg (σg z)) + |G| τh z

dividiendo por |G|

η(σh z) = h(ηz) + τh z

donde definimos η : Z → U por

1
τg (σg−1 z)
P
ηz = |G| g∈G

1 P −1
La parte crucial de esto es que si h ∈ G ηe
z = |G| g∈G τhg (σhg z) ∀ z
e, pues hg se mueve a lo
largo de todo G, al igual que lo hace g.
Sea W = {z + ηz : z ∈ Z} y sea w ∈ W arbritario, w = z + ηz, z ∈ Z. Luego, para todo h ∈ G

hw = σh z + η(σh z) ∈W

Como esto vale para todo w ∈ W y h ∈ G hemos demostrado que W es cerrado bajo la acción
de G. También es un subespacio de V, pues es la imágen de la aplicación lineal z 7→ z + ηz de Z
en V. Por tanto, W es un G-submódulo de V. Si v ∈ V, para cierto u ∈ Uy z ∈ Z

v = u + z = (u − ηz) + (z + ηz) ∈U+W

Pues ηz ∈ U y z + ηz ∈ W
más aún, U ∩ W = {0}, pues si u ∈ U y u = z + ηz, entonces
z = u − ηz ∈ U ∩ Z = {0}
Mostrando que z = 0 y luego u = 0. Luego el submódulo W es complementario a Z, como era
requerido.
En esta teorı́a, siempre es posible reformular las pruebas en términos de matrices. Comenzamos
eligiendo una base {v1 , v2 , ..., vn } para el submódulo U de V, y extendiendola a una base de V
{v1 , v2 , ..., vn+m }. Para g ∈ G sea Qg la matriz de (n + m) × (n + m) cuya entrada (i, j) Qij g esta
definida por
Pn+m
gvj = i=1 (Qij g)vi

Departamento de matemática - UNLP Hoja 14 de 30

Estructuras algebraicas Teorı́a de representación de grupos

Esto es, Qg es la matriz de la transformación v 7→ gv relativa a la base que hemos elegido. Ob-
servemos que si 1 ≤ j ≤ n, vj ∈ U y luego gvj ∈ U y se sigue que gvj es combinación lineal de
v1 , v2 , ..., vn . Luego los coeficientes Qij g son cero para n + 1 ≤ i ≤ n + m y 1 ≤ j ≤ n. Por tanto,
tenemos un descomposición de la matriz Qg en bloques
 
Rg Tg
Qg = (1)
0 Sg
para todo g ∈ G, donde Rg y Sg son matrices de n × n y m × m respectivamente y Tg es
una matriz de n × m. Esto puede ser visto como la versión matricial de la reducibilidad, más
precisamente, una representación matricial de G es reducible si es equivalente a una representación
matricial que tiene una estructura en bloques como la de la ecuación anterior. Si el subespacio
de V generado por {vn+1 , vn+2 , ..., vn+m } fuera un G-submódulo, luego gvn+j serı́a combinación
lineal de vn+1 , vn+2 , ..., vn+m y los coeficientes Qij g serı́an cero si i ≤ n y j ≥ n; la matriz Tg
será nula
 para todo  g. Luego, una representación matricial se puede descomponer a una de la forma
Rg 0
g 7→ y la forma matricial del teorema de Maschke es que una representación de la
0 Sg
forma dada por la ecuación (1) es equivalente a una representación de la misma forma con la matriz
Tg nula.
Como Rg tiene la entrada (i, j) Qij g para i, j ∈ {1, 2, ..., n} vemos que Rg es la matriz relativa
a la base{v1 , v2 , ..., vn } de la transformación u 7→ gu en U.
Notar también que {vn+1 + U, vn+2 + U, ..., vn+m + U} es una base para el módulo cociente
V/U, en efecto son linelamente independientes pues

λ1 (vn+1 + U) + λ2 (vn+2 + U) + .... + λm (vn+m + U) = 0

⇔ (λ1 vn+1 ) + U + (λ2 vn+2 ) + U + .... + (λm vn+m ) + U = 0
⇔ (λ1 vn+1 + λ2 vn+2 + .... + λm vn+m ) + U = 0
⇔ λ1 vn+1 + λ2 vn+2 + .... + λm vn+m ∈ U
⇔ λ1 = λ2 = ... = λm = 0
(pues vn+i ∈ Uc ∀i ∈ {1, 2, ..., m})

y generan, pues si v + U ∈ V/U

v+U = (λ1 v1 + ... + λn vn + λn+1 vn+1 + ... + λn+m vn+m ) + U

= ((λ1 v1 + ... + λn vn ) + U) + ((λn+1 vn+1 + ... + λn+m vn+m ) + U)
= U + ((λn+1 vn+1 + ... + λn+m vn+m ) + U)
= (0 + U) + ((λn+1 vn+1 + ... + λn+m vn+m ) + U)
= (0 + λn+1 vn+1 + ... + λn+m vn+m ) + U
= (λn+1 vn+1 + ... + λn+m vn+m ) + U
= λn+1 (vn+1 + U) + ... + λn+m (vn+m + U)

Además, como
Pn+m Pm
g(vn+j + U) = ( i=1 (Qi,n+j g)vi ) + U = i=1 (Qn+i,n+j )(vn+i + U),

Departamento de matemática - UNLP Hoja 15 de 30

Estructuras Algebraicas Teorı́a de representación de grupos

y Qn+i,n+j g es la entrada (i, j) de Sg , vemos que Sg es la matriz de v + U 7→ g(v + U) relativa

a la base anterior de V/U.
Como q 7→ Qg es una representación matricial de G, la ecuación (1) nos da
 
R(hg) T (hg)
= Q(hg) = Q(g)Q(h)
0 S(hg)   
Rh T h Rg T g
=
 0 Sh 0 Sg 
(Rh)(Rg) (Rh)(T g) + (T h)(Sg)
=
0 (Sh)(Sg)

que confirma las fórmulas R(hg) = R(h)R(g) y S(hg) = (Sh)(Sg) (las cuales ya sabiamos pues R
y S son verisones matriciales de la representación de G en U y en V/U) y también nos conduce
a deducir que T (hg) = (Rh)(T g) + (T h)(Sg). Luego multiplicando por (Sg)−1 = S(hg)−1 (Sh),
deducimos que

(T (hg)S(hg))−1 (Sh) = (Rh)((T g)(Sg)−1 ) + T h (2)

que es la versión matricial análoga a la ecuación (2). Sumando sobre G y dividiendo por su
cardinal

E(Sh) = (Rh)E + T h
1 P
para todo h ∈ G, donde definimos E = |G| −1
g∈G (T g)(Sg) , lo que nos deriva a la ecuación
matricial
     
Rh T h I E I E Rh 0
=
0 Sh 0 I 0 I 0 Sh

para todo h ∈ G
Equivalentemente
 −1     
I E Rh T h I E Rh 0
=
0 I 0 Sh 0 I 0 Sh
para todo h ∈ G luego la representación Q es equivalente a la suma diagonal de las representa-
ciones R y S, como querı́amos. 

Ahora bien, procederemos con otro de los teoremas principales de esta teorı́a.

Lema 1. (Lema de Schur) Versión 1. Sean U y V G-módulos irreducibles y φ : U → V un

G-homomorfismo. Luego φ es un G-isomorfismo o bien la aplicación nula.

Demostración. Por parte del primer teorema del isomorfismo, Kerφ es un G-submódulo de U. Pero
U es irreducible, y por tanto no tiene submódulos propios. Luego Kerφ = U o bien Kerφ = {0}.
Si Kerφ = U, φ es la aplicación nula, que es una de las posibilidades permitidas en la tesis. Si
Kerφ = {0}, φ es inyectiva. Otra parte del primer teorema del isomorfismo nos dice que Imφ es un
submódulo de V, y luego la irreducibilidad de V nos conduce a que Imφ = {0}o bien Imφ = V. Si
Imφ = {0}, φ es nuevamente la aplicación nula, y como este caso ya lo hemos excluı́do, deducimos
de Imφ = V. Luego φ es inyectiva y surjectiva, esto es, un isomorfismo. 

Departamento de matemática - UNLP Hoja 16 de 30

Estructuras algebraicas Teorı́a de representación de grupos

Parecerı́a que el Lema de Schur no es trascendental. Dedicaremos ahora parte de este trabajo
a derivar consecuencias y reformulaciones de este resultado, muchas de las cuales son bastante
peculiares. La verdad es que la hipótesis de irreducibilidad es muy fuerte. Por eso, los módulos
irreducibles son objetos especiales y, como veremos, tienen ciertas propiedades particulares.
Primero, derivaremos la forma matricial del lema.

Lema 2. (Lema de Schur) Versión 2. Sea R : G → GL(n, F) y S : G → GL(m, F) representaciones

matriciales irreducibles de G, y sea X una matriz de n × m que interviene R y S. Luego, X = 0 o
bien X es invertible.

Demostración. Este resultado se sigue inmediatmente de la Versión 1, de acuerdo a la discusión en-

tre G isomorfismos y matrices interventoras. Notar que, el caso X inversible puede darse solamente
si n = m 

Observación 4. Notar que todo lo dicho en estos lemas es totalmente general. Nuestra suposición
de que F = C puede dejarse de lado, el grupo G puede no ser finito y los módulos U y V no tienen
por qué ser finitos sobre F. Sólo hemos usado el primer teorema del isomorfismo y la definición de
irreducibilidad. Para el siguiente resultado, usaremos F = C.

Lema 3. (Lema de Schur) Versión 3. Sea R : G → GL(d, C) una representación matricial irre-
ducible de G, y supongamos que X es una matriz de d × d tal que (Rg)X = X(Rg) para todo
g ∈ G. Luego X = λI para cierto λ ∈ C.

Demostración. Elijamos λ un autovalor de X. Como el cuerpo es C, y cada polinomio no constante

con coeficientes en C tiene una raı́z en C, el polinomio caracterı́stico de X tiene al menos una raı́z
λ ∈ C. Por definición det(X − λI) = 0 y la matriz X − λI no es invertible. Para todo g ∈ G

(X − λI)(Rg) = X(Rg) − λ(Rg) = (Rg)X − λ(Rg) = (Rg)(X − λI),

dado que X conmuta con cada Rg. Luego, X − λI conmuta con cada Rg, y por la Versión 2,
X − λI es invertible o nula. Por elección de λ no es invertible, y por tanto X = λI. 

La versión modular de este enunciado es que si V es un G-módulo irreducible finito-dimensional

sobre C y φ : V → V es un G-homomorfismo, φ es un multiplo escalar de la aplicación identi-
dad. La suposición de que V es finito-dimensional es necesaria pues espacios vectoriales infinito-
dimensionales admiten operadores lineales que no tienen valores propios. El cuerpo C podrı́a ser
reemplazado por cualquier otro que sea algebraicamente cerrado.

7. Relaciones de ortogonalidad
Serı́a natural, a esta altura, ser un poco escépticos acerca de la utilidad del lema de Schur. De-
spués de todo, sólo puede ser aplicado si tenemos un G-homomorfismo o una matriz que interviene
un par de representaciones irrreducibles. Y los homomorfismos son objetos especiales: pueden no
ser fáciles de encontrar. Afortunadamente, el argumento de promediar sobre G, usado en la prueba
del teorema de Maschke nos da (para grupos finitos), un método general para construirlos.

Lema 4. Sea G un grupo finito, y sean R, S representaciones matriciales de G de grados n y m

respectivamente. Si X es cualquier matriz de n×m, entonces Y = g∈G (Rg)X(S(g −1 )) interviene
P
R y S.

Departamento de matemática - UNLP Hoja 17 de 30

Estructuras Algebraicas Teorı́a de representación de grupos

Demostración. Para todo h ∈ G

(Rh)(Rg)X(S(g −1 ))
P
(Rh)Y =
Pg∈G
= (R(hg))X(S(g −1 ))(S(h−1 ))(Sh)
Pg∈G
= ( g∈G (R(hg))X(S(g −1 h−1 )))(Sh)
( k∈G (R(k))X(S(k −1 )))(Sh)
P
=
= Y (Sh)

Supongamos ahora que R(1) , R(2) , ..., R(s) son representaciones matriciales irreducibles del grupo
finito G, de grados d1 , d2 , ..., ds respectivamente. Asumamos que R(k) y R(l) no son equivalentes si
(k)
k 6= l. Denotamos con Rij g a la entrada(i, j) de R(k) g.
(k,l)
Elegimos k y l arbritarios del conjunto {1, 2, ..., s} y para 1 ≤ m ≤ dk y 1 ≤ n ≤ dl sea Xm,n
la matriz de dk × dl cuya entrada (t, u) es cero, excepto cuando t = m y u = n, en cuyo caso es 1.
(k,l)
En otras palabras, la entrada (t, u) de Xm,n es δtm δun . El lema anterior nos dice que la matriz
(k,l) (k,l)
1
(R(k) g)Xm,n (Rl (g −1 ))
P
Ym,n = |G| g∈G

(k,l)
interviene las representaciones R(k) y R(l) . Luego, por el lema de Schur Ym,n es cero si k 6= l,
(k,k)
ya que las dos representaciones no son equivalentes, mientras que Ym,n debe ser un múltiplo es
(k,l)
calat de I. Por tanto, la entrada (p, q) de Ym,n es λ(k, m, n)δpq δkl para cierto λ(k, m, n) ∈ C.
(k,l)
Si calculamos la entrada (p, q) de Ym,n directamente de la definición encontramos que
(k) (l) −1
( dt=1
1 P P k Pdl
λ(k, m, n)δpq δkl = |G| g∈G u=1 (Rpt g)δtm δun (Ruq (g )))
(k) (l)
1
(Rpm g)(Rnq (g −1 ))
P
= |G| g∈G

(l,k)
Considerando la entrada (n, m) de Yq,p , motivados por el mismo cálculo, obtenemos

1 P (l) (k) −1
λ(l, q, p)δnm δkl = |G| g∈G (Rnq g)(Rpm (g ))
1 P (l) −1 (k)
= |G| g∈G (Rnq (g ))(Rpm g)

donde en el último paso simplemente cambiamos la variable de suma g por g −1 . Pero los lados
derechos de las dos últimas fórmulas desarrolladas son iguales, y luego concluimos que para todos
los valorees de k, l, m, n, p y q,

λ(k, m, n)δpq δkl = λ(l, q, p)δnm δkl

Poniendo q = p y l = k, tenemos que λ(k, m, n) = λ(k, p, p)δnm , y haciendo m = n tenemos que

λ(k, n, n) = λ(k, p, p) = µk depende sólo de k y no de p o n. Luego λ(k, m, n) = µk δnm .
El cálculo anterior nos muestra que
1 X (k) (l) −1
(Rpm g)(Rnq (g )) = µk δnm δpq δkl (3)
|G|
g∈G

donde las R(i) son representaciones matriciales irreducibles de G, que tomadas de a par no son
equivalentes. Notar que k, l, m, n, p y q son variables libres. Podemos calcular los valores de los

Departamento de matemática - UNLP Hoja 18 de 30

Estructuras algebraicas Teorı́a de representación de grupos

escalares µk de la siguiente manera. Ponemos l = k y m = n y sumamos las ecuaciones anteriores

sobre todos los valores de n desde 1 hasta dk (que es es el grado de la representación R(k) ). Después
de intercambiar el orden de sumación en el miembro izquierdo, obtenemos
Pdk (k) (l) Pdk
1
(Rpn g)(Rnq (g −1 )) =
P
|G| g∈G n=1 n=1 µk δpq δkl = µk dk δpq .

Pero como (R(k) )(R(k) (g −1 )) = R(k) (gg −1 ) = R(k) 1 = I (para todos los valores de g) sabemos
que
Pdk (k) (l)
n=1 (Rpn g)(Rnq (g −1 )) = Ipq = δpq ,

y nuestra ecuación de arriba se reduce a

1 P
|G| g∈G δpq = µk dk δpq

Luego µk = d−1
k y la ecuación (3) se transforma en

1 X (k)
(Rpm g)(Rnq (g )) = d−1
(l) −1
k δnm δpq δkl (4)
|G|
g∈G

Este resultado básico es conocido como ortogonalidad de funciones coordendas.

Definición 14. Sea R una representación matricial de un grupo G. Diremos que es una repre-
sentación matricial unitaria si Rg es una matriz unitaria para cada g ∈ G

Veamos que toda representación matricial de un grupo finito es equivalente a una representación
matricial unitaria. Sea R una representación matricial de un grupo finito G, R : G → GL(d, C).
Consideremos el espacio vectorial V = Cn , como un G-módulo definiendo

gv = (Rg)v

El espacio vecotrial V es claramente un espacio producto interno, con el producto punto

   
λ1 µ1
 λ2   µ2 
·  = λ1 µ1 + λ2 µ2 + ... + λd µd
   
 .. ..
 .   . 
λd µd

y como en la primer prueba del teorema de Maschke, podemos obtener un producto interno
G-invariante en V definiendo
P
v∗u= g∈G (gv) · (gu) para todo g ∈ G y v, u ∈ V.

Ahora elegimos una base {v1 , v2 , ..., vd } de V que es ortonormal en términos del producto interno
anterior, y sea S la representación matricial de G que produce esta nueva base
Pd
gvj = i=1 (Sg)ij vi

Departamento de matemática - UNLP Hoja 19 de 30

Estructuras Algebraicas Teorı́a de representación de grupos

para todo g ∈ G y j ∈ {1, 2, ..., d}. La representación S es luego equivalente a la representación

R, en efecto, Sg = T −1 (Rg)T para todo g ∈ G, donde T es la matriz de transición de cambio
de coordenadas relativa a la base {v1 , v2 , ..., vd } en las coordenadas estándar. Además S es una
representación unitaria, por ser {v1 , v2 , ..., vd } una base ortonormal de V.
Volviendo a la ecuación (4), supongamos que todas las representaciones R(i) son unitarias.
Luego, para todo g ∈ G y para todo l

t
R(l) (g −1 ) = (R(l) g)−1 = R(l) g ,

(l) (l)
y luego Rnq (g −1 ) = Rqn g y la ecuación (4) se traduce a

(k) (l)
1
(Rpm g)(Rqn g) = d−1
P
|G| g∈G k δnm δpq δkl

(k)
Tabulando las valores de la función Rpm : G → C da un vector fila, al que temporalmente
denominaremos xkpm , que tiene una entrada por cada elemento de G. La ecuación anterior nos dice
que el producto interno estándar de xkpm y xlqn es cero a menos que k, p y m son iguales a l, q y n
respectivamente, en cuyo caso el producto punto es |G| . Para cada valor de k hay d2k posibilidades
Psdk
de pares oredenados (p, m), y por tanto tenemos k=1 d2k vectores xkpm en total. Estos vectores
son linelamente independientes
Ps pues son no nulos y ortogonales de a pares, y por tanto generan
un espacio de dimensión k=1 d2k . Como están contenidos en el espacio de vectores filas con |G|
componentes, que es |G|-dimensional, concluimos que

Ps
k=1 d2k ≤ |G|

siempre que G tenga representaciones no mutuamente equivalentes de grados d1 , d2 , ..., ds .

Luego, s ≤ |G|, pues cada dk es al menos 1, y esto muestra que ningún grupo G puede tener
mas de |G| representaciones que no sean equivalentes. En particular, salvo equivalencias, el número
de representaciones complejas irreducibles de un grupo finito es finita

Ejemplo 1. Ilustremos el resultado anterior para el grupo G = S3 . Cononocemos tres representa-

ciones irreducibles mutuamente no equivalentes de grado 1, 1 y 2. La suma de los cuadrados de
estos grados es 6, que es igual al número de elementos de S3 , y viendo la desigualdad anterior,
podemos concluir que no existe otra representación irreducible que no sea equivalente a alguna
de estas tres. Las representaciones de grado 1 son necesariamente unitarias para un grupo finito,
dado que por una parte la representación debe ser equivalente a una representación unitaria y
por otra parte una representación de grado 1 no pude ser equivalente a otra cosa que no sea ella
misma, dado que las matrices de 1 × 1 conmutan. Si identificamos a S3 con el grupo de simetrı́as
en un triángulo equilátero, tomanos el centroide como el orı́gen y la lı́nea que pasa por el orı́gen
y uno de los vértices como el eje x, obtenemos una representación de S3 por matrices ortogonales.
Debemos ahora calcular los valores de las funciones coordinadas de nuestras tres representaciones
irreducibles, y obtenemos la siguiente tabla

Departamento de matemática - UNLP Hoja 20 de 30

Estructuras algebraicas Teorı́a de representación de grupos

g Id (1,2) (1,3) (2,3) (1,2,3) (1,3,2)

(1)
R11 g 1 1 1 1 1 1
(2)
R11 g 1 -1 -1 -1 1 1
(3)
R11 g 1 -1
√2
-√12 1 -√12 -1
√2
(3) 3
R12 g 0 √2
- √23 0 -√23 √2
3
(3) 3
R21 g 0 2 - 23 0 2
3
- 23
(3) 1 1
R22 g 1 2 2 -1 - 21 - 12

Aquı́, por ejemplo,√las últimas

 cuatro entradas de la segunda columna dicen que la matriz
−1/2
√ 3/2
R(3) (1, 2) es , que es la matriz de reflexión con respecto a la lı́nea que pasa por
3/2 1/2
el
 orı́gen
 con pendiente
 tan(π/3)
 ( los
 vértices
 1,2 y 3 del triángulo son los puntos de coordenadas
x 1 −1/2
√ −1/2
√
dadas por , y respectivamente.
y 0 3/2 − 3/2
Interpretando los valores de la tabla de arriba como entradas de una matriz de 6 × 6 que el
producto punto de dos filas distintas de la matriz es 0, mientras que el producto punto de una
filas consigo misma es 6 (para las primeras dos filas) o bien 3 (para las últimas cuaro filas). En
general,la ecuación (4) dice que la tabla de valores de las funciones coordinadas es p una matriz con
filas mutuamente ortogonales y que la longitud de cada vector fila esta dado por d/ |G|, donde d
es el grado ode la representación en cuestión. Dividiendo cada fila por su longitud, obtenemos
la matriz T (G) cuyas filas forman un conjunto ortonormal y que son indexadas por tripletas
{(k, p, m) : 1 ≤ k ≤ s; p, m ∈ {1, 2, ..., dk }} y las columnas por elemementos de G, la ((k, p, m), g)
p (k)
entrada de esta matriz será d/ |G|Rp,m g. Para S3 encontramos
 √ √ √ √ √ √ 
1/√6 1/ √6 1/ √6 1/ √6 1/√6 1/√6

 1/√6 −1/ √6 −1/ √6 −1/√ 6 1/ √6 1/ √6 


 1/ 3 −1/2 3 −1/2 3 1/ 3 −1/2 3 −1/2 3 


 0 1/2 −1/2 0 −1/2 1/2 

 0√ 1/2
√ −1/2
√ 0√ 1/2√ −1/2
√

1/ 3 1/2 3 1/2 3 −1/ 3 −1/2 3 −1/2 3

que es unitaria. Luego, sus columnas también son ortogonales

8. La representación regular
Si un grupo G tiene una representación a izquierda en un conjunto S asociamos a cada g ∈ G
una permutación σg : S → S definida por σg s = gs ∀s ∈ S. Más aún g 7→ σg es un homomorfismo
de G en el grupo de todas las permutaciones de S. Hemos visto también que las permutaciones
pueden asociarse a matrices de permutación. Si S = {s1 , s2 , ..., sd } obtenemos un homomorfismo
g 7→ Rg de G en el grupo de todas las matrices de d × d de permutación, donde la entrada
(i, j) de Rg es 1 si vi = gvj y 0 se manera contraria. En otras palabras, una representación
por permutación se convierte en una representación matricial si uno identifica permutaciones con
matrices de permutación. El G-módulo asociado a esta representación matricial es un espacio
vecotrial con base en una correspondencia biyectiva con los elementos de S, y los elementos de G
actúan vı́a transformaciones lineales que permutan la base.

Departamento de matemática - UNLP Hoja 21 de 30

Estructuras Algebraicas Teorı́a de representación de grupos

Si consideramos en particular en particular la accı́on de multiplicar a izquierda en el grupo G,

obtenemos una representación de G por |G| × |G| matrices de permutación. Las matrices dependen
de un orden elegido para los elementos de G. Ilustremos lo que ocurre con el grupo S3 , usando el
mismo orden de elementos que usamos anteriormente
g1 = Id; g2 = (123) g3 = (132) g4 = (12) g5 = (13) g6 = (23)
Multiplicar a izquierda por (12) cambia g1 por g4 ( ya que (12)Id = (12) y (12)(12) = Id y
cambia los pares g2 y g6 y g3 y g5 . La matriz que representa a (12) resulta ser
 
0 0 0 1 0 0
 0 0 0 0 0 1 
 
 0 0 0 0 1 0 
R(12) =  
 1 0 0 0 0 0 

 0 0 1 0 0 0 
0 1 0 0 0 0

Similarmente
   
0 0 0 0 0 1 0 0 1 0 0 0

 0 0 0 0 1 0 


 1 0 0 0 0 0 

 0 0 0 1 0 0   0 1 0 0 0 0 
R(23) =   R(123) =  

 0 0 1 0 0 0 


 0 0 0 0 0 1 

 0 1 0 0 0 0   0 0 0 1 0 0 
1 0 0 0 0 0 0 0 0 0 1 0

Las restantes, son iguales de fáciles de calcular.

La representación R : G → GL(|G| , C)construida de esta manera es llamada representación
regular de G. De acuerdo al teorema de Maschke existe una matriz T tal que
 
S1 g 0 0 ... 0
 0 S2 g 0 . . . 0 
 
−1
T (Rg)T = 
 0 0 S 3 g . . . 0 

 .. .. .. .. 
 . . . . 
0 0 0 . . . Sm g

donde S1 , S2 , ..., Sm son representaciones irreducibles de G. notar que el orden en que aprecen
las representaciones irreducibles Si como sumandos diagonales puede ser cambiado alterando la
matriz T . Por ejemplo, S1 y S2 pueden ser cambiadas dado que
   
  S1 g 0 0 ... 0   S2 g 0 0 ... 0
0 I ... 0  0 S2 g 0 . . . 0 I ... 0
 I 0 ... 0   0 

 0 S1 g 0 . . .
 0 
 0 I 0 ... 0  

 .. .. ..   0 S3 g . . . 0  
 . . .. = 
  0 0 S3 g . . . 0 
..   .. ..

 . . .  .. .. .. .   .. .. .. .. 
 . . . .   . . . . 
0 0 ... I 0 0 ... I
0 0 0 . . . Sm g 0 0 0 . . . Sm g

y claramente una secuencia de tales operaciones produce el reordenamiento deseado de los

sumandos diagonales. Más aún, cada Si puede ser reemplazada por cualquier representación a la
cual sea equivalente, por ejemplo, si Se1 = X −1 S1 X entonces

Departamento de matemática - UNLP Hoja 22 de 30

Estructuras algebraicas Teorı́a de representación de grupos

   
  S1 g 0 0 ... 0   Se1 g 0 0 ... 0
X O ... 0  0 S2 g 0 . . . X 0 . . . 0
 O I ... 0   0 
  0 I ... 0  
 0 S 1 g 0 . . . 0 

 0 0 S g . . . 0
3 .. =  0 0 S3 g . . . 0
     
 .. .. ..    . .
..   .. ..

 . . .  .. .. .. .   .. .
. .
. .. 
 . . . .   . . . . 
0 0 ... I 0 0 ... I
0 0 0 . . . Sm g 0 0 0 . . . Sm g
(1) (2) (s)
para todo g ∈ G. Luego, si elegimos representaciones irreducibles R , R , ..., R tal que
cada representación irreducible de G es equivalente a una de las R(k) , podemos asumir que cada
Sj coincide con alguna R(k) . Claro está que una dada R(k) pude aparecer varias veces. Vamos a
suponer que las R(k) son representaciones unitarias que no son equivalentes.

9. El espacio coordinado de una representación

En este trabajo Cn denota el espacio vectorial de vectores columna de n componentes sobre
el cuerpo C. En otros trabajos pude ser definido como el espacio de vectores filas. Una tercera
alternativa es identificar a Cn con el espacio de todas las funciones a valores complejos definidas
en el conjunto {1, 2, ..., n}, dado que una función f : {1, 2, ..., n} → C no es más que una n-upla de
valores: f puede ser identificada con el vector de n componentes cuya i-ésima componente es fi .
La conclusión a la que llegamos luego de esta disgresión es que el conjunto de todas las funciones a
valores complejos en un conjunto de n elementos es un espacio vectorial de diemensión n. La suma
y la multiplicación escalar son definidas por las fórmulas

(f + g)s = (f s) + (gs) (λf )s = λ(f s)

Sea VG el espacio de todas las funciones a valores complejos |G|-dimensional en G. El espacio

coordinado de una representación matricial S : G → GL(d, C)es el subespacio de VG que es
generado por las funciones coordinadas de S. Estos es, para todo i, j ∈ {1, 2, ..., d} definimos
Sij : G → C tal que Sij g es la entrada (i, j) de Sg . Luego el espacio coordinado es el espacio
generado por todas las funciones Sij
Proposición 2. Representaciones equivalentes tienen el mismo espacio coordinado.
Demostración. Sean R y S representaciones matriciales equivalentes de G de grado d. Luego existe
una matriz T inversible de d × d tal que T −1 (Rg)T = Sg para todo g ∈ G. Sean Rij y Sij las
funciones coordenadas de R y S respectivamente y denotemos las entradas (i, j) de T y de T −1 por
Tij y Uij respectivamente. Luego, para todo g ∈ G tenemos que

Sij g = dk=1 dl=1 Uik (Rkl g)Tlj

P P

de lo que se sigue que

P
Sij = k,l (Uik Tlj )Rkj
para todo i, j ∈ {1, 2, ..., d}. Como esta expresión muestra a cada función coordenada de S como
una combinación lineal de las funciones coordenadas de R, se sigue que las funciones coordinadas
de S están todas contenidas en el espacio coordinado d R, y luego el espacio cordinada de S
está contendido en el espacio coordinado de R. Pero la equivalencia de dos representacioews es
una relación simétrica, y por tanto, el mismo argumento muetra que el espacio coordinado de R
está contendido en el espacio coordinado de S.


Departamento de matemática - UNLP Hoja 23 de 30

Estructuras Algebraicas Teorı́a de representación de grupos

Proposición 3. El espacio coordinado de la suma diagonal de dos representaciones R y Ses el

espacio vectorial suma de los espacios coordinados de R y S.

Demostración. Sea m el grado de R y n el grado de S y sea T la suma diagonal dada por

 
Rg 0
Tg =
0 Sg

para todo g ∈ G. Denotemos a las funciones coordinadas de R por Rij y de manera sim-
ilar a las de T y S. Para i, j ∈ {1, 2, ..., m} vemos que Ti,j = Rij , mientras que para i, j ∈
{m + 1, m + 2, ..., m + n} tenemos que Tij = Si−m,j−m
P . Además, el resto de las funciones coorde-
nadas de T son nulas. Luego, un elemento arbritario i,j λij Tij del espacio coordinado de T puede
ser expresado como
P P
i≤m,j≤m λij Rij + i>m,j>m λij Si−m,j−m

Lo cual nos dice que el espacio coordinado de T es la suma de los espacios coordinados de S y
R.


Por el teorema de Maschke sabemos que cada representación compleja de un grupo finito es
equivalente a la suma diagonal de representaciones irreducibles. Luego si, como arriba, fijamos un
conjunto completo de representaciones irreducibles, una por cada clase de equivalencia de irre-
ducibles, R(1) , R(2) , ..., R(s) el espacio coordinado de una representación arbritaria está contenido
en la suma de los espacios coordinados de las R(k) . Probaremos ahora un resultado, que aunque es
sencillo de probar, es crucial en nuestra causa.

Proposición 4. El espacio coordinado de la representación regular es igual a VG , el espacio de

todas las funciones a valores complejos en G.

Demostración. El espacio coordinado de la representación regualar está claramente contenido en

VG , luego solo debemos probar la contensión inversa.
Sean g1 , g2 , ..., gn los elementos de G, con lo cual el grado de la representación regular es n y
sea g ∈ G arbritario. Podemos elegir i, j ∈ {1, 2, ..., n} tal que gi = ggj ; por ejemplo elejimos j
tal que gj sea el elemento identidad e i tal que gi = g. Ahora la función coordenada Rij de la
representación regular R satisaface, para todo h ∈ G
( (
1 gi = hgj 1 h=g
Rij h = =
0 cc 0 cc
La función Rij es luego el anáalogo a un vector fila que tiene una componente igual a 1 y el
resto de la componentes 0. Más aún, la posición del 1 corresponde a la elección del elemento h, que
fue arbritaria. El conjunto de todas las funciones de esta forma generan VG . Más explicitamente,
si f : G → C es arbritaria, entonces
Pn
f= i=1 (f i)Rij

donde j es fijo, tal que gj es el elemento identidad.



Departamento de matemática - UNLP Hoja 24 de 30

Estructuras algebraicas Teorı́a de representación de grupos

El espacio coordinado de la representación irreducible R(k) está generado por las d2k funciones
(k)
coordenadas Rpm , p, m ∈ {1, 2, ..., dk }, y la suma de los espacios corrdinados R(1) , R(2) , ..., R(s)
(k)
está generado por el total de funciones coordinadas Rpm para (k, p, m) en el conjunto

S = {(k, p, m) : 1 ≤ k ≤ s; p, m ∈ {1, 2, ..., dk }}

Pero esta suma de espacios coordinados debe ser igual al espacio VG de funciones a valores
complejos en G, dado que debe contener al espacio coordinado de la representación regular, y por
tantoPel número de elementos en el generador S debe ser al menos |G| = dimVG . Luego concluimos
que sk=1 d2k ≥ |G| lo cual implica sk=1 d2k = |G|, dado que la inecuación recı́proca fue obtenida
P
previamente. Como esto también muestra que el número de elementos en S es igual a la dimensión
de VG , la cual genera, se sigue que los elementos de S son linealmente independientes.

10. Funciones de clase

Hemos descripto la representación regular de G como la representación lineal derivada de la
representación por permutación de G en G correspondiente a la acción de multiplicar a izquierda
en G. Esto es, a cada elemento g ∈ G le asociamos una permutación σg : G → G definida
por σg x = gx y en correspondencia con esta permutación tenemos una matriz de permutación
Rg. Luego g 7→ Rg es una representación matricial. Una versión no matricial de la representación
regular puede ser obtenida identificando los elementos de G con los elementos básicos de un espacio
vectorial V, en otras palabras, sea V un espacio vectorial |G|-dimensional,elegimos cualquier base
de V y una correspondencia 1 a 1 entre estos vectores básicos y los elementos de G, y asociamos
con cada elemento de G la transformación lineal ρg : V → V que permuta la base de acuerdo a la
permutación σg definida antes. Luego, ρ : g 7→ ρg es una representación de G por transformaciones
lineales en el espacio V.
Más aún, hemos notado que el conjunto VG de todas las funciones a valores complejos en G es
un espacio vecotrial |G|-dimensional sobre C. Luego, podemos tomar como espacio V del párrafo
anterior como VG . Si para todo x ∈ G definimos la función fx ∈ VG por la fórmula
(
1 h = x−1
fx h =
0 h 6= x−1

con lo cual se ve claramente que las fx forman una base de VG que está en correspondencia uno
a uno con los elementos de G. Estas observaciones nos dicen que hay una acción de G en VG tal
que gfx = fgx para todo x ∈ G y g ∈ G. Una manera alternativa de describir esta acción es la
siguiente: para cada g ∈ G y f ∈ VmG la función gf ∈ VG es dada por

(gf )h = f (hg) ∀h ∈ G

Hemos definido un G-módulo como un espacio vectorial con una G-acción. Hablando estric-
tamente, deberı́amos llamar a este objeto G-módulo a izquierda, dado que la acción de G es a
izquierda. De manera similar, un G-módulo a derecha es un espacio vectorial dotado de una fun-
ción (v, g) 7→ vg de V × G en V que satisface

i. (vg)h = v(gh) ∀g, h ∈ G y v ∈ V.

Departamento de matemática - UNLP Hoja 25 de 30

Estructuras Algebraicas Teorı́a de representación de grupos

ii. v1 = v ∀v ∈ V, donde 1 es elemento identidad en G.

iii. (u + v)g = ug + vg ∀g ∈ G y u, v ∈ V.

iv. (λv)g = λ(vg) ∀g ∈ G,v ∈ V y ∀λ ∈ F.

Hemos visto que VG se convierte en un G-módulo a izquierda vı́a la acción a izquierda dada
por (gf )h = F (hg) para todo g, h ∈ G y toda función f ∈ VG . De hecho, también podemos hacer
de VG un G-módulo a derecha definiendo f g : G → C, para g ∈ G y f ∈ VmG por

(f g)(h) = f (gh) ∀h ∈ G

Una pregunta que nos podemos plantear a esta altura es la siguiente: ¿en qué elementos de VG
coinciden las acciones a izquierda y derecha?
Definición 15. Una función f : G → C se dice función de clase si es constante en clases de
conjugación.
Observación 5. f es una función de clase si y sólo si f x = f y siempre que x, y sean conjugados
en G
Proposición 5. Una función f ∈ VG satisface gf = f g para todo g ∈ G si y sólo si es una función
de clase
Demostración. Supongamos que gf = f g para todo g ∈ G y sean x, y elementos conjugados en G.
luego, existe g ∈ G tal que g −1 xg = y, y por tanto

f y = f (g −1 xg) = (gf )(g −1 x) = (f g)(g −1 x) = f (g(g −1 x)) = f x

donde hemos usado las definiciones de gf y f g y la hipótesis f g = gf . Luego, f es una función

de clase.
Recı́procamente, supongamos que f es una función de clase, y sea g ∈ G arbritario. Notar que
para todo h ∈ G tenemos que

g −1 (gh)g = hg

y por tanto gh y hg son conjugados, con lo cual f (gh) = f (hg), dado que f es una función de
clase. Luego

(gf )h = f (hg) = f (gh) = (f g)h ∀h ∈ G

mostrando que gf = f g ∀g ∈ G. 

Por ejemplo, el grupo S3 tiene tres clases por conjugación. El elemento identidad constituye una
clase, ya que σ −1 1σ = 1 para todo σ. También (23)−1 (12)(23) = (13) y (13)−1 (12)(13) = (23) con
lo que vemos que (12), (2, 3) y (23) son conjugados y de manera similar (123) = (12)−1 (132)(12)
muesta que (123) y (132) son conjugados. Una función de clase f en S3 está determinada por una
tripleta (x, y, z) de números complejos donde

f (1) = x
f (12) = f (13) = y
f (123) = f (132) = z

Departamento de matemática - UNLP Hoja 26 de 30

Estructuras algebraicas Teorı́a de representación de grupos

Con lo que vemos que las funciones de clase en S3 forman un espacio vectorial de dimensión 3.

Proposición 6. El conjunto de todas las funciones de clase G → C forman nu subespacio de VG

de diemsión igual al número de clases de conjugación en G.

Demostración. La función nula es claramente constante en clases de conjugación, y por tanto el

conjunto de todas las funciones de clase es no vacı́o. Si e y f son funciones de clases y si x e y son
eleementos arbritarios conjugados de G, entonces f x = f y y ex = ey y luego

(e + f )x = ex + f x = ey + f y = (e + f )y

Luego, e + f es una función de clase y por tanto el conjunto de las funciones de clase es cerrado
bajo suma. De manera similar, si f es una función de clase y λ es un escalar, para cualquier par
de elementos conjugados x, y ∈ G

(λf )x = λ(f x) = λ(f y) = (λf )y

lo que muestra que λf es una función de clase y consecuentemente el conjunto de todas las
funciones de clase es cerrado bajo multiplicación escalar.
Luego, es un subespacio vecotrial de VG .
Sean C1 , C2 , ..., Ct las
P clases de conjugación en G, y para cada i de 1 a t sea Fi la función
G → C dada por Fi = y∈Ci fy−1 , donde las funciones fx ∈ VG son las antes definidas. Luego
(
P 1 g ∈ Ci
Fi g = y∈Ci fy−1 g =
0 g∈/ Ci

dado que fy−1 (g) es 1 si g = y y 0 de otra manera. toda función de clase en G puede ser
expresada como combinación P lineal de las Fi , es decir, si f : G → C toma los valores λi en
elemnentos de la clase Ci , f = i λi Fi . Luego las Fi generan P el espacio de funciones de clase. Más
aún, para cualquier
P elección de coeficientes λi la función i λi Fi toma el valor λi en los elementos
de Ci , luego si i λi Fi = 0 entonces todos los coeficientes λi deben ser 0, con lo cual las Fi son
linealmentee independientes. Luego F1 , F2 , ..., Ft forman una base del espacio de funciones de clase,
que tiene claramente diemensión t, que es igual al número de clases de conjugación en G


11. Funciones caracterı́sticas

Las funciones fx para x ∈ G forman una base de VG . Pero vimos también que si R(1) , R(2) , ..., R(s)
son un conjunto completo de representaciones matriciales irreducibles de G que no son equivalentes
de a pares el conjunto S de todas las funciones coordinadasde todas las R(k) también forman una
base de VG .Veamos ahora un resultado análogo.

Definición 16. La caracterı́stica de una representación matricial R de G es la función χ : G → C

definida por χ(g) = traza(Rg). Si el grado de R es d y Rij (1 ≤ i, j ≤ d) son las funciones
coordinadas de R entonces χ = di=1 Rii
P

Veamos que la caracterı́stica de una representación es una función de clase. Sean x, g ∈ G

R(g −1 xg) = (Rg)−1 (Rx)(Rg)

Departamento de matemática - UNLP Hoja 27 de 30

Estructuras Algebraicas Teorı́a de representación de grupos

con lo cual R(g −1 xg) tiene la misma traza que Rx por ser matrices semejantes, lo cual muestra
que χ el mismo valores en elementos cojugados, y por tanto es una función de clase.

Proposición 7. Si χ(1) , χ(2) , ..., χ(s) son las caracterı́sticas de un conjunto completo de representa-
ciones irreducibles de G entonces forman una base de el espacio de funciones de clase

Demostración. La independencia lineal de la coleción S de todasP las funciones coordenadas de R(k)

implica la independencia lineal de las caracterı́sticas χk pues si k λk χk = 0 entonces
(k) (k)
λk ( di=1
P Pk P
0= k Rii ) = i,k λk Rii

que implica que los coeficientes λk son nulos. Para probar que que las caracterı́sticas de rep-
resentaciones irreducibles forman una base del espacio de funciones de clase queda probar que lo
generan.
Sea f una función de clase en G, y para cada representación irreducible R(h) consideramos la
matriz

Mh = g∈G (f g)(R(h) g)
P

Veamos que Mh conmuta con R(h) x para toda x ∈ G. Tengamos en cuenta que por ser f una
función de clase entonces f (x−1 gx) = f g para todo g ∈ G y luego

(R(h) x)−1 Mh (R(h) x) = (R(h) x)−1 ( g∈G f (x−1 gx)(R(h) g)(R(h) x)

P

f (x−1 gx)(R(h) x)−1 (R(h) g)(R(h) x)

P
=
Pg∈G
= f (x−1 gx)R(h) (x−1 gx)
Pg∈G (h) (x−1 gx)
= g∈G f gR
= Mh .

Luego Mh (R(h) x) = (R(h) x)Mh . Ahora bien, como Rh es irreducible el lema de schur nos dice
que Mh = λh I, para cierto escalar λh . Tenendo en cuenta la entrada (i, j) de la matriz Mh notamos
que
P (h)
g∈G (f g)(Rij g) = λh δij

Para toda f1 , f2 ∈ VG definimos f1 ∗ f2 ∈ C por

1 P
f1 ∗ f2 = |G| g∈G (f1 g)(f2 g)

(k) (l)
Ya hemos visto que Rpm ∗ Rqn es cero a menos que k = l, p = q, m = n en cuyo caso es
(k) P (k)
1/dk . Como las funciones Rpm generan VG podemos escribir f = k,p,m µkpm Rpm para ciertos
coeficientes µkpm ∈ C y esto da
(h) P (k) (k) P
Rij ∗ f = k,p,m µkpm (Rij ∗ Rpm ) = k,p,m µkpm (1/dk )δhk δip δjm = 1/dh µhij .
(h)
De la ecuación que derivamos del lema de Schur tenemos que Rij ∗ f = λh δij / |G|, con lo que
mostramos
dh λh δij
µhij = |G|

Departamento de matemática - UNLP Hoja 28 de 30

Estructuras algebraicas Teorı́a de representación de grupos

de lo que se sigue que

(h) 1 (h) 1 (h) 1
dh λh χ(h)
P P P P P
f = h,i,j µhij Rij = |G| h,i,j dh λh δij Rij = |G| h dh λh ( i Rii ) = |G| h

que es una combinación lineal de las χ(h) como querı́amos probar.



12. Caracterización de caracterı́sticas de representaciones com-

plejas irreducibles de un grupo finito
Dado un grupo finito G, elejimos representaciones complejas irreducibles R(1) , R(2) , ..., R(s) tal
que R(i) y R(j) no son equivalentes si i 6= j. También hemos mostrado que k d2k ≤ |G| donde dk es
P
el grado de R(k) . Esto limita el número de representaciones irreducibles complejas no equivalentes
dos a dos de G que podemos tener. Si ahora suponemos que hemos elegido la secuencia anterior
de representaciones de manera tal que incluimos tantas representaciones con las caracterı́sticas
anteriores como sea posible, seguirá siendo una secuencia finita, y cada representación irreducible
compleja de G será equivalente a exactamente una de las R(i) . Motivados en este hecho, decimos
que R(1) , R(2) , ..., R(s) constituyen un conjunto completo de de representaciones irreducibles de G.
Dado un conjunto completo de representaciones irreducibles de G como el de arriba, sea χ(k)
la caracterı́stica de R(k) . Esto es, si las funciones coordinadas de R(k) son denotadas por Rij k,
(k)
entonces χ(k) = di=1
P k
Rjj . Hemos visto que representaciones equivalentes tienen la misma función
caracterı́stica. Luego, la caracterı́stica de cualquier representación compleja irreducible de G debe
ser igual a una de las caracterı́sticas χ(1) , χ(2) , ..., χ(s) .
También hemos probado la ortogonalidad de las funciones coordinadas
(k) (l)
1
(Rpm g)(Rnq (g −1 )) = d−1
P
|G| g∈G k δnm δpq δkl

para todos los valores con sentido de k, l, p, m, n y q. Haciendo p = m y q = n y sumando sobre

m desde 1 hasta dk y n desde 1 hasta dl tenemos
Pdk (k) (l)
1
Rmm g)( dn=1 Rnn (g −1 )) = 1/dk δkl m=1
P Pl P P
|G| g∈G ( m=1 n=1 δnm δmn
P P
La cantidad a la derecha es 0 a menos que l = k en cuyo caso es 1/dk m=1 n=1 δnm δmn
que iguala a dk , dado que los dk términos con n = m contribuye cada uno con un 1 y los términos
restantes son 0. Luego
1
χ(k) (g)χ(l) (g −1 ) = δkl
P
|G| g∈G

Supongamos ahora que χ y φ son caracterı́sticas de representaciones complejas irreducibles R

y S. Como antes vimos, sabemos que R es equivalente a R(k) y S a R(l) para ciertos k, l. Por tanto
χ = χ(k) y φ = χ(l) . Como R(k) y R(l) son equivalentes si y sólo si k = l, se sigue que R y S son
equivalentes si y sólo si k = l. Si no son equivalentes, entonces
1
χ(g)φ(g −1 ) = 1
χ(k) (g)χ(l) (g −1 ) = 0
P P
|G| g∈G |G| g∈G

Si son equivalentes, entonces

Departamento de matemática - UNLP Hoja 29 de 30

Estructuras Algebraicas Teorı́a de representación de grupos

1
χ(g)φ(g −1 ) = 1
χ(k) (g)χ(l) (g −1 ) = 1
P P
|G| g∈G |G| g∈G

Por tanto, hemos probado el siguiente teorema

Teorema 3. Si χ y φ son caracterı́sticas de representaciones complejas irreducibles de un grupo
finito G, entonces R y S son equivalentes si y sólo si χ = φ. Más aún
(
1 P −1 1 χ=φ
|G| g∈G χ(g)φ(g ) =
0 χ 6= φ
Hemos visto que toda representación compleja irreducible de un grupo finito G es equivalente
a una representación unitaria, luego cada caracterı́stica de G es la caracterı́stica de alguna repre-
sentación unitaria. Pero si R es unitaria entonces
Rij (g −1 ) = Rij g
para todo g ∈ G, donde Rij son las funciones coordenadas de R. Si χ es la caracterı́stica se
sigue que
χ(g −1 ) = i Rii (g −1 ) = i Rii g = χ(g)
P P

con lo cual deducimos que χ(g −1 ) = χ(g) para cada caracterı́stica compleja de un grupo G. Otra
manera de ver este resultado es observar que χ(g) = traza(Rg), que es la suma de los autovalores
de la matriz Rg, mientras que χ(g −1 ) es la suma de los autovalores de R(g −1 ) = (Rg)−1 , que son
los inversos de los autovalores de Rg. Pero g n = 1 para cierto n, luego (Rg)n = I, de lo que se sigue
que los autovalores de Rg son raı́ces n-ésimas de la unidad, y el inverso de una raı́z n-ésima de la
unidad coincide con el complejo conjugado.
Para f1 , f2 : G → C definimos
1 P
(f1 , f2 ) = |G| g∈G (f1 g)(f2 g)

que es un producto interno en el espacio VG . Si χ y φ son caracterı́sticas de representaciones

irreducibles, entonces (χ, φ) es 0 si χ 6= φ y es 1 si χ = φ. A este hecho lo denominamos ortogonalidad
de las caracterı́sticas irreducibles. Si elegimos las representaciones R(1) , R(2) , ..., R(s) de manera tal
que sean todas unitarias, con lo cual la ortogonalidad de las funciones coorodinadas se tradue en
(l)
k , R ) = (1/d )δ δ δ
(Rpm qn k kl pq mn

Hemos mostrado que estas funciones coordinadas forman una base de VG y las caracterı́sticas
χ(1) , χ(2) , ..., χ(s) generan el espacio de funciones de clase en G, y dado a que la ortogonalidad
de caracterı́sticas irreducibles nos dice que (χ(i) , χ(j) ) = δij , se sigue que χ(1) , χ(2) , ..., χ(s) forman
una base ortonormal del espacio de funciones de clase. Luego, el número total de caracterı́sticas
complejas irreducibles de G, es igual al número de clases por conjugación en G.

Referencias
[1] W. Adkins,S. Weintraub; Algebra: an approach via module theory. Springer-Verlag New York
Inc., 1992.
[2] B. Howlett; Group representation theory. University of Sidney, 1997.

Departamento de matemática - UNLP Hoja 30 de 30