Teoría de Representaciones de Grupos

Alonso Castillo Ramírez

ac1209@imperial.ac.uk

Abstract
Estas son las notas del curso impartido en el Centro Universitario de
Ciencias Excactas e Ingenierías de la Universidad de Guadalajara del 4 al
8 de abril de 2011.
La teoría de representaciones de grupos es un área del álgebra ab-
stracta que estudia algunas conexiones entre el álgebra lineal y la teoría
de grupos. En este texto estudiaremos las representaciones …nitas com-
plejas de grupos …nitos.
En la Clase 1 de…nimos los conceptos básicos y demostraremos que
una representación es equivalente a la acción de un grupo por automor-
…smos en un espacio vectorial. En la Clase 2 demostramos el teorema de
Maschke. En la Clase 3 demostramos el Lema de Schur y determinamos
todas las representaciones irreducibles de los grupos abelianos …nitos. En
la Clase 4 introducimos el concepto de carácter. Finalmente en la Clase 5
enunciamos el Teorema de Ortonormalidad y estudiamos algunas de sus
consecuencias.

1 Clase 1: De…niciones Básicas

Antes de poder de…nir una representación de un grupo debemos recordar algunos
conceptos de álgebra lineal y teoría de grupos.
Sea V un espacio vectorial sobre un campo F . El grupo general lineal GL (V )
es el grupo de transformaciones lineales biyectivas de la forma V ! V (auto-
mor…smos). Si F = C y dim (V ) = n < 1, sabemos que, una vez elegida una
base para V , tenemos el isomor…smo GL (V ) = GLn (C), donde GLn (C) es el
grupo de matrices de n n con entradas complejas y con determinante distinto
de cero. En estas notas, a menos que se indique lo contrario, consideraremos
siempre la base canónica de V .
Recordemos también que si G y H son grupos, un homomor…smo de grupos
es una función f : G ! H tal que f (ab) = f (a) f (b) para toda a; b 2 G. Es
fácil demostrar que f (eG ) = eH , donde eG y eH son las identidades de G y H
1
respectivamente, y que f a 1 = f (a) .

De…nición 1.1 (Representación) Sea V un espacio vectorial y G un grupo.

Una representación (lineal) de G es un homomor…smo de grupos : G !
GL (V ).

1
De…nición 1.2 Sea V un espacio vectorial sobre F y : G ! GL (V ) una
representación de G. Si dim (V ) = n < 1 decimos que es una representación
…nita de grado n de G. Si F = C, decimos que es una representación compleja
de G, y si F = R decimos que es una representación real de G.

Observación 1.1 En estas notas trabajaremos siempre con representaciones

complejas de grado …nito. Todos los espacios vectoriales serán considerados
sobre C. Por tal motivo, podemos de…nir equivalentemente a una representación
de G como un homomor…smo de la forma : G ! GLn (C).

Ejemplo 1.1 Sea G cualquier grupo. La representación : G ! GL (f0g)

de…nida como (g) = 0 para toda g 2 G es llamada la representación cero de
G.

Ejemplo 1.2 Sea G cualquier grupo. La representación : G ! GL1 (C) = C

de…nida como (g) = 1 para toda g 2 G es llamada la representación trivial de
G.

Ejemplo 1.3 Consideremos el grupo dihédrico

D8 = a; b : a4 = b2 = e, ab = ba 1

y de…namos las matrices

0 1 1 0
A= ,B = 2 GL2 (C)
1 0 0 1
Observemos que
A4 = B 2 = I, AB = BA 1

Entonces la función : D8 ! GL2 (C) de…nida como ai bj = Ai B j es una

representación de grado 2 de D8 , ya que si g = a b ,h = as bk 2 D8 ,
i j

(gh) = ai bj as bk
= ai s j+k
b
i s j+k
= A B
= Ai B j As B k
= (g) (h)

Podemos ahora calcular todas las matrices correspondientes a los elementos en

D8 :

g e a a2 a3
1 0 0 1 1 0 0 1
(g)
0 1 1 0 0 1 1 0

g b ab a2 b a3 b
1 0 0 1 1 0 0 1
(g)
0 1 1 0 0 1 1 0

2
Notemos que sólo fue necesario de…nir la imagen de los generadores de D8 para
de…nir toda la representación.

Observación 1.2 Sea G un grupo, : G ! GL (V ) es una representación de

G y : V ! W un isomor…smo de espacios vectoriales. Luego, para toda g 2 G,
1
(g) 2 GL (W )
1
Esto cierto porque (g) es una transformación lineal biyectiva de W !
W . De…namos una función : G ! GL (W ) como
1
(g) = (g)

Ahora es una representación de G porque para toda g; h 2 G,

1
(gh) = (gh)
1
= (g) (h)
1 1
= (g) (h)
= (g) (h)

Ejemplo 1.4 Consideremos la representación : D8 ! GL C2 = GL2 (C)

de D8 = a; b : a4 = b2 = e, b 1 ab = a 1 del Ejemplo 1.3, y de…namos el iso-
mor…smo : C2 ! C2 por la matriz
1 1 1
=p
2 i i

Es claro que
1 1 1 i
=p
2 1 i
Por la observación anterior, la función : D8 ! GL C2 de…nida como (g) =
1
(g) , g 2 D8 , es una representación. En particular

i 0 0 1
(a) = y (b) =
0 i 1 0

De…nición 1.3 (Representaciones Equivalentes) Sean : G ! GL (V )

y : G ! GL (W ) representaciones del grupo G. Decimos que y son
equivalentes si existe un isomor…smo de espacios vectoriales : V ! W tal que
1
(g) = (g)

para toda g 2 G.

Ejercicio 1.1 Demostrar que la equivalencia de representaciones es una relación

de equivalencia.

Ejemplo 1.5 En el Ejemplo 1.4 las representaciones y son equivalentes.

3
De…nición 1.4 (Acción) Sea G un grupo y X un conjunto no vacío. Una
acción de G sobre X es una función : G X ! X tal que
1. e x = x para toda x 2 X.
2. gh x = g (h x) para toda g; h 2 G, x 2 X.
En tal caso, decimos que G actúa sobre X.
De…nición 1.5 (Acción por Automor…smos) Sea G un grupo y X una es-
tructura algebraica. Decimos que G actúa por automor…smos sobre X si la
acción de G sobre X preserva la estructura algebraica de X.
Proposición 1.3 Sea G un grupo y V un espacio vectorial. Entonces existe
una representación de G en V si y sólo G actúa por automor…smos sobre V .
Demostración. Supongamos que : G ! GL (V ) es una representación de G.
De…namos la acción de G sobre V como g v = (g) (v) para g 2 G, v 2 V .
Claramente e v = (e) v = Iv = v y
gh v = (gh) v = (g) (h) v = g (h v)
Por lo tanto G actúa sobre V . Además la acción preserva la estructura
algebraica de V porque
g ( v + w) = (g) ( v + w) = (g) (v) + (g) (w) = (g v) + g w
para toda v; w 2 V , 2 C.
Supongamos ahora que G actúa por automor…smos sobre V . De…namos la
función : G ! GL (V ) para g 2 G como
(g) = Tg
donde Tg es una transformación lineal de…nida como Tg (v) = g v. Observemos
que Tg es efectivamente una transformación lineal porque G actúa por auto-
mor…smos sobre V , y que Tg 2 GL (V ) porque Tg es una biyección con inversa
Tg 1 :
Tg Tg 1 (v) = g g 1 v = gg 1 v = e v = v
Además es un homomor…smo de grupos porque
(gh) v = Tgh (v) = gh v = g (h v) = Tg Th (v) = (g) (h) v
para toda g; h 2 G, v 2 V .
Ejercicio 1.2 Sea G un grupo cíclico de orden m, digamos G = ha : am = 1i.
Supongamos que A 2 GLn (C), y de…namos : G ! GLn (C) como
: ar ! Ar (0 r m 1).
Demuestra que es una representación de G si y sólo si Am = I.

4
2 Clase 2: Teorema de Maschke
Si V es un espacio vectorial, recordemos que un subespacio vectorial de V es un
subconjunto de V que es un espacio vectorial en sí mismo junto con las mismas
operaciones de V . En esta clase nos dedicaremos a estudiar los subespacios
vectoriales que son preservados por la acción del grupo.

De…nición 2.1 (G-invariante) Sea : G ! GL (V ) una representación. Dec-

imos que el subespacio vectorial W V es G-invariante si para toda w 2 W ,
tenemos que (g) w 2 W .

Ejemplo 2.1 Para cualquier representación : G ! GL (V ), los subespacios

f0g y V son G-invariantes.

De…nición 2.2 (Representación irreducible) Sea : G ! GL (V ) una

representación distinta de cero. Decimos que es irreducible si V no tiene
subespacios propios no triviales G-invariantes.

Ejemplo 2.2 Sea : G ! GL (V ) una representación con dim V = 1. Si W

es un subespacio de V , entonces dim W = 0 ó dim W = 1, así que W = f0g ó
W = V . Por lo tanto, todas las representaciones de grado 1 son irreducibles.

Ejemplo 2.3 Consideremos

C3 = a : a3 = e = e; a; a2

y sea V un espacio vectorial complejo de dimensión 3. De…namos : C3 !

GL3 (C) como 0 1
0 0 1
(a) = @ 1 0 0 A
0 1 0
Sea W = gen f(1; 1; 1)g. Como (a) w = w para toda w 2 W , el subespacio W
es G-invariante. Por lo tanto, no es una representación irreducible.

Ejemplo 2.4 La representación : D8 ! GL2 (C) del Ejemplo 1.3 (Clase 1)

es irreducible. Para demostrar esto, supongamos que W es un subespacio propio
no trivial G-invariante de V . Entonces dim W = 1 y W = gen fwg para alguna
w 2 V , w 6= 0. Supongamos que

1
w= , i 2C
2

donde 1 2 6= 0. Tenemos dos casos principales por analizar:

Caso 1: 1 6= 0 y 2 = 0. Observemos que

0 1 1 2
(a) w = = 2W
1 0 2 1

5
 porque W es G-invariante. Así, para algún 2 C, 6= 0,

2 1
=
1 2

lo que implica que 1 = 2 = 0. Esto es una contradicción. Similarmente

obtenemos una contradicción si 1 = 0 y 2 6= 0.
Caso 2: 1 6= 0 y 2 6= 0. Observemos que,

1 0 1 1
(b) w = = 2W
0 1 2 2

Así, para algún 2 C, 6= 0,

1 1
=
2 2

Esto implica que 1 = 1, lo cual es una contradicción.

Teorema 2.1 (Maschke) Sean G un grupo …nito y V un espacio vectorial

complejo de dimensión …nita. Sea : G ! GL (V ) una representación. En-
tonces para cualquier subespacio G-invariante W V existe un subespacio G-
invariante U V tal que V = W U .

Demostración. Consideremos un producto interior Hermitiano h; i sobre V .

De…namos un nuevo producto interior para toda u; v 2 V como

0 1 P
hu; vi = h (g) u; (g) vi
jGj g2G

Este nuevo producto interior es G-invariante en el sentido de que para cualquier

0 0
h 2 G, hv; ui = h (h) v; (h) ui . Sea W un subespacio G-invariante de V .
Consideremos el conjunto
0
W ? = v 2 V : hv; wi = 0 para toda w 2 W
0
Demostraremos que W ? es G-invariante. Sea v 2 W ? . Entonces hv; wi =
0
h (h) v; (h) wi = 0 para toda w 2 W , h 2 G. Como (h) es una biyección,
0
tenemos que h (h) v; wi = 0 para toda w 2 W . h 2 G. Por lo tanto (h) v 2
W ? para toda h 2 G. El teorema queda demostrado con U = W ? por el
Teorema de Descomposición Ortogonal.

Ejemplo 2.5 Consideremos

n la orepresentación : C3 ! GL3 (C) del Ejemplo
T
2.3, y sea W = gen (1; 1; 1) . Se demostró que W es un subespacio G-
invariante. Un producto Hermitiano para C3 es
P
3
hu; vi = ui v i
i=1

6
 T T
donde u = (u1 ; u2 ; u3 ) ; v = (v1 ; v2 ; v3 ) 2 C3 . El producto interior de…nido en
la demostración del Teorema de Maschke en este caso es
0 1 P
hu; vi = h (g) u; (g) vi
jC3 j g2C3
1
= hu; vi + h (a) u; (a) vi + a2 u; a2 v
3
Si w = ( ; ; ) 2 W , 6= 0,

0 1
hv; wi = hv; wi + h (a) v; wi + a2 v; w
3
= (v1 + v2 + v3 )

Luego

W? = fv 2 V : v1 + v2 + v3 = 0g
n o
T T
= gen (1; 1; 0) ; (0; 1; 1)

Por lo tanto,
80 19 80 1 0 19
< 1 =L < 1 0 =
V = gen @ 1 A gen @ 1 A ; @ 1 A
: ; : ;
1 0 1

es una descomposición de V en subespacios G-invariantes.

De…nición 2.3 (Completamente reducible) Una representación : G !

GL (V ) se llama completamente reducible si V = W1 ::: Wr donde Wi es un
subespacio G-invariante irreducible para toda i.

Corolario 2.2 Sea G un grupo …nito y V un espacio vectorial complejo de

dimensión …nita. Entonces cualquier representación : G ! GL (V ) es com-
pletamente reducible.

Demostración. Demostraremos el teorema por inducción sobre n = dim V .

Para n = 1 el teorema se cumple porque todo espacio vectorial unidimensional
es irreducible. Supongamos que el teorema se cumple para toda n < k. Sea
n = k. Si V es irreducible, el teorema está demostrado. Si V no es irreducible,
sea W un subespacio propio no trivial G-invairante. Por el Teorema de Maschke

V =W U

donde U es un subespacio G-invariante. Como dim W; dim U < k = dim V , por

hipótesis de inducción W y U son completamente reducibles. Por lo tanto, V
es completamente reducible.
Otra consecuencia importante del Teorema de Maschke es la siguiente.

7
Teorema 2.3 Sea G un grupo …nito. Entonces G tiene un número …nito de
representaciones irreducibles no equivalentes.

Demostración. Por razones de tiempo no podemos demostrar el teorema

durante este curso. Puede consultarse JAMES [1], Capítulo 10.

Ejercicio 2.1 El Teorema de Maschke también se cumple si V es un espacio

vectorial sobre R, pero no necesariamente si V es un espacio vectorial sobre
un campo …nito GF pk , donde p es un número primo, k 2 N. Por ejemplo,
considera la representación de Cp = ha : ap = ei dada por

1 0
(a) =
1 1
n o
T
Si W = gen (0; 1) , demuestra que no existe ningún subespacio G-invariante
U tal que V = W U . El teorema Maschke tampoco se cumple necesariamente
si G es un grupo in…nito. Da un contraejemplo para el caso G = Z.

8
3 Clase 3: Lema de Schur
Recordemos que en la Clase 1 se demostró que tener una representación : G !
GL (V ) es equivalente a que el grupo G actúe por automor…smos sobre V .

Notación 3.1 Si G actúa sobre X escribiremos gx, o g (x), para denotar g x.

De…nición 3.1 (G-homomor…smo) Sean V; W espacios vectoriales y G un

grupo. Supongamos que G actúa por automor…smos sobre V y W . Decimos que
una función : V ! W es un G-homomor…smo si es una transformación lineal
de espacios vectoriales tal que

g (v) = g (v)

Debe tenerse en cuenta que en la de…nición anterior, la acción de G en el

lado izquierdo de la igualdad es sobre V , mientras que la acción de G en el lado
derecho de la igualdad es sobre W .

Observación 3.2 Si G actúa por automor…smos sobre V y W , el conjunto de

G-homomor…smos

HomG (V; W ) = f : V ! W : es un G-homomor…smog

es un espacio vectorial. Además de…nimos EndG (V ) = HomG (V; V ).

Observación 3.3 Dos representaciones : G ! GL (V ) y : G ! GL (W )

son equivalentes si y sólo si existe un 2 HomG (V; W ) biyectivo.

Ejemplo 3.1 Si G es un grupo que actúa por automor…smos sobre V y 2 C,

la transformación lineal : V ! V de…nida como (v) = v para toda v 2 V
es un G-homomor…smo porque g (v) = g ( v) = g (v) = g (v).

Lema 3.4 (Schur) Sea : G ! GL (V ) una representación (compleja) irre-

ducible. Entonces EndG (V ) = C.

Demostración. Sea 2 EndG (V ). Sea 2 C un eigenvalor de (el cual debe

existir porque C es un campo algebraicamente cerrado). Vamos a demostrar
que el eigenespacio E es G-invariante. Sea v 2 E , (v) = v. Entonces, para
cualquier g 2 G,
(gv) = g (v) = g ( v) = gv
así que gv 2 E . Como V es irreducible, debemos tener que E = V . Por lo
tanto = I. Obviamente, un isomor…smo entre EndG (V ) y C es I ! 7 .

Corolario 3.5 Sean : G ! GL (V ) y : G ! GL (W ) representaciones

(complejas) irreducibles. Si y son equivalentes, entonces HomG (V; W ) = C,
y en caso contrario HomG (V; W ) = f0g.

9
Demostración. Sea 2 HomG (V; W ). Vamos a demostrar que ker e Im
son subespacios G-invariantes de V y W respectivamente. Sea v 2 ker . En-
tonces (gv) = g (v) = g0 = 0, así que gv 2 ker para toda g 2 G. Ahora sea
w 2 Im . Entonces w = (v) para alguna v 2 V y gw = g (v) = (gv) 2 Im .
Supongamos que 6= 0. Entonces ker 6= V , así que ker = f0g porque V
es irreducible. Además Im 6= f0g, así que Im = W porque W es irreducible.
Por lo tanto es un isomor…smo y y son equivalentes.
Finalmente, supongamos que y son equivalentes. Claramente HomG (V; W ) 6=
f0g porque existe al menos un isomor…smo 6= 0. Sea 2 HomG (V; W ) un
1
elemento arbitrario. Por lo tanto, como 2 EndG (V ), debemos tener
1
que = I para algún 2 C por el Lema de Schur. Luego = . Esto
demuestra que HomG (V; W ) es un espacio vectorial unidimensional.
El resto de la clase estudiaremos las consecuencias del Lema de Schur en el
estudio de las representaciones de los grupos abelianos.

De…nición 3.2 (Grupo Abeliano) Decimos que un grupo G es abeliano si

ab = ba para toda a; b 2 G.

Proposición 3.6 Sea G un grupo abeliano …nito y : G ! GL (V ) una repre-

sentación (compleja) irreducible. Entonces dim V = 1.

Demostración. Sea x 2 G. De…namos la función : V ! V como (v) =

xv (en notación de la acción por automor…smos). Como G es abeliano, para
cualquier g 2 G,
g (x) = gxv = xgv = g (v)
por lo que 2 EndG (V ). Por el Lema de Schur, = I para alguna 2 C.
Como x era un elemento arbitrario, el procedimiento anterior nos permite
encontrar para cualquier g 2 G un escalar g 2 C tal que gv = g v para toda
v 2 V . Supongamos que dim V > 1 y sea W un subespacio propio no trivial de
V . Entonces W es G-invariante porque para cualquier w 2 W , g 2 G,

gw = gw 2W

por cerradura de un subespacio. Esto contradice que V sea irreducible. Por lo

tanto dim V = 1.
El siguiente teorema es un hecho estándar de la teoría de grupos. Por ejem-
plo, puede encontrarse una demostración en FRALEIGH [1].

Teorema 3.7 (Teorema Fundamental de los Grupos Abelianos Finitos)

Cualquier grupo abeliano …nito es isomorfo al producto directo de grupos cícli-
cos.

Ahora determinaremos el número de representaciones irreducibles en un

grupo abeliano …nito.

Teorema 3.8 Cualquier grupo abeliano …nito G tiene exactamente jGj repre-
sentaciones irreducibles no equivalentes.

10
Demostración. Por el Teorema Fundamental de los Grupos Abelianos Finitos
G = Cn1 ::: Cnr . Supongamos que ci es generador del grupo cíclico Cni . Sea
gi = (1; :::; ci ; :::; 1) 2 G
Entonces G tiene la presentación
G = hg1 ; :::; gr : gini = e, gi gj = gj gi i
Sea : G ! GLn (C) una representación irreducible. Por la Proposición 3.6,
n = 1, así que para cualquier gi tenemos que (gi ) = i . Como gi tiene orden
ni debemos tener que
ni ni
1 = (e) = (gini ) = (gi ) = i

así que cada i es una raíz ni -ésima de la unidad. Cualquier elemento de G

tiene la forma g1k1 :::grkr , así que
k1 kr k1 kr
g1k1 :::grkr = (g1 ) ::: (gr ) = 1 ::: r

Esto muestra que los valores de 1 ; :::; r determinan la representación . Sabe-

mos que hay ni posibles valores para cada i , así que G tiene exactamente
n1 :::nr = jGj representaciones irreducibles.
Corolario 3.9 Sea G = Cn1 ::: Cnr = hg1 ; :::; gr i. Entonces cualquier
representación irreducible de G es equivalente a una representación de la forma
: G ! GL1 (C) de…nida en los generadores como
(gi ) = i
ni
donde i 2 C es una raíz ni -ésima de la unidad (esto es, ( i ) = 1).
3
Ejemplo 3.2 El grupo C3 = a : a = e tiene exactamente tres representa-
ciones irreducibles i : C3 ! GL1 (C), i = 1; 2; 3, de…nidas como
1 (a) = 1
2 i
2 (a) = e 3

4 i
3 (a) = e 3

Ejemplo 3.3 El grupo de Klein C2 C2 = a; b : a2 = b2 = e; ab = ba tiene

exactamente cuatro representaciones irreducibles i : C2 C2 ! GL1 (C), i =
1; 2; 3; 4 de…nidas como
1 (a) = 1, 1 (b) = 1
2 (a) = 1, 2 (b) = 1
3 (a) = 1, 3 (b) = 1
4 (a) = 1, 4 (b) = 1
Ejercicio 3.1 Sea G un grupo …nito, g 2 G un elemento de orden m y : G !
GL (V ) una representación. Demuestra que existe una base B para V tal que
la matriz [ (g)]B es diagonal, donde cada elemento de la diagonal principal es
una raíz m-ésima de la unidad.

11
4 Clase 4: Caracteres
Recordemos que si A 2 GLn (C), la traza de A, denotada como tr (A), es la
suma de los elementos de la diagonal principal de A, es decir si A = (aij ),
P
n
trA = aii
i=1

Proposición 4.1 Sean A; B 2 GLn (C). Entonces

1. tr (A + B) = tr (A) + tr (B).
2. tr (AB) = tr (BA).
1
3. tr B AB = tr (A).
Demostración. Supongamos que A = (aij ) y B = (bij ). Así,
P
n P
n P
n
tr (A + B) = (aii + bii ) = aii + bii = tr (A) + tr (B)
i=1 i=1 i=1

Y también,
P
n P
n P
n P
n
tr (AB) = aij bji = bji aij = tr (BA) .
i=1 j=1 j=1 i=1

Para demostrar la parte 3., observemos que

1 1 1
tr B AB = tr B (AB) = tr B (BA) = tr (A) .

De…nimos la traza de una transformación lineal T 2 GL (V ) como la traza

de la matriz [T ]B con respecto a la base B de V . Por la Proposición 4.1, la
traza de T no depende de la elección de la base.
De…nición 4.1 (Carácter) Sea : G ! GL (V ) una representación. En-
tonces el carácter de es la función : G ! C de…nida como
(g) = tr ( (g))
para cualquier g 2 G.
Decimos que un carácter de G es irreducible si la representación correspon-
diente es irreducible.
Proposición 4.2 Si : G ! GL (V ) y : G ! GL (W ) son dos representa-
ciones equivalentes con caracteres y respectivamente. Entonces = .

Demostración. Por de…nición existe un 2 HomG (V; W ) biyectivo tal que

(g) 1 = (g) para toda g 2 G. Por la Proposición 4.1,
1
(g) = tr ( (g)) = tr (g) = tr ( (g)) = (g)

12
De…nición 4.2 (Conjugados) Sea G un grupo. Decimos que g; h 2 G son
elementos conjugados si existe x 2 G tal que g = x 1 hx.

Es fácil demostrar la relación de elementos conjugados de…ne una relación de

equivalencia sobre G con clases de equivalencia llamadas clases de conjugación.

Proposición 4.3 Sea : G ! GL (V ) una representación con carácter . Si

g y h son elementos conjugados en G entonces (g) = (h).
1
Demostración. Como g y h son conjugados, g = x hx para algún x 2 G.
Luego, por la Proposición 4.1,
1
(g) = tr ( (g)) = tr x hx
1
= tr x (h) (x) = (h)

Ejemplo 4.1 Consideremos el grupo D8 = a; b : a4 = b2 = e, ab = ba 1 . La

representación : D8 ! GL2 (C) de…nida en el Ejemplo 1.3 tiene el siguiente
carácter
g e a a2 a3 b ab a2 b a3 b
(g) 2 0 2 0 0 0 0 0

Las clases de conjugación de D8 son feg, a2 , a; a3 , b; a2 b y ab; a3 b .

Los valores de son constantes en cada clase de conjugación.

Ejemplo 4.2 Los caracteres irreducibles del grupo C3 son

e a a2
1 1 1 1
2 1 ! !2
3 1 !2 !

2 i
donde ! = e 3 . Como todas las representaciones irreducibles de C3 son de
grado 1, los valores de los caracteres irreducibles coinciden con los valores de
las representaciones. El grupo C3 es abeliano así que sus clases de conjugación
son feg, fag y a2 .

Proposición 4.4 Sea el carácter de la representación : G ! GL (V ).

Supongamos que g 2 G tiene orden m. Entonces

1. (e) = dim V .
2. (g) es la suma de raíces m-ésimas de la unidad.
1
3. g = (g).

13
Demostración. Sea n = dim V . Sabemos que (e) = I es la matriz identidad
de n n, así que (e) = tr ( (e)) = n. Para demostrar la parte 2., recordemos
que por el Ejercicio 3.1, existe una base B para V tal que la matriz [ (g)]B
es diagonal con raíces m-ésimas en la diagonal principal. Por lo tanto, (g) =
tr ([ (g)]B ) es la suma de raíces m-ésimas.
Finalmente, supongamos que
(g) = ! 1 + ::: + ! n
donde ! k es una raíz m-esima de la unidad para toda k. Es claro que
g 1
= ! 1 1 + ::: + ! n 1
Como ! k = ei k
para toda k, sabemos que
!k 1 = e i k
= cos k i sin k = !k
1
Por lo tanto, g = (g).
Ejercicio 4.1 Sea un carácter de G y sea g 2 G un elemento de orden 2.
Demuestra que (g) es un entero y que (g) (1) mod 2.
Si G es un grupo …nito, de…namos el conjunto de funciones de G en C como
C [G] = f : G ! Cg
Este conjunto es un espacio vectorial sobre C de…niendo naturalmente las opera-
ciones ( + ) (g) = (g) + (g) y ( ) (g) = (g) para ; 2 C [G], 2 C.
Claramente los caracteres de G son elementos de C [G].
Si g 2 G, de…nimos las funciones eg : G ! C como
1 si g = h
eg (h) =
0 si g 6= h
El conjunto feg : g 2 Gg es una base para C [G] así que dim C [G] = jGj. Ahora
podemos escribir
( )
P
C [G] = g eg : g 2 C, g 2 G
g2G

Con esta notación, de…nimos una representación : G ! GL (C [G]) como

! !
P P
h g eg = g ehg
g2G g2G

A esta representación se le llama la representación regular de G.

Ejercicio 4.2 Demuestra que el carácter de la representación regular de G
es
jGj si g = e
(g) =
0 si g 6= e

14
5 Clase 5: Teorema de Ortonormalidad
Los caracteres irreducibles de un grupo son una herramienta muy poderosa
porque dan mucha información acerca del grupo mismo y sus representaciones.
Una de las razones principales de su importancia se debe al Teorema de Orto-
normalidad.

De…nición 5.1 (Espacio de Producto Interior) Sea V un espacio vector-

ial sobre C. Una función h; i : V V ! C es llamada un producto interior de
V si satisface para toda u; v; w 2 V , 2 C:

1. hv; vi 0 con la igualdad sólo si v = 0.

2. h v + u; wi = hv; wi + hu; wi.
3. hv; ui = hu; vi.

En tal caso, decimos que (V; h; i) es un espacio de producto interior.

El espacio vectorial C [G] es un espacio de producto interior porque si ; 2

C [G] podemos de…nir
1 P
h ; i= (g) (g)
jGj g2G

Es rutinario veri…car que se cumplen las propiedades de la De…nición 5.1.

Ejemplo 5.1 Consideremos el Ejemplo 4.2 de los caracteres irreducibles 1; 2; 3

2 i
de C3 = hai. Si ! = e 3 , podemos calcular algunos productos interiores
1
h 2; 3i = 2 (e) 3 (e) + 2 (a) 3 (a) + 2 a2 3 (a2 )
3
1
= 1 + !2 + ! = 0
3
1
h 2; 2i = 2 (e) 2 (e) + 2 (a) 2 (a) + 2 a2 2 (a2 ) = 1
3
De…nición 5.2 (Conjunto Ortonormal) Sea V un espacio con producto in-
terior. Decimos que un subconjunto A de V es ortonormal si hv; vi = 1 y
hv; ui = 0 para toda v; u 2 A, v 6= u.

Teorema 5.1 (de Otronormalidad) Sea G un grupo …nito y A = f 1 ; :::; r g

el conjunto de caracteres irreducibles de G. Entonces A es un conjunto orto-
normal en C [G].

La demostración de este teorema requiere más tiempo del que disponemos

en este curso. Puede consultarse en JAMES [1], Capítulo 14. Dedicaremos el
resto de la clase a estudiar las consecuencias del teorema.

15
Teorema 5.2 Sea G un grupo …nito y sean 1 ; :::; r los caracteres irreducibles
de G. Si es cualquier carácter de G entonces

= d1 1 + ::: + dr r, donde di 2 N0
di
= h ; ii
Pr
h ; i = d2i
i=1

Demostración. Supongamos que es el carácter de la representación : G !

GL (V ), y que i es el carácter de la representación i : G ! GL (Vi ). Por
el Corolario 2.2, V puede descomponerse como la suma directa de subespacios
G-invariantes irreducibles. Como 1 ; :::; r son todas las representaciones irre-
ducibles de G, debemos tener que cada subespacio en la descomposición de V
es isomorfo a Vi para alguna i. Por lo tanto,

V = (V1 ::: V1 ) ::: (Vr ::: Vr )

donde hay di factores Vi para cada i. Por lo tanto, el carácter está dado por

= d1 1 + ::: + dr r

Calculando el producto interior h ; i i y usando el hecho de que i ; j = 1

si i = j y i ; j = 0 si i 6= j, obtenemos que di = h ; i i. Similarmente
Pr
obtenemos que h ; i = d2i .
i=1

Teorema 5.3 Sea la representación regular de un grupo …nito G. Sean

1 ; :::; r los caracteres irreducibles de G con representaciones i : G ! GL (Vi ),
i = 1; :::; r. Entonces
= d1 1 + ::: + dr r
donde di = dim Vi y
P
r
2
(dim Vi ) = jGj
i=1

Demostración. Observemos que

1
h ; ii = (e) i (e) = dim Vi
jGj
1
h ; i = (e) (e) = jGj
jGj

Teorema 5.4 Sea G un grupo …nito, y : G ! GL (V ) y : G ! GL (W )

representaciones de G. Sean y los caracteres de y respectivamente.
Entonces = si y sólo si y son equivalentes.

16
Demostración. Si y son equivalentes se demostró en la Clase 4 que = .
Supongamos ahora que = . Sean i : G ! GL (Vi ) las representaciones
irreducibles de G con carácter i . Entonces

V = (V1 ::: V1 ) ::: (Vr ::: Vr )

donde hay di = h ; ii factores Vi , y

W = (V1 ::: V1 ) ::: (Vr ::: Vr )

donde hay ci = h ; i i factores Vi . Como = , tenemos que di = ci para toda

i, así que V = W . La acción de G en V es equivalente a la acción de G en W ya
que ambas acciones son equivalentes a la acción de G en (V1 ::: V1 ) :::
(Vr ::: Vr ).

Teorema 5.5 Sea G un grupo …nito. Un carácter de G es irreducible si y

sólo si h ; i = 1.

Demostración. Si es irreducible, entonces h ; i = 1 por el Teorema de

Ortonormalidad. Supongamos que h ; i = 1 y descompongamos a como

= d1 1 + ::: + dr r

donde 1 ; :::; r son los caracteres irreducibles de G. Por el teorema anterior,

1 = h ; i = d21 + ::: + d2r

Así, debemos tener que di = 1 y dj = 0 para i 6= j. Esto implica que = i es

un carácter irreducible.

Teorema 5.6 Sea G un grupo …nito y A = f 1 ; :::; r g el conjunto de caracteres

irreducibles de G. Entonces A es linealmente independiente en C [G].

Demostración. Supongamos que

1 1 + ::: + r r =0

para i 2 C. Calculando el producto interior h i ; 1 1 + ::: + r ri = 0, obten-

emos que i = 0.

De…nición 5.3 (Función de Clase) Sea G un grupo …nito. Una función de

clase en G es una función f 2 C [G] que es constante en las clases de conjugación
de G; esto es, f (x) = f (y) siempre que x y y sean elementos conjugados en G.

El conjunto C de todas las funciones de clase de G es un subespacio vectorial

de C [G]. Una base para C es el conjunto de aquellas funciones que tomen valor
1 en una clase de conjugación particular, y 0 en todas las demás. Por tal
motivo, dim C es igual al número de clases de conjugación de G. En la Clase 4
se demostró que los caracteres de G son funciones de clase de G.

17
Teorema 5.7 El número de caracteres irreducibles de un grupo …nito G es igual
al número de clases de conjugación de G.

Demostración. Sean 1 ; :::; r los caracteres irreducibles de G y sea l = dim C

el número de clases de conjugación de G. Por el Teorema 5.6, como 1 ; :::; r 2
C, tenemos que r l.
La demostración de que l r puede consultarse en JAMES [1], Capítulo 15.

Ejemplo 5.2 El grupo C3 tiene 3 caracteres irreducibles.

Ejemplo 5.3 Las clases de conjugación del D8 son feg, a2 , a; a3 , b; a2 b

y ab; a3 b , así que D8 tiene 5 caracteres irreducibles. Si

D8 = a; b : a4 = b2 = e, ab = ba 1
(( ))

La representación : D8 ! GL2 (C) de…nida como

0 1 1 0
(a) = , (b) =
1 0 0 1

tiene carácter
e a a2 b ab
2 0 2 0 0

Fácilmente podemos darnos cuenta que el carácter (y la representación ) es

irreducible porque h ; i = 1. De la presentación ( ) de G podemos encontrar 4
caracteres irreducibles y no equivalentes de grado 1. Por lo tanto, los caracteres
irreducibles de D8 son

e a a2 b ab
1 1 1 1 1 1
2 1 1 1 1 1
3 1 1 1 1 1
4 1 1 1 1 1
2 0 2 0 0

A la tabla de arriba se le llama la tabla de caracteres de D8 . De acuerdo al

Teorema 5.3,
12 + 12 + 12 + 12 + 22 = 8 = jD8 j

18
6 Referencias
1. JAMES, Gordon y Martin Liebeck. Representations and Characters of
Groups. Cambridge University Press. Segunda Edición.

2. TELEMAN, Constantin. Representation Theory. Notas de Curso 2005.

Universidad de Cambridge.
3. FRALEIGH, John B. A First Course in Abstract Algebra. Prentice Hall.
Sexta Edición.

19