Representaciones PDF

Introduccin a la teora de
representaciones de grupos finitos
Rafael Villarroel Flores

rafael@matem.unam.mx
29 de junio de 2006
II
Prlogo
. . . it is now more true to say that for

further advances in the abstract theory
one must look largely to the
representation of a group as a group of
linear substitutions.
William Burnside, 1911
Este trabajo, que est todava desarrollndose, surgi como un complemento al curso
de lgebra Moderna IV que impart en la Facultad de Ciencias de la UNAM, de enero
a mayo de 2003. El curso estaba dirigido a estudiantes de matemticas en el ltimo ao
de su carrera. Los prerrequisitos para ste trabajo, por lo tanto, son los cursos de lgebra Superior I y II (conjuntos, funciones, operaciones binarias, relaciones de equivalencia,
induccin matemtica, nmeros complejos, ver por ejemplo [CLRT73]), lgebra Lineal I
y II (espacios vectoriales, transformaciones lineales, matrices, valores y vectores propios,
ver [FIS97]) y lgebra Moderna I y II (grupos, homomorfismos, teoremas de homomorfismos, grupos simtricos, el teorema fundamental de grupos abelianos finitos, anillos y
campos, una posible referencia es: [Jac85]).
Un objetivo de este trabajo es mostrar cmo la teora de representaciones lineales sirve
para demostrar teoremas sobre teora pura de grupos. Durante el curso la idea era llegar
a la demostracin del famoso teorema de Burnside: cualquier grupo G de orden p q es
soluble, donde p y q son primos y y son nmeros naturales. En este texto incluiremos
adems otros dos teoremas cuya primer demostracin fue en trminos de representaciones:
el teorema sobre la normalidad del ncleo de Frobenius y el teorema de Burnside sobre
grupos de permutaciones de grado primo.
Adems, se pretende familiarizar a los estudiantes con el sistema de cmputo GAP
(http://www.gap-system.org). Practicar problemas matemticos en la computadora ayuda a comprobar el aprendizaje, pues uno debe de ensearle a la mquina primero. Se
pueden comprobar resultados y tambin puede ayudar a que surjan conjeturas (y a refutarlas). Los rudimentos de GAP se explican en el apndice A, y ya en el texto se explica
cmo se pueden practicar los conceptos aprendidos en la computadora.
Como el ttulo lo indica, ste trabajo es solamente una introduccin a la teora de
representaciones lineales de grupos. Por lo tanto, no se busca enunciar los teoremas y las
definiciones en la forma ms general posible, sino que se busca la generalidad siempre y
cuando no traiga consigo complicaciones significativas. Slo se hace mencin de grupos
finitos, no se toca la teora de representaciones llamada modular, y la teora de carcteres nicamente se desarrolla en el campo de nmeros complejos. Por otro lado, se ha
iii
IV
tratado de incluir una gran cantidad de ejemplos y de clculos concretos.
Prlogo
Contenido
Introduccin
VII
1. lgebras
1.1. Definicin de lgebra . . . . . . . . . . .
1.2. Ejemplos de lgebras . . . . . . . . . . .
1.3. Mdulos y representaciones de lgebras .
1.4. Submdulos y morfismos de mdulos . .
1.5. Mdulos simples y semisimples . . . . .
1.6. El teorema de Weddeburn . . . . . . . .
1.7. El radical de un lgebra . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
6
9
13
17
21
26
2. lgebras de grupo y sus mdulos

2.1. El producto tensorial . . . . . . . . . . . . .
2.2. Mdulos sobre lgebras de grupo . . . . . .
2.3. Potencias simtricas y exteriores . . . . . . .
2.4. El teorema de Maschke y sus consecuencias
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
31
31
35
40
42
3. Carcteres
3.1. Definicin y propiedades . . . .
3.2. Las relaciones de ortogonalidad
3.3. Grupos cclicos . . . . . . . . .
3.4. Grupos abelianos . . . . . . . .
3.5. Grupos no abelianos pequeos .
3.6. Grupos simtricos pequeos . .
3.7. Grupos alternantes pequeos .
3.8. Tablas de carcteres en GAP . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
45
45
51
55
56
60
62
64
65
4. Carcteres y mdulos inducidos

4.1. Ms sobre funciones de clase . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2. Carcteres inducidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3. Mdulos inducidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
67
67
68
71
5. Teoremas de Burnside y Frobenius

5.1. El kernel de un carcter . . . .
5.2. El centro de un carcter . . . .
5.3. Enteros algebraicos y carcteres
5.4. El teorema de Burnside . . . . .
75
75
78
81
84
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
v
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
VI
Contenido
6. Representaciones del grupo simtrico

6.1. Particiones y diagramas de Young . . . . . . . . . . . . . . . . . . . . . . .
6.2. Tableros y representaciones irreducibles . . . . . . . . . . . . . . . . . . . .
6.3. Mdulos de Specht . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
87
87
88
91
A. Grupos y campos en GAP
97
Lista de smbolos
103
Bibliografa
105
ndice
106
Introduccin
El objetivo principal de este trabajo es presentar resultados sobre representaciones

lineales de grupos finitos, que puedan aplicarse para obtener propiedades o demostrar
teoremas sobre los grupos mismos. La culminacin de todos los resultados ser la demostracin de sendos teoremas de Burnside y Frobenius, fundadores de esta teora. Para
dichos teoremas, no se ha encontrado demostracin sin usar representaciones, o bien otra
demostracin es simplemente menos natural.
Existen dos maneras de pensar en una representacin de un grupo G. La primera es
similar al concepto de G-conjunto, en sta ocasin tenemos una accin de G en un espacio
vectorial V. Los teoremas de lgebra lineal restringen de algn modo las acciones posibles
que pueden darse (y las propiedades del campo de escalares tambin juegan su papel),
de modo que las propiedades de tal accin pueden resultar en datos interesantes sobre el
grupo G.
La segunda manera de definir una representacin del grupo G en el espacio vectorial V,
es como un homomorfismo de grupos G GL(V), donde GL(V) es el grupo de transformaciones lineales invertibles V V. Si el homomorfismo G GL(V) es inyectivo,
tenemos que G es isomorfo a un subgrupo de GL(V), y en tal sentido, hemos representado a los elementos G como transformaciones lineales V V. An si el homomorfismo
G GL(V) no es inyectivo, las propiedades de V restringen las posibilidades para tal
homomorfismo, de modo que sus propiedades dicen algo sobre G.
El primer concepto lleva a la definicin de mdulo sobre G, el segundo lleva al
concepto de representacin de G, sin embargo ambos son equivalentes, y en ocasiones
alguno ser ms provechoso que el otro.
Otro objetivo de estas notas es mostrar al alumno un campo de estudio en donde
aplicar prcticamente todos los conocimientos adquiridos en los cursos de lgebra hasta ahora, y que en cierto modo tiene el sabor de las matemticas que se estn creando.
Por ejemplo, en el primer captulo podr comprender la demostracin de un teorema de
clasificacin no trivial: la clasificacin de todas las lgebras asociativas semisimples de
dimensin finita sobre un campo algebraicamente cerrado.
En el captulo 1, definiremos el concepto de lgebra. Es posible desarrollar la teora
sin l, pero nos parece que es un tema que se enlaza de modo natural como continuacin
de los cursos sobre espacios vectoriales y anillos. Adems, al ser una estructura ya algo
complicada, es posible proceder a su clasificacin. Nos concretamos desde un principio a
lgebras de dimensin finita, y hacemos nfasis en resultados sobre lgebras semisimples,
pues son los que nos resultan ms tiles en el estudio de la llamada teora clsica de
representaciones de grupos. Sin embargo, al final del captulo estudiamos por un momento
las lgebras no semisimples, lo cual ser provechoso al lector si desea estudiar la llamada
teora modular de las representaciones. En ste captulo tambin definimos el concepto
vii
VIII
Introduccin
de mdulo sobre un lgebra. Y damos varios ejemplos de lgebras y de mdulos sobre

lgebras, entre ellos, el ejemplo ms importante para nosotros ser, dado un campo F y
un grupo finito G, el lgebra de grupo FG.
A partir del captulo 2, todas las lgebras son lgebras de grupo. Construimos ejemplos de mdulos sobre lgebras de grupo y ejemplos de cmo construir nuevos mdulos a
partir de otros, a saber: el producto tensorial, el producto simtrico y el producto exterior, la restriccin, conjugacin e inflacin, los mdulos de permutaciones, etc. A partir del
teorema de Maschke, todos las lgebras de grupos se toman sobre el campo de nmeros
complejos C. Y con toda la materia prima de ejemplos que hemos construido, definimos
un importantsimo concepto para aplicrselo a nuestros mdulos: el concepto de carcter de un G-mdulo. Demostramos las relaciones de ortogonalidad que existen entre los
carcteres y utilizamos todo sto en la construccin de la tabla de carcteres de un grupo
G. de tipos de grupos progresivamente ms complicados, primero los grupos cclicos, despus todos los grupos abelianos, despus la de los dos grupos no abelianos de orden 8 y
finalmente de los grupos simtricos S4 y S5 .
En el captulo 5, se demostrarn los teoremas notables indicados, as como algunos
otros hechos interesantes sobre las representaciones mismas. Y en el captulo 6 se introducen herramientas que sirven para clasificar completamente a las representaciones
irreducibles de los grupos simtricos Sn , para toda n.
De entre la amplsima literatura sobre representaciones de grupos, los que han influido
mayormente en la exposicin en este texto son: el libro de Isaacs ([Isa94]) en cuanto a
la claridad de las demostraciones y el de Fulton y Harris ([FH91]), en cuanto a la gran
cantidad de ejemplos.
1
lgebras
En este captulo estudiamos la nocin de lgebra sobre un campo. Este concepto no

es estrictamente necesario para estudiar representaciones de grupos, sin embargo nos proporcionar un panorama ms amplio y facilitar el enunciado de varios teoremas ms
adelante, adems es muy interesante y no nos desviar demasiado de nuestros objetivos.
Generalmente en matemticas, se le llama un lgebra a un espacio vectorial A junto
con un producto bilineal
A A A,
(1.1)
y dependiendo de las propiedades del producto, se definen lgebras asociativas, lgebras
de Lie, lgebras de Jordan, etc. En este trabajo, la palabra lgebra significa exclusivamente
lgebra asociativa con uno.
1.1.
Definicin de lgebra
1.1 Definicin.
Sea F un campo. Sea A un espacio vectorial sobre F que tambin es un anillo con uno,
donde la suma del espacio vectorial coincide con la suma en el anillo y el uno de A es
distinto del cero. Si adems se tiene que para todo F y a, b A se cumple que:
(a)b = (ab) = a(b)
(1.2)
decimos que A es una F-lgebra.
En otras palabras, si fijemos el campo F, una F-lgebra se compone de un conjunto

A, junto con tres operaciones, la suma + : A A A, el producto : A A A y el
producto por escalares : F A A, que deben satisfacer ciertas propiedades. Los valores
de las operaciones se denotan del siguiente modo:
1
Captulo 1. lgebras
1. +(a, b) se denota con a + b,

2. (a, b) se denota con ab,
3. (, a) se denota con a.
Aunque denotemos del mismo modo al producto de dos elementos de A y al producto

por escalares, el contexto nos dir a qu operacin nos estamos refiriendo. Por lo general,
los elementos del lgebra se denotarn con a, b cuando sean dos, y con a1 , a2 , a3 , . . ., etc.,
cuando sean ms. Y a los elementos de F los denotaremos con .
Las operaciones deben de satisfacer las siguientes condiciones:
Axiomas de las operaciones de un lgebra
1. a + b = b + a para todos a, b A,
2. a1 + (a2 + a3 ) = (a1 + a2 ) + a3 para todos a1 , a2 , a3 A,
3. existe un elemento 0A A tal que a + 0A = a para todo a A,
4. para todo a A existe un elemento a A tal que a + (a) = 0A ,
5. a1 (a2 a3 ) = (a1 a2 )a3 para todos a1 , a2 , a3 A,
6. existe un elemento 1A A tal que a1A = 1A a = a para todo a A, y 1A 6= 0A ,
7. a1 (a2 +a3 ) = a1 a2 +a1 a3 y (a1 +a2 )a3 = a1 a3 +a2 a3 para todos a1 , a2 , a3 A,
8. si 1F es el neutro multiplicativo del campo F, entonces 1F a = a para todo a A,
9. (1 2 )a = 1 (2 a) para todos 1 , 2 F y para todo a A,
10. (1 + 2 )a = 1 a + 2 a para todos 1 , 2 F y para todo a A,
11. (a + b) = a + b para todo F y para todos a, b A,
12. (ab) = (a)b = a(b) para todo F y para todos a, b A.
Desde luego, en la prctica denotamos tanto a 1A como a 1F con el mismo smbolo 1,

el contexto nos ilustrar a cul de los dos nos referimos.
Daremos dos ejemplos sencillos, pero importantes, de lgebras, otros aparecern en la
seccin 1.2.
1.1. Definicin de lgebra
1.1
Ejemplo
Para cualquier campo F, sea A = F, el cual tiene estructura de anillo con uno y es un F-espacio
vectorial de dimensin 1. Claramente se cumple la condicin (1.2), as que F es una F-lgebra,
a la cual llamaremos lgebra regular.
El siguiente es de hecho una familia infinita de ejemplos.
1.2
Ejemplo
Sea n un entero positivo y F un campo. Sea A = Mn (F) el conjunto de matrices n n con

entradas en F, junto con las operaciones usuales. Es decir:

a1,1 a1,n
.
.. a F, i, j = 1, . . . , n
.
Mn (F) =
(1.3)

.
i,j
.

a
a
n,1
con suma dada por:

a1,1 a1,n
b1,1
.
.. + ..
.
.
. .
an,1
producto:
a1,1
.
..
an,1
bn,1
a1,n
b1,1
.. ..
.
.
an,n
bn,1
an,n
y producto por escalares:
a1,1
...
an,1
n,n

a1,1 + b1,1
b1,n
..
.. =
.
.
an,1 + bn,1
bn,n
P
b1,n
a1,i bi,1
.. =
..
.
P .
bn,n
an,i bi,1

a1,1
a1,n
.. = ..
.
.
an,1
an,n
a1,n + b1,n
..
(1.4)
an,n + bn,n
P
a1,i bi,n
..
P .
an,i bi,n
a1,n
..
.
an,n
(1.5)
(1.6)
Entonces A es una F-lgebra.

De hecho, es claro que si A es una F-lgebra, entonces Mn (A) con las operaciones indicadas es
una F-lgebra.
Si A es un lgebra, puesto que es un anillo y un espacio vectorial a la vez, hereda

todas las propiedades de stos, por ejemplo, la unicidad del neutro aditivo o el hecho
de que 0F a = 0A para todo a A. Tambin se heredan todos los conceptos asociados
a los anillos y espacios vectoriales, como ideales, ideales principales, subespacios, bases,
dimensin, etc. En particular, es muy fcil definir una funcin que preserve la estructura
de lgebra.
1.2 Definicin.
Captulo 1. lgebras
Sean F un campo, y A y B F-lgebras. Sea f : A B una transformacin lineal tal que

f(ab) = f(a)f(b) para todos a, b A y tal que f(1A ) = 1B . Decimos entonces que f
es un morfismo de lgebras
En otras palabras, un morfismo de lgebras es una transformacin lineal que a la vez es

un morfismo de anillos con uno. Es inmediato demostrar que la composicin de morfismos
de lgebras es un morfismo de lgebras, y que la funcin identidad siempre es un morfismo
de lgebras. La definicin de isomorfismo de lgebras se sigue inmediatamente.
De vez en cuando mostraremos propiedades nuevas que se cumplen en cualquier
lgebra debido a la interaccin entre las dos estructuras. Por ejemplo:
1.3 Proposicin.
Si A es una F-lgebra, e I es un ideal izquierdo o derecho de A, entonces I es un

subespacio de A.
Demostracin. Supongamos que I es un ideal izquierdo de A. Slo falta probar que I es

cerrado bajo producto por escalares. Si F y a I, entonces a = (1A a) = (1A )a
I, pues I absorbe productos por la izquierda. En el caso de que I sea ideal derecho el
resultado se sigue de la igualdad a = (a1A ) = a(1A ).
Por lo tanto, si I es un ideal (bilateral) de A donde 1A 6 I, entonces el conjunto
de clases laterales A/I tiene una estructura de anillo con uno (diferente de cero) y de Fespacio vectorial donde se cumple la ecuacin (1.2), es decir, tenemos una nueva F-lgebra,
llamada el lgebra cociente. No usaremos un nueva terminologa para los ideales de un
lgebra, los llamaremos simplemente ideales de A.
Por otro lado, si B A es a la vez un subanillo con uno (con 1B = 1A B) y
subespacio vectorial de A, entonces la condicin (1.2) se hereda a B, por lo tanto, con las
operaciones de A restringidas, B es una F-lgebra y diremos que B es una sublgebra de
A. Puesto que podemos demostrar que la interseccin arbitraria de ideales (sublgebras)
de A es un ideal (sublgebra), podemos, dado X A, hablar del ideal (sublgebra) de A
generado(a) por X, que se define como la interseccin de todos los ideales (sublgebras) de
A que contienen a X.
Para cualquier lgebra A, una sublgebra es el centro:
Z(A) = { a A | ax = xa para todo x A } .
(1.7)
Ms generalmente, si a A, tenemos que CA (a) = { x A | ax = xa } (el centralizador

de a) es una sublgebra de A.
1.1. Definicin de lgebra
El teorema fundamental de isomorfismo se traslada al contexto de F-lgebras sin mayor

problema:
1.4 Teorema.
Sea f : A B un morfismo de F-lgebras. Entonces

1. ker f = { a A | f(a) = 0B } es un ideal de A,
2. im f = { f(a) B | a A } es una sublgebra de B,
3. El lgebra cociente A/ ker f es isomorfa a im f por medio de b + ker f 7 f(b).
Frecuentemente ser til la siguiente notacin: si A es un lgebra y X, Y A, denotaremos XY al conjunto

XY = { xy | x X, y Y }
(1.8)
(con lo cual tambin hemos definido Xn ). En el caso de que X = {x}, entonces XY se
denota simplemente con xY. El subconjunto {0A } se denotar simplemente como 0.
Adems del proceso de formar lgebras cocientes, otra manera de crear nuevas lgebras
a partir de otras es por medio de la suma directa.
1.5 Proposicin.
Sean A1 , A2 , . . . , An F-lgebras. Sea A la suma directa n

i=1 Ai como espacios vectoriales. Si definimos en A un producto como:
(a1 , a2 , . . . , an )(b1 , b2 , . . . , bn ) = (a1 b1 , a2 b2 , . . . , an bn ),
(1.9)
entonces A tiene una estructura de F-lgebra, donde 1A = (1A1 , 1A2 , . . . , 1An ), llamada la suma directa de las F-lgebras A1 , A2 , . . . , An .
Por otro lado, supongamos que A es una F-lgebra tal que existen lgebras
A1 , A2 , . . . , An , todas ellas contenidas en A como subconjuntos y tales que las operaciones en ellas se obtienen restringiendo las correspondientes operaciones en A,
tales que:
P
1. para todo x A existen elementos xi Ai tales que x =
xi .
2. Ai Aj = 0 si i 6= j.
Entonces A es isomorfa a n
i=1 Ai . (En este caso, decimos que A es la suma directa
interna de las lgebras A1 , A2 , . . . , An ).
Demostracin. Ejercicio.
En este trabajo, nos concentraremos la mayor parte del tiempo a estudiar lgebras de
dimensin finita.
1.6 Definicin.
Captulo 1. lgebras
Sea A una F-lgebra. Decimos que A es una lgebra con divisin si para todo a A,
a 6= 0 existe b A tal que ab = 1A .
Ejercicios 1.1
1.1.1 Demuestra que la interseccin de ideales (sublgebras) de un lgebra A es un ideal (sublgebra)
de A.
1.1.2 Demuestra que para todo a A se tiene que CA (a) es una sublgebra de A y que Z(A) =
aA CA (a).
1.1.3 Demuestra el teorema 1.4.
1.1.4 Demuestra la proposicin 1.5.
1.1.5 Demuestra que si A1 , A2 , . . . , An son F-lgebras, entonces Z(n
i=1 Ai ) es una F-lgebra isomorfa
a n
i=1 Z(Ai ).
1.1.6 Sea A una F-lgebra que es la suma directa interna de las lgebras A1 , A2 , . . . , An . Sea I un ideal
de alguna Ai . Entonces I es un ideal de A.
1.1.7 Sea A una F-lgebra. Sea B A tal que B es cerrado bajo sumas, productos y productos por
escalares de F. Si existe adems un elemento 1B B tal que b1B = 1B b = b para todo b B,
demuestra que las operaciones de A restringidas a B dan a B la estructura de F-lgebra.
1.2.
Ejemplos de lgebras
Siempre despus de una definicin es importante contar con muchos ejemplos.
Primero consideremos el lgebra regular sobre F (Ejemplo 1.2). Puesto que {1F } es una
base de F, dada cualquier F-lgebra B existe una nica transformacin lineal F B que
satisface 1F 7 1B . Tal transformacin lineal tambin preserva el producto, por lo que
es un morfismo de lgebras. Ms an, tal morfismo es siempre inyectivo, por lo que su
imagen en B:
F1 = { c1B | c F }
(1.10)
es una sublgebra de B isomorfa a F. En ocasiones ser conveniente identificar a F con sta
sublgebra.
1.2. Ejemplos de lgebras
1.7 Proposicin.
Sea A una F-lgebra con divisin de dimensin finita, donde F es algebraicamente

cerrado, entonces A = F.
1.3
Ejemplo
Sea F = R y A = C. Entonces, bajo las operaciones usuales, A es una R-lgebra. En general, si

F es un campo y E es una extensin de F, entonces E es una F-lgebra.
Un teorema de Hopf dice que las nicas R-lgebras con divisin de dimensin finita
conmutativas son R y C.
1.4
Ejemplo
op
Si A es cualquier F-lgebra, definimos una F-lgebra A , llamada el lgebra opuesta a A, como

el lgebra que tiene el mismo espacio vectorial subyacente a A, pero donde el producto ab en
Aop se define como el producto ba en A.
1.5
Ejemplo
Sea F un campo. Recordemos que el anillo de polinomios en una variable F[x] tiene adems una
estructura de espacio vectorial de dimensin infinita con base {1, x, x2 , x3 , . . .} y es por lo tanto
una F-lgebra de dimensin infinita.
En el caso del lgebra F[x], la identificacin de F con la sublgebra F1 es clara, pues

F1 corresponde a los polinomios constantes. Una propiedad importante y conocida de
la inclusin F F[x] es la siguiente: si : F R es un morfismo de anillos y u R
es cualquier elemento, entonces se puede extender de manera nica a un morfismo de
anillos u : F[x] R que cumpla u (x) = u. Tal morfismo est dado por:
u (a0 + a1 x + + an xn ) = (a0 ) + (a1 )u + + (an )un .
(1.11)
Por lo tanto, si R es una F-lgebra y es un morfismo de lgebras, entonces debe ser

la inclusin de F en R mencionada en el ejemplo 1.1. Identificando a F con su imagen
bajo en R, la propiedad universal de la F-lgebra F[x] toma la siguiente forma: dada una
F-lgebra R y u R, existe un nico morfismo de F-lgebras F[x] R tal que x 7 u, con
regla de correspondencia:
u (a0 + a1 x + + an xn ) = a0 + a1 u + + an un .
(1.12)
Captulo 1. lgebras
El siguiente ejemplo es el prototipo de una F-lgebra. Todas las lgebras expuestas

hasta ahora han sido de dimensin finita, la siguiente familia de ejemplos muestra algunas
de dimensin infinita.
1.6
Ejemplo
Sea F un campo y V un espacio vectorial sobre F. Si A = L(V), el conjunto de las transformaciones lineales V V junto con operaciones:
1.
suma: (T + U)(v) = T (v) + U(v),
2.
producto: (T U)(v) = T (U(v)),
3.
producto por escalares: (T )(v) = (T (v))
entonces A es una F-lgebra, llamada el lgebra de endomorfismos de V.
Por supuesto, V es de dimensin infinita si y slo si L(V) es de dimensin infinita.

Adems, usando lgebra lineal podemos demostrar que si dim V = n, entonces L(V) es
isomorfa como lgebra a Mn (F).
1.7
Ejemplo
El ejemplo de F-lgebra ms importante para nuestros propsitos en ste trabajo es el siguiente.

Sea G un grupo y F un campo. Sea FG el espacio vectorial sobre F con base los elementos de G.
El producto se define en bsicos de FG siguiendo la misma regla que en G y despus se extiende
linealmente a los otros elementos de G. Con ste producto, el espacio FG se convierte en un
lgebra sobre F, llamada el lgebra de grupo.
El lgebra de grupo tiene una importante propiedad universal.

Propiedad universal del lgebra de grupo
Sean A una F-lgebra y f : G U(A) un homomorfismo de grupos, donde U(A) es
el grupo de unidades de A. Entonces existe un nico homomorfismo f : FG A que
extiende a f.
Ejercicios 1.2
1.2.1 Verdadero o falso? Si S es un subespacio de una F-lgebra A, entonces S es un ideal izquierdo
o derecho de A.
1.3. Mdulos y representaciones de lgebras
1.2.2 Verdadero o falso? Si S es un subanillo de una F-lgebra A, entonces S es un subespacio de A.

(Compara con la proposicin 1.3).
1.2.3 Verdadero o falso? Si A y B son F-lgebras, y f es un morfismo de anillos con f(1A ) = 1B ,
entonces f es un morfismo de lgebras.
1.2.4 Determina Z(Mn (F)).
1.2.5 Demuestra que los nicos ideales de Mn (F) son 0 y Mn (F). (Si un lgebra A es tal que sus nicos
ideales son 0 y A, decimos que A es un lgebra simple).
1.2.6 Demuestra que C es una R-lgebra simple.
1.2.7 Demuestra que ningunas dos de las tres siguientes R-lgebras de dimensin 2 son isomorfas
entre s: R R, C, R[x]/(x2 ). Es RC2 isomorfa a alguna de stas? (donde C2 es el grupo cclico
de orden 2).
1.3.
Mdulos y representaciones de lgebras
1.8 Definicin.
Sean F un campo, A una F-lgebra, y V un F-espacio vectorial. Una representacin de

A en V es un morfismo de lgebras : A L(V).
La mayor parte del tiempo trabajaremos con representaciones en espacios vectoriales

de dimensin finita.
Una representacin de A en V da origen a una accin de A en V (es decir, una funcin
A V V), definiendo av = (a)(v). Notemos que sta accin tiene las siguientes
propiedades, que despus usaremos para definir mdulos.
Axiomas de mdulos sobre lgebras
1. (a + b)v = av + bv para todos a, b A, v V,
2. a(v + w) = av + aw para todos a A, v, w V,
3. a(bv) = (ab)v para todos a, b A, v V,
4. 1A v = v para todo v V,
5. a(v) = (av) = (a)v para todos F, a A, v V.
10
Captulo 1. lgebras
Mostraremos, por ejemplo, la propiedad 5. Sean c F, a A, v V. Entonces:
a(v) = (a)(v)
= (a)(v)
= (av)
= (a)(v)
= (a)v
definicin
pues (a) es lineal
definicin
pues es lineal
definicin
Tenemos entonces la siguiente:

1.9 Definicin.
Sea V un espacio vectorial (de dimensin finita) sobre F y A una F-lgebra. Decimos
que V tiene una estructura de mdulo sobre el lgebra A si existe una funcin AV
V tal que si denotamos sus valor en (a, v) con av, se cumplen los axiomas enlistados.
Decimos tambin que V es un A-mdulo.
Recprocamente, si V es un mdulo sobre el lgebra A, entonces definiendo : A

L(V) como (a)(v) = av, se demuestra que es una representacin de A en V. Es decir,
los conceptos de representaciones de lgebras y mdulos sobre lgebras son equivalentes
y por lo tanto, dependiendo del contexto podremos usar uno u otro enfoque. A la transformacin lineal V V dada por v av la denotaremos por aV y a la imagen de la
denotaremos con AV , la cual, por supuesto, es una sublgebra de L(V).
A continuacin pondremos ejemplos de mdulos para las lgebras ya descritas en la
anterior seccin.
Ejemplo
1.8
Sea A = F visto como F-lgebra. Entonces cualquier F-espacio vectorial es un A-mdulo.
Ejemplo
1.9
Si A es cualquier F-lgebra, entonces tomando V = A, V es un mdulo sobre A simplemente

usando el producto de A para a A, v V. Es decir, A como espacio vectorial tiene una
estructura de A-mdulo, llamado el A-mdulo regular, al cual denotaremos con A A.
Utilizando el concepto de representaciones, el mdulo regular da lugar a una representacin : A L(A). Tal morfismo de lgebras es siempre inyectivo, por lo que obtenemos la siguiente proposicin, anloga al teorema de Cayley en teora de grupos, la cual
muestra por qu hemos llamado a las lgebras L(V) el prototipo de todas las lgebras.
1.3. Mdulos y representaciones de lgebras
11
1.10 Proposicin.
Si A es una F-lgebra, entonces A es isomorfa a una sublgebra de L(V), para cierto

espacio vectorial V.
1.11 Corolario.
Si dim A = n, entonces A es isomorfo a una sublgebra de Mn (F).
Continuaremos ahora con los ejemplos.
1.10
Ejemplo
Sea V un F-espacio vectorial y A una sublgebra de L(V) entonces V es un A-mdulo definiendo

av como la imagen de v aplicando a.
1.11
Ejemplo
n
Sea V = F el F-espacio vectorial de vectores columna con n entradas en F y A = Mn (F). Sea

a A una matriz y v V un vector columna, entonces av se define del modo usual, es decir, si
a11 a12 . . . a1n

v1
a21 a22 . . . a2n
v2
a= .
v= .
(1.13)
..
..
..
..
.
.
an1 an2 . . . ann
vn
entonces
a11 v1 + a12 v2 + + a1n vn

a21 v1 + a22 v2 + + a2n vn
av =
..
.
an1 v1 + an2 v2 + + ann vn
(1.14)
Con sta definicin, V es un A-mdulo.
Ejemplo
1.12
Sea V un F-espacio vectorial y A = F[x]. Sea T : V V una transformacin lineal fija, es decir,
un elemento del lgebra L(V). Por la propiedad universal de F[x], existe un nico morfismo de
lgebras : F[x] L(V) tal que (x) = T . Obtenemos por lo tanto una representacin de F[x]
en V, con accin f(x)v = (f(x))(v) = f(T )v.
Ejemplo
1.13
12
Captulo 1. lgebras
Sean G un grupo y F un campo. Como en el caso de F[x], la propiedad universal de FG nos

facilita definir homomorfismos saliendo de FG, as que para definir un G-mdulo definiremos
una representacin de FG. Por ejemplo, sea X un G-conjunto y sea V el F-espacio vectorial con
base X, al que se denota con FX. Entonces cada elemento de G puede interpretarse como una
permutacin de los elementos de una base de V = FX, y por lo tanto, induce una transformacin
lineal invertible FX FX. Es decir, se obtiene un homomorfismo de grupos G U(L(FX)), el
cual da origen a un morfismo de lgebras FG L(FX), y por lo tanto, le da a FX una estructura
de mdulo sobre FG. Un mdulo obtenido de sta forma (es decir, a partir de un G-conjunto)
se llama un mdulo de permutaciones.
Ejemplo
1.14
Sea F el campo finito de p elementos donde p es primo y sea G = Cp = hgi el grupo cclico con
p elementos. Sea V = F2 . Fijando la base cannica de V, una transformacin lineal V V est
determinada por un elemento de M2 (F). Tenemos que la regla:

1 0
(gr ) =
(1.15)
r 1
est bien definida y determina un homomorfismo de grupos : Cp U(L(V)), de donde se
obtiene un morfismo de lgebras : FCp L(V), y por lo tanto, V = F2 resulta un FCp mdulo.
Si V es un A-mdulo, en ocasiones es conveniente usar la notacin siguiente: si B A

y W V, entonces
BW = { bw | b B, w W } V.
(1.16)
Si B = {b}, en lugar de escribir {b}W escribiremos simplemente bW (anlogamente si
W = {w}). Decimos que B anula a W si BW = 0.
1.12 Definicin.
El A-mdulo V es cclico si existe v V tal que V = Av. En ste caso, decimos que v
genera al A-mdulo V.
Considerando sta definicin, ntese que, si v genera a V como espacio vectorial, entonces lo genera como A-mdulo, pero el recproco no necesariamente es cierto.
Ejercicios 1.3
1.3.1 Demuestra la afirmacin del ejemplo 1.11.
13
1.4. Submdulos y morfismos de mdulos

1.3.3 Sea V un A-mdulo. Demuestra que el conjunto:
anA V = { a A | av = 0 para todo v V } = { a A | aV = 0 }
(1.17)
es un ideal de A, llamado el anulador de V. Demuestra adems que A/anA V es un lgebra

isomorfa a AV .
1.3.4 Sea I un ideal de A con I 6= A, de modo que A/I es un lgebra. Demuestra que existe una
correspondencia biyectiva entre los A/I-mdulos y los A-mdulos anulados por I.
1.3.5 Encuentra tres sublgebras de M2 (R) isomorfas a R R, C, R[x]/(x2 ), respectivamente.
1.3.6 Sean F un campo y X es un G-conjunto transitivo. Demuestra que FX es un FG-mdulo cclico,
generado por cualquier x X.
1.4.
Submdulos y morfismos de mdulos
1.13 Definicin.
Sean V, W mdulos sobre el F-lgebra A. Un morfismo de A-mdulos (o A-morfismo)

: V W es una transformacin lineal tal que (av) = a(v) para todos a A,
v V.
1.14 Definicin.
Sea V un A-mdulo. Un submdulo de V es un subespacio W de V que es invariante

bajo la accin de A, es decir, av W para todos v W, a A, tal que W junto con
la accin de A es en s mismo un A-mdulo. Escribiremos en ste caso W 6 V.
Daremos ahora algunos ejemplos de submdulos.

Ejemplo
1.15
Si V es cualquier A-mdulo, entonces {0} y V son submdulos de V. Cualquier otro submdulo

se llama un submdulo propio.
Ejemplo
1.16
Si V es un mdulo sobre A = F, es decir, un espacio vectorial, sus submdulos son precisamente

sus subespacios.
14
Captulo 1. lgebras
1.17
Ejemplo
Los submdulos de A A se pueden identificar con los ideales izquierdos de A.
1.18
Ejemplo
El mdulo V = Fn sobre el lgebra A = Mn (F) definido en el ejemplo 1.11 no tiene submdulos

propios.
1.19
Ejemplo
Si V es un mdulo del lgebra F[x] como en el ejemplo 1.12, entonces los submdulos de V son
precisamente sus subespacios invariantes bajo T , es decir, W 6 V si y slo si T (W) W.
1.20
Ejemplo
Si G es un grupo, sea V = FX un FG-mdulo obtenido a partir del G-conjunto X, como en el

ejemplo 1.13. Si Y X es un sub-G-conjunto de X, entonces FY es un submdulo de FX. Sin em P

bargo, no todos los submdulos de FX son de sa forma, por ejemplo W = xX x | F
es tambin un FG-submdulo de FX.
1.21
Ejemplo
2
Consideremos el mdulo V = F del ejemplo 1.14, el cual es un mdulo sobre A = FG donde F

es el campo de p elementos y G es el grupo cclico de orden p donde p es un primo. Queremos
determinar si V tiene algn submdulo propio. Como V tiene dimensin 2, un submdulo
propio W deber
tener dimensin 1, es decir, sera generado por un elemento diferente de

cero w = yx . Para que W fuera un A-mdulo se necesitara que para todo a A exista a F
tal que aw = a w. De hecho es suficiente verificarlo para las a G, de donde la condicin
queda: para todo r = 0, 1, . . . , p 1 existe r F tal que:

x
x
1 0
r x
g
=
= r
,
(1.18)
r 1
y
y
y

x
de donde se obtiene rx+y
= rr yx . Por lo tanto, obtenemos que r = 1 para toda r y x = 0,

0
de donde el nico A-submdulo propio de V es
|yF .
y
Si W es submdulo de V, entonces en el espacio vectorial cociente V/W puede darse

una accin de A como a(v + W) = av + W, la cual est bien definida (pues W es Ainvariante), y satisface los axiomas de mdulo sobre A, por lo que obtenemos una estructura de A-mdulo en V/W llamada mdulo cociente.
1.4. Submdulos y morfismos de mdulos
15
Tenemos los teoremas de isomorfismo para A-mdulos. . .

1.15 Teorema.
Sea : V W un morfismo de A-mdulos. Entonces

1. ker = { a V | (a) = 0 } es un submdulo de V,
2. im = { (a) W | a V } es un submdulo de W,
3. El mdulo cociente V/ker es isomorfo a im por medio de v + ker 7 (v).
. . . as como el teorema de correspondencia:

1.16 Teorema.
Sea : V W un morfismo de A-mdulos. Entonces existe una correspondencia

biyectiva entre los submdulos de im y los submdulos de V que contienen a ker .
En particular, si W es submdulo de V, considerando la proyeccin cannica V

V/W, se obtiene que existe una correspondencia biyectiva entre los submdulos de V/W
y los submdulos de V que contienen a W.
1.17 Proposicin.
Sea V es un A-mdulo. Entonces la interseccin de cualquier coleccin de submdulos

de V es un submdulo de V.
1.18 Definicin.
Sean V un A-mdulo y X V. La interseccin de todos los submdulos de V que

contienen a X se llama el submdulo generado por X, y se denota por hXi. Si V = hXi,
decimos que X genera a V. Si X es finito y V = hXi, decimos que V es finitamente
generado.
Dados V y W que sean A-mdulos, es posible formar un tercer A-mdulo a partir de

la suma directa V W, definiendo la accin como a(v, w) = (av, aw). Podemos incluso
extender por induccin esta definicin a cualquier cantidad finita de A-mdulos.
Por otro lado, si V es un A-mdulo y W1 , W2 son submdulos, la interseccin de todos
los submdulos de A que contienen a W1 W2 es un submdulo de V por la proposicin 1.17, que se llama la suma de W1 y W2 y se denota con W1 + W2 . sta definicin
se
P
puede extender a una coleccin arbitraria {Wi }iI de submdulos de A, es decir, iI Wi
es la interseccin
de todos los submdulos de V que contienen a iI Wi . En el caso de
P
que V = iI Wi , decimos que V est generado por los submdulos {Wi }.
16
Captulo 1. lgebras
En el caso de que W1 , W2 son submdulos de V con W1 W2 = 0, tenemos que la suma

de W1 y W2 es isomorfa a W1 W2 . Si adems se tiene que V = W1 + W2 , decimos que
W2 es complemento directo de W1 . Generalizando a una cantidad finita de submdulos
de V, tenemos la siguiente proposicin.
1.19 Proposicin.
Sean W1 , W2 ,. . . ,Wt submdulos del A-mdulo V. Si se tiene que Wj (W1 + +

Wj1 + Wj+1 + + Wt ) = 0 para todo j = 1, . . . , t, entonces W1 + W2 + + Wt
es isomorfo a la suma directa W1 W2 Wt .
En el caso de la hiptesis de la proposicin anterior, diremos que la suma W1 + W2 +

+ Wt es directa.
La siguiente proposicin nos ser muy til en el futuro.
1.20 Proposicin.
Supongamos que V es un A-mdulo que tiene un A-submdulo W y un morfismo de

A-mdulos : V V tal que (v) W para todo v V y (w) = w para todo
w W. Entonces V = W ker . (En este caso, se dice que el morfismo es la
proyeccin en el submdulo W.)
Demostracin. Notemos que las hiptesis implican que 2 (v) = v para todo v V.
Ahora, si v V, tenemos que v = (v) + (v (v)), donde (v) W y v (v) ker ,
por lo que V = W + ker . Finalmente, si v W ker , tenemos que v = (v) = 0, de
donde W ker = 0, por lo que se demuestra que V = W ker .
Ejercicios 1.4
1.4.1 Verdadero o falso? Si V es sublgebra de A entonces V es submdulo de A A.
1.4.2 Verdadero o falso? Sea V un A-mdulo, donde A es de dimensin finita. Entonces dim V es de
dimensin finita si y slo si V es finitamente generado (como A-mdulo).
1.4.5 En
el contexto del
ejemplo 1.20, demuestra que si Gx es la rbita de x X, entonces T =
P
yGx y | F es un FG-submdulo de FX.
1.4.6 Demuestra que si V es un A-mdulo y W 6 V, entonces el A-mdulo cociente V/W satisface
que la funcin V V/W dada por v 7 v + W es un morfismo de A-mdulos.
1.4.7 Demuestra el teorema 1.15.
17
1.5. Mdulos simples y semisimples

1.4.8 Demuestra que si V y W son A-mdulos isomorfos, entonces anA V = anA W.
1.4.9 Demuestra el teorema 1.16
1.4.11 Demuestra que si W1 , . . . , Wn son submdulos de V, entonces
n

n
X
X
Wi =
xi V | xi Wi .
i=1
(1.19)
i=1
1.4.12 Si V es un A-mdulo y v V, entonces anA v = { a A | av = 0 } es un submdulo de A A.

1.4.13 Si A es un lgebra y a A, la funcin a :
A-mdulos.
AA
AA
dada por a (x) = xa es un morfismo de
1.4.14 Determina los submdulos de A A, donde A = R[x]/(x2 ).
1.5.
Mdulos simples y semisimples

De aqu en adelante, aunque no se mencione explcitamente, todos los mdulos y todas
las lgebras sern de dimensin finita.
1.21 Definicin.
Sea A una F-lgebra y V un A-mdulo no trivial. Decimos que V es simple (o irreducible) si los nicos submdulos de V son 0 y V.
Por ejemplo, si V es un mdulo de dimensin 1, entonces V es simple. El mdulo del

ejemplo 1.18 tambin es simple.
1.22 Teorema.
(Lema de Schur) Si V y W son A-mdulos simples, y : V W es un A-morfismo no

trivial, entonces es un isomorfismo.
Demostracin. Tenemos que ker es un submdulo de V. Como es no trivial, ker

no puede ser igual a V, pero como V es simple, tenemos que ker = 0, por lo que
es inyectiva. Similarmente, im es un submdulo de W diferente de 0, por lo tanto,
im = W y entonces es suprayectiva.
Observemos adems que, si M es un A-mdulo simple y es un morfismo de Amdulos con dominio M, entonces im es cero o isomorfo a M, pues im es un cociente
de M por uno de sus submdulos.
18
1.23 Lema.
Captulo 1. lgebras
Sea V un A-mdulo con submdulos simples W1 , W2 , . . . , Wt tales que V = W1 +W2 +

+ Wt . Si T es cualquier submdulo de V, existe un subconjunto I de {1, 2, . . . , t}
tal que la suma de T y los Wi con i I es directa e igual a V.
Demostracin. Escojamos un subconjuntoPI de {1, 2, . . . , t} que sea maximal con respecto

a la condicin de que la suma V 0 = T + iI Wi 6 V es directa. Como I = tiene tal
propiedad, tal subconjunto maximal existe. Mostraremos que V 0 = V. Si no fuera as,
entonces existira j I tal que Wj 66 V 0 (si Wj 6 V 0 para toda j, entonces V 0 = V, pues V
est generado por las Wj ). Entonces Wj V 0 es un submdulo de Wj diferente de Wj , y
como Wj es simple, tenemos que Wj V 0 = 0. Por lo tanto, la suma Wj + V 0 esPdirecta,
pero sto contradice la maximalidad de I. Por lo tanto, V 0 = V y la suma V = T + iI Wi
es directa.
1.24 Corolario.
Si V es un A-mdulo generado por submdulos simples, entonces1

1. para todo T 6 V existe un complemento directo T 0 ,
2. V es suma directa de mdulos simples.
Demostracin.
P Para el primer enunciado, aplicar la demostracin del lema anterior y
tomar T 0 = iI Wi . Para el segundo enunciado, aplicar el lema con T = 0.
1.25 Definicin.
Sea V un A-mdulo.
1. Decimos que V es semisimple si V es suma directa de submdulos simples.
2. Decimos que V es completamente reducible si todo submdulo de V tiene un
complemento directo.
Claramente, si V y W son A-mdulos semisimples, entonces V W es semisimple.

Tambin es claro que cualquier mdulo simple es semisimple.
1.26 Lema.
Si V es un A-mdulo completamente reducible y W 6 V, entonces W es completamente reducible.
19
1.5. Mdulos simples y semisimples
1.27 Teorema.
Sea V un A-mdulo. Los siguientes enunciados son equivalentes:

1. V es semisimple.
P
2. V = jJ Wj , donde cada Wj es un submdulo simple de V.
3. V es completamente reducible.
Demostracin. Si V es semisimple, entonces V es isomorfo a una suma directa de submdulos simples, en particular est generado por submdulos simples.
Si V est generado por submdulos simples, entonces es completamente reducible por
el corolario 1.24.
Supongamos ahora que V es un A-mdulo completamente reducible, queremos mostrar
que es semisimple. Usaremos induccin sobre dim V. Si dim V = 0, entonces V es una suma
directa vaca de mdulos simples. Supongamos entonces dim V > 0 y que la implicacin
es vlida para A-mdulos completamente reducibles de dimensin menor a dim V. Si V
es simple, entonces es semisimple con un solo sumando directo. Si no es simple, tiene
un submdulo propio W, y como V es completamente reducible, existe W 0 6 V tal que
V = W W 0 . Pero W y W 0 son mdulos completamente reducibles por el lema 1.26, y de
dimensin menor a dim V, por lo tanto son semisimples, de donde V es semisimple.
Ejemplo
1.22
El mdulo del ejemplo 1.21 no es semisimple, pues no es simple, tiene dimensin 2 y un nico
submdulo propio. Es decir, no es generado por submdulos simples.
1.28 Corolario.
Si V es un A-mdulo semisimple, cualquier submdulo y cualquier cociente de V es

semisimple.
1.29 Definicin.
Sea A una F-lgebra. Decimos que A es un lgebra semisimple si A A es semisimple.
1.30 Proposicin.
El lgebra A es semisimple si y slo si cualquier A-mdulo es semisimple.
20
Captulo 1. lgebras
Si V y W son A-mdulos, denotaremos con homA (V, W) el conjunto de A-morfismos
de V en W. Claramente puede darse una estructura de F-espacio vectorial a tal conjunto, y
si W = V, existe adems un producto en homA (V, V) dado por la composicin. Con tales
operaciones, homA (V, V) es una F-lgebra, y de hecho una sublgebra de L(V).
Para terminar sta seccin veremos unas consecuencias ms del lema de Schur.
1.31 Corolario.
Sea F un campo algebraicamente cerrado, y V un A-mdulo simple. Entonces el lgebra homA (V, V) es isomorfa a F.
Demostracin. Mostraremos que cualquier elemento de homA (V, V) es un mltiplo escalar de la identidad 1V : V V. Sea homA (V, V). Como es en particular una
transformacin lineal V V sobre F que es algebraicamente cerrado, tiene un valor propio y un vector propio v. Consideremos la transformacin lineal 1V : V V.
Como ( 1V )(v) = 0 con v 6= 0, tal transformacin es un morfismo no invertible entre
A-mdulos simples, por lo que debe ser trivial, de donde 1V = 0, es decir, = 1V .
Claramente la funcin homA (V, V) F dada por 7 es un morfismo de lgebras.
En el caso de que F no sea algebraicamente cerrado pero V es un A-mdulo simple, lo
que se obtiene es que cualquier elemento diferente de cero en homA (V, V) es invertible, es
decir, homA (V, V) es un lgebra con divisin.
Ejercicios 1.5
1.5.1 Verdadero o falso? Si A no es semisimple, entonces ningn A-mdulo es semisimple.
1.5.2 Verdadero o falso? Si A es un lgebra simple, entonces A A es un A-mdulo simple.
1.5.3 Verdadero o falso? Cualquier mdulo simple es cclico.
1.5.4 Demuestra la ley modular: Sea V un A-mdulo tal que V = W1 W2 . Sea T un submdulo de
V tal que W1 6 T . Entonces T = W1 (W2 T ). Da un ejemplo que muestre que la hiptesis
W1 6 T es necesaria.
1.5.5 Demuestra el lema 1.26.
1.5.6 Demuestra el corolario 1.28.
1.5.7 Sea V = ti=1 A A. Muestra que V es un A-mdulo libre en su subconjunto X = {e1 = (1A , 0, 0, . . . , 0), e2 =
(0, 1A , 0, . . . , 0), . . . , et = (0, 0, 0, . . . , 0, 1A )} en el sentido de que si W es cualquier A-mdulo
y w1 , w2 , . . . , wt W son elementos no necesariamente distintos, existe un nico A-morfismo
: V W tal que (ei ) = wi para todo i = 1, 2, . . . , t.
1.6. El teorema de Weddeburn
21

1.5.9 Sea V un A-mdulo. Demuestra que Z(AV ) = AV homA (V, V).
1.5.10 Sea I un ideal de A tal que I 6= A. Demuestra que la correspondencia entre los A/I-mdulos
y los A-mdulos anulados por I del ejercicio 1.3.4 preserva submdulos simples y submdulos
semisimples.
1.5.11 Demuestra que R[x]/(x2 ) no es una R-lgebra semisimple.
1.5.12 Demuestra la ltima afirmacin de la seccin, esto es, si V es un A-mdulo simple donde A es
una F-lgebra y F no es necesariamente algebraicamente cerrado, entonces homA (V, V) es un
lgebra con divisin. Basta mostrar que si homA (V, V), entonces la inversa de (como
transformacin lineal), que existe por el lema de Schur, es tambin un A-morfismo.
1.6.
El teorema de Weddeburn
1.32 Definicin.
Sea V un A-mdulo semisimple y M un A-mdulo simple. Denotaremos con M(V) al

submdulo de V generado por todos los submdulos de V isomorfos a M.
Claramente, si N es un A-mdulo isomorfo a M, entonces M(V) = N(V). Si V no

tiene submdulos isomorfos a M, definimos M(V) = 0.
1.33 Lema.
Sea V un A-mdulo semisimple, V = ti=1 Wi donde los Wi son A-mdulos simples.

Sea M un A-mdulo simple. Entonces:
1. El submdulo M(V) 6 V es invariante bajo cualquier homA (V, V), es decir,
(M(V)) 6 M(V).
2. M(V) est generado por aquellos Wi que son isomorfos a M.
3. La cantidad de mdulos Wi que son isomorfos a M depende solamente de V y
no de la descomposicin en suma directa escogida.
Demostracin. Sea homA (V, V). Basta mostrar que si M0 6 V es isomorfo a M,

entonces (M0 ) 6 M(V). Pero sto se sigue del hecho de que (M0 ) es cero o isomorfo a
M.
Por definicin, el submdulo de V generado por los Wi que son isomorfos a M (de Mi) est contenido en M(V), el objetivo es mostrar que es
notmoslo con hWi | Wi =
22
Captulo 1. lgebras
exactamente M(V). Dado 1 6 j 6 t, sea pj la proyeccin de V en el sumando directo Wj ,

la cual es claramente un A-morfismo. Sea M0 6 V isomorfo a M. Entonces pj (M0 ) es Wj
Mi para toda j, de donde se obtiene:
o cero, de donde pj (M0 ) 6 hWi | Wi =
M0 6
t
X
Mi,
pj (M0 ) 6 hWi | Wi =
(1.20)
j=1
Mi, como queramos demostrar.

y por lo tanto M(V) 6 hWi | Wi =
Finalmente, si s es la cantidad de mdulos Wi que son isomorfos a M, se tiene del
prrafo anterior que dim M(V) = s dim M, de donde s no depende de la descomposicin
escogida.
1.34 Lema.
Sea A una F-lgebra. Entonces cualquier A-mdulo simple es isomorfo a un mdulo

cociente de A A. Si A es semisimple, cualquier A-mdulo simple es isomorfo a un
submdulo de A A.
Demostracin. Si V es un A-mdulo simple, tomemos 0 6= v V y definimos : A A V

como (x) = xv. Claramente es F-lineal y si a A, entonces (ax) = (ax)v = a(xv) =
a(x), por lo que es un A-morfismo. Como 0 6= v im 6 V y V es irreducible,
tenemos que im = V, de donde V es isomorfo al cociente A A/ker . Si A A es semisimple,
existe T 6 A A con A A = T ker , de donde V es isomorfo a T .
Dada una F-lgebra A, denotaremos con S(A) una clase de A-mdulos simples tal que
si M es cualquier A-mdulo simple, entonces M es isomorfo a exactamente un mdulo
en S(A). (Es decir, S(A) es un conjunto de representantes de las clases de isomorfismo de
A-mdulos simples). Por el lema 1.34, si A es semisimple, podemos construir el conjunto S(A) mirando nicamente a submdulos de A A. Tenemos el siguiente corolario de el
lema 1.33.
1.35 Corolario.
Si V es un A-mdulo semisimple, entonces

V = MS(A) M(V).
(1.21)
Demostracin. Escribamos V = W1 Wt , donde los Wi son simples. Para cada

M S(A), los Wi que son isomorfos a M generan exactamente a M(V).
23
En particular, obtenemos que si M, N son A-mdulos simples no isomorfos, entonces

M(V)N(V) = 0. Tambin se deduce que si A es semisimple, entonces S(A) es un conjunto
finito2 , pues considerando V = A A, tenemos que M(A A) 6= 0 para cada M S(A) (por el
lema 1.34). Del corolario 1.35 se obtiene que A A = MS(A) M(A A), y entonces S(A) es
finito pues A A es de dimensin finita.
1.36 Teorema.
Sea A un lgebra semisimple y sea M un A-mdulo simple. Entonces:

1. M(A A) es un ideal minimal de A.
2. Si W es un A-mdulo simple, entonces M(A A) anula a W a menos que W sea
W implica M(A A) 6 anA W).
isomorfo a M (es decir, M 6=
3. La restriccin de la funcin A L(M), x 7 xM a M(A A) 6 A es inyectiva y
sobre AM .
Demostracin. Demostraremos primero que M(A A) es un ideal. Puesto que M(A A) 6

A A, tenemos que es un ideal izquierdo. Por otro lado, para todo a A, la funcin
a : A A A A dada por a (x) = xa es un morfismo de A-mdulos. Puesto que M(A A)
es invariante bajo A-morfismos, tenemos que a (M(A A)) 6 M(A A), esto es M(A A)a 6
M(A A), y por lo tanto, tambin M(A A) es ideal derecho. La minimalidad ser mostrada
en el ltimo prrafo.
Sea W un A-mdulo simple que no es isomorfo a M. Entonces M(A A) W(A A) = 0,
por lo que M(A A)W(A A) M(A A) W(A A) = 0, ya que W(A A) y M(A A) son ideales.
Por el lema 1.34, W es isomorfo a cierto W0 6 A A, de donde W0 6 W(A A), y por lo
tanto M(A A) anula a W0 . Como W es isomorfo a W0 , tenemos que W y W0 tienen el
mismo anulador, por lo que M(A A) anula a W como queramos demostrar.
Por el prrafo anterior, se tiene que aW : W W es la transformacin lineal cero si
a M(A A) y M =
6 W. Por lo tanto, de la descomposicin A A = MS(A) M(A A) se
obtiene que, dado x A, si a M(A A) es la componente de x bajo tal descomposicin,
entonces xM = aM . De aqu se deduce entonces que la funcin a 7 aM es sobre de
M(A A) en AM . Ahora, si a M(A A) y aM = 0, entonces a anula a M y a todos los
dems A-mdulos simples, por lo tanto anula a todos los A-mdulos semisimples. En
particular, anula a A A, por lo que a = a1A a(A A) = 0.
Finalmente, supongamos I < M(A A) un ideal de A. Puesto que M(A A) est generado
por los submdulos de A A isomorfos a M, debe existir M0 6 A A isomorfo a M tal que
M0 6 I. Como I M0 es entonces un submdulo de A A contenido propiamente en M0 y
M0 es simple, tenemos que I M0 = 0. Pero entonces IM0 I (pues I es ideal) e IM M0 ,
pues M0 es submdulo. Por lo tanto, IM0 I M0 = 0, es decir, I anula a M0 y en
2 FiXme: conviene buscar una demostracin de este hecho para el caso de que A no sea semisimple aunque si
de dimensin finita, sin usar Jordan-H.older
24
Captulo 1. lgebras
consecuencia, tambin a M. Por lo que, para x I, se tiene que xM = 0. Pero x 7 xM

era inyectivo para x M(A A) y por lo tanto, x = 0, de donde I = 0, como queramos
demostrar.
1.37 Corolario.
Si A es semisimple y M S(A), entonces M(A A) es un lgebra, donde 1M(A A) es

la componente de 1A en M(A A) con respecto a la descomposicin en suma directa
A A = MS(A) M(A A).
Demostracin. Tenemos ya que M(A A) es cerrado bajo sumas, productos y productos por
escalares, por ser un ideal de A. Para que sea lgebra basta mostrar que existe un neutro
multiplicativo 1M(A A) M(A A). Supongamos S(A) = {M1 , M2 , . . . , Mr } con M = M1 ,
y sea 1A = e1 + e2 + + er la expresin de 1A con respecto a la descomposicin A A =
ri=1 Mi (A A), (es decir, ei Mi (A A)). Mostraremos que e1 = 1M(A A) . Sea m M(A A).
Entonces m = 1A m = e1 m+e2 m+ +er m. Por el teorema 1.36.2, tenemos que ei m = 0
si i > 2, de donde m = e1 m. Similarmente se demuestra que m = me1 .
Usando ahora el teorema 1.36.3 obtenemos que x 7 xM es un isomorfismo de lgebras
M(A A) AM .
1.38 Corolario.
Si A es semisimple y M S(A), entonces M(A A) es un lgebra simple.
Demostracin. Sea I < M(A A) un ideal. Tomemos x I y a A. Sea S(A) = {M1 , M2 , . . . , Mr },

supongamos M = M1 y sea a = a1 + a2 + + ar la expresin de a donde ai Mi (A A).
Nuevamente por el teorema 1.36.3, se obtiene que ai x = 0 si i > 2, de donde ax = a1 x
I, es decir, I es un ideal izquierdo de A. Similarmente se puede mostrar que I es un ideal
derecho de A, y como M(A A) es un ideal minimal de A por el teorema 1.36.1, se obtiene
que I = 0.
1.39 Corolario.
(Weddeburn) Si A es un lgebra semisimple, entonces es suma directa de lgebras

simples.
1.40 Lema.
Sea A un lgebra semisimple y M un A-mdulo simple. Sea D = homA (M, M).

Entonces M es de modo natural un D-mdulo (ver ejemplo 1.10) y homD (M, M) =
AM .
Demostracin. Sin prdida de generalidad podemos suponer que M 6

M(A A), de modo que M 6 I.
A A.
Sea I =
25
Si D y m M, la accin m es simplemente evaluado en m. Ahora, si : M

M est en AM , entonces existe a A tal que es multiplicacin por a, es decir, (m) =
am. Entonces (m) = a(m) = (am) = (m), por lo que es un D-morfismo,
esto es homD (M, M). Mostraremos ahora la inclusin inversa.
Sea homD (M, M). Si x A y m M, entonces xm M, pues M es ideal
izquierdo en A, por lo que la funcin m : M M dada por m (x) = xm est bien
definida. Para a A y x M tenemos que m (ax) = (ax)m = a(xm) = am (x), por lo
que m homA (M, M) = D. Es decir, si m, n M tenemos que
(nm) = (m (n)) = m ((n)) = (n)m.
(1.22)
P Ahora, fijemos n 6= 0 en M. Tenemos que el conjunto de elementos de la forma

ai nbi , donde ai , bi A es un ideal no cero de A (pues n 6= 0), contenido en I (pues
n I, el cual es un ideal bilateral), por lo tanto, es igual a I. En particular,
P si e es el
elemento unitario en el lgebra I, existen elementos ai , bi A tales que e =
ai nbi , de
donde, si m M, se tiene:
X
X
m = em = (
ai nbi )m =
(ai n)(bi m)
(1.23)
Dado que ai n, bi m M para toda i, la ecuacin (1.22) nos da, para homD (M, M),
que:
X
X
X
(m) =
((ai n)(bi m)) =
((ai n))(bi m) = (
(ai n)bi )m
(1.24)
P
por lo que, si ponemos u =
(ai n)bi A, tenemos que (m) = uM (m), es decir
= uM AM , como queramos demostrar.
1.41 Teorema.
Sea A una F-lgebra semisimple donde F es algebraicamente cerrado. Sea M un Amdulo simple y sea nM (A) la cantidad de submdulos isomorfos a M en una descomposicin de A A en A-mdulos simples. Entonces:
1. AM = L(M),
2. dim AM = dim M(A A) = (dim M)2 ,
3. nM (A) = dim M,
P
4. dim A = MS(A) (dim M)2 ,
5. |S(A)| = dim Z(A).
Demostracin. El corolario 1.31 implica que D = homA (M, M) es isomorfa como Flgebra a F, por lo que el lema 1.40 nos dice que AM = homF (M, M) = L(M).
26
Captulo 1. lgebras
Sea d = dim M. Por lgebra lineal sabemos que dim L(M) = d2 = dim AM , y ya
sabamos por la observacin posterior al corolario 1.38, que M(A A) es isomorfa a AM
como lgebras, por lo que tienen la misma dimensin.
Sabemos que M(A A) es una suma directa de nM (A) copias de M, por lo que d2 =
dim M(A A) = nM (A) dim M = dnM (A), de donde nM (A) = d.
La siguiente afirmacin es inmediata de tomar dimensiones en la descomposicin A A =
MS(A) M(A A).
Finalmente, notemos que de la descomposicin de A en lgebras simples
A = MS(A) M(A A) = MS(A) AM ,
(1.25)
se obtiene que Z(A) es isomorfo a MS(A) Z(AM ). Ahora,

Z(AM ) = AM homA (M, M) = AM F = F,
(1.26)
por lo que dim Z(AM ) = 1, de donde dim Z(A) = |S(A)|.
Ejercicios 1.6
1.6.1 Demuestra la primer desigualdad en (1.20).
1.7.
El radical de un lgebra
1.42 Definicin.
Sea A una F-lgebra (no necesariamente semisimple, pero de dimensin finita). Definimos el radical de A, rad A, como:
rad A = MS(A) anA M.
Tenemos que rad A es un ideal de A pues es una interseccin de ideales de A.
(1.27)
27
1.7. El radical de un lgebra
1.43 Definicin.
Sean A un lgebra, V un A-mdulo y W 6 V. Decimos que W es un submdulo

maximal de V si para todo submdulo V 0 de V tal que W 6 V 0 6 V se tiene que
V 0 = W V 0 = V.
Por ejemplo, si V es un A-mdulo simple, entonces 0 es un submdulo maximal de V.

Mas an, como consecuencia del teorema de correspondencia se obtiene que el submdulo
W de V es maximal si y slo si W/V es simple.
1.44 Definicin.
Sea V un A-mdulo. Una serie de composicin es una sucesin de A-submdulos de

V:
0 = V0 6 V1 6 6< Vn1 6 Vn = V,
(1.28)
tal que Vi /Vi1 es simple para i = 1, . . . , n.
No es difcil demostrar que todo A-mdulo (de dimensin finita) tiene una serie de
composicin.
En la siguiente definicin, usaremos la notacin introducida en (1.8).
1.45 Definicin.
Sea N un ideal de A. Decimos que N es un ideal nilpotente de A si existe un nmero

natural n tal que In = 0.
Es decir, I es nilpotente si existe n tal que x1 x2 xn = 0 para todos x1 , x2 , . . . , xn N.

Notemos que, si I y J son ideales nilpotentes de A, entonces I + J tambin es un ideal
nilpotente. Primero, I + J es un ideal pues ideales corresponden a submdulos (izquierdos
y derechos). Supongamos que Im = 0 y que Jn = 0. Ahora, si tenemos elementos xi I,
yi J, para i = 1, . . . , m + n, entonces el elemento:
(x1 + y1 ) (xm+n + ym+n )
(1.29)
es una suma de 2m+n trminos, cada uno con al menos m factores en I, o bien al menos
n factores en J. Pero tanto I como J son ideales, por lo que en cada sumando de (1.29)
hay al menos m factores consecutivos de I o al menos n actores consecutivos de J. Por lo
tanto, cada expresin de la forma (1.29) es cero, de donde (I + J)m+n = 0, es decir, I + J
es nilpotente. De aqu se deduce que cada lgebra tiene un ideal nilpotente mximo.
28
1.46 Definicin.
Captulo 1. lgebras
Sea V un espacio vectorial sobre F. Una funcin f : V V F es una forma bilineal

si cumple que f(v + v0 , w) = f(v, w) + f(v0 , w) y f(v, w + w0 ) = f(v, w) + f(v, w0 )
para todos F, v, v0 , w, w0 V. Si la forma bilineal f es fija, denotaremos a f(v, w)
simplemente como (v, w). La forma bilineal es simtrica si (v, w) = (w, v) para todos
v, w V. El radical de una forma bilineal simtrica es el subespacio:
R = { w W | (v, w) = 0 para todo v V } .
(1.30)
Dada un lgebra A y elementos a, b A, definimos (a, b)A F como:

(a, b)A = tr(aA bA : A A)
(1.31)
donde tr denota la traza de una transformacin lineal. Las propiedades de la traza implican
que la forma bilineal dada por (1.31) es simtrica.
Con stas definiciones, podemos enunciar el teorema:
1.47 Teorema.
Si A es un lgebra, el radical de A es igual a cada uno de los tres siguientes:

1. El ideal nilpotente mximo de A.
2. El submdulo ms pequeo de A A con cociente semisimple.
3. La interseccin de los submdulos maximales de A A.
4. El radical de la forma bilineal (1.31).
Demostracin. Llamemos N al ideal nilpotente mas grande en A. Sea M un A-mdulo

simple. Sea I cualquier ideal nilpotente. Puesto que IM es un submdulo de M, entonces
IM = 0 o bien IM = M. Pero si IM = M, entonces Ir M = M para toda r, lo que
contradice que I es nilpotente. Por lo tanto, IM = 0, es decir, I 6 anA M, de donde se
deduce que N 6 rad A. Para la inclusin contraria, consideremos
0 = A0 < A1 6 6 An1 < An = A A
(1.32)
una serie de composicin del mdulo regular A A. Como rad A anula a todos los Amdulos simples, tenemos (rad A)(Ai /Ai1 ) = 0 para i = 1, . . . , n, es decir (rad A)Ai 6
Ai1 para i = 1, . . . , n, de donde se llega a que (rad A)n A 6 0, es decir (rad A)n = 0, por
lo que rad A es nilpotente y entonces rad A = N.
1.7. El radical de un lgebra
1.48 Corolario.
29
Si A es un lgebra, entonces:
1. A/rad A es un lgebra semisimple.
2. A es semisimple si y slo si rad A = 0.
1.49 Corolario.
Sea A una F-lgebra simple donde F es algebraicamente cerrado. Entonces A es isomorfa a Mn (F), para alguna n.
Demostracin. 3 .
Ejercicios 1.7
1.7.1 Sean A un lgebra, V un A-mdulo y W un submdulo de A. Demuestra que W es un submdulo
maximal si y slo si W/V es un A-mdulo simple.
1.7.2 Demuestra que todo A-mdulo (de dimensin finita) tiene una serie de composicin.
3 FiXme:
Poner demostracin
30
Captulo 1. lgebras
2
lgebras de grupo y sus mdulos
2.1.
El producto tensorial
Antes de especializarnos en representaciones de lgebras de grupo, necesitamos una
importante definicin de lgebra lineal.
2.1 Definicin.
Sean V, W y Z espacios vectoriales sobre F. Una funcin f : V W Z es bilineal si

cumple que f(v + v0 , w) = f(v, w) + f(v0 , w) y f(v, w + w0 ) = f(v, w) + f(v, w0 )
para todos F, v, v0 V, w, w0 W.
Es decir, una funcin f : V W Z es bilineal si y slo si f( , w) : V Z y f(v, ) : W

Z son lineales para todos v V, w W.
2.2 Definicin.
Sean V y W espacios vectoriales sobre F. Un producto tensorial de V y W es un Fespacio vectorial T junto con una funcin bilineal t : V W T , tal que, si t0 : V
W T 0 es cualquier funcin bilineal, existe una nica transformacin lineal l : T T 0
tal que l t = t0 .
2.3 Proposicin.
Si V y W son espacios vectoriales sobre F, existe su producto tensorial y es nico salvo

isomorfismo.
31
32
Captulo 2. lgebras de grupo y sus mdulos
Demostracin. Sea F[V W] el F-espacio vectorial con base todos los elementos de V W.
Sea S el subespacio de F[V W] generado por:
{ (v + v0 , w) (v, w) (v0 , w) | v, v0 V, w W }
{ (v, w + w0 ) (v, w) (v, w0 ) | v V, w, w0 W }
{ (v, w) (v, w) | F, v V, w W }
{ (v, w) (v, w) | F, v V, w W } (2.1)
Tomemos T como el cociente F[V W]/S y sea t : V W T la composicin de la
inclusin de V W en F[V W] con la proyeccin cannica en el cociente. Entonces t es
bilineal, pues si F, v, v0 V, w W, tenemos que t(v + v0 , w) = (v + v0 , w) + S y
t(v, w) + t(v0 , w) = ((v, w) + S) + (v0 , w) + S
= ((v, w) + S) + (v0 , w) + S
= ((v, w) + S) + (v0 , w) + S
= (v, w) + (v0 , w) + S
= (v + v0 , w) + S.
(2.2)
(2.3)
(2.4)
(2.5)
(2.6)
y similarmente se obtiene que t(v, w + w0 ) = t(v, w) + t(v, w0 )

Ahora, sea t0 : V W T 0 bilineal. Entonces t0 puede extenderse de manera nica a
una transformacin lineal t 0 : F[V W] T 0 . Como t0 es bilineal, tenemos que t 0 (S) = 0
(puesto que todos los generadores de S dados en (2.1) son enviados a cero por t0 ), por lo
que existe l : F[V W]/S = T T 0 completando el siguiente diagrama:
/ 0
q8 A T
q
q
t 0 qqq
q
q
q
qq
F[V W]
l

T = F[V W]/S
V W
t0
(2.7)
Puesto que t es precisamente la composicin de las funciones verticales, tenemos que t0 =

lt, como queramos. Adems l es nica con la propiedad de que t0 = lt, ya que la imagen
de t contiene a los generadores de T (es decir, si existiera l : T T 0 que t0 = l t = l t,
entonces l y l coincidiran en un conjunto de generadores de T y por lo tanto, l = l).

Finalmente, si T 0 junto con la funcin bilineal t0 : V W T 0 es otro producto tensorial
de V y W, entonces existen nicas transformaciones lineales l : T T 0 y l0 : T 0 T tales
que t0 = l t y t = l0 t0 , de donde se tiene que t0 = (l l0 ) t0 . Por otro lado, por ser t0
un producto tensorial, la funcin lineal s : T 0 T 0 tal que t0 = s t0 es nica, y claramente
la identidad 1T 0 : T 0 T 0 lo satisface, por lo que 1T 0 = l l0 . Similarmente se prueba que
1T = l0 l, por lo que T y T 0 son espacios vectoriales isomorfos.
33
2.1. El producto tensorial
Denotaremos al nico (salvo isomorfismo) producto tensorial de V y W como V W.

Si t : V W V W es la funcin bilineal de la definicin, denotamos a t(v, w) como
v w. Puesto que t es bilineal, tenemos las siguientes igualdades:
(v + v0 ) w = v w + v0 w,
v (w + w0 ) = v w + v w0 ,
(v w) = v w = v w,
(2.8)
(2.9)
(2.10)
para todos F, v, v0 V, w, w0 W.
2.4 Proposicin.
Sean V y W espacios vectoriales. Si {v1 , v2 , . . . , vm } es base de V y {w1 , w2 , . . . , wn } es

base de W, entonces { vi wj | i = 1, . . . , m, j = 1, . . . , n } genera a V W.
Demostracin. El conjunto { v w | v V, w W } genera a V W. Mostraremos que

el conjunto { vi wj | i = 1, . . . , m, j = 1, . . . , n } genera a los generadores. Sean vP V y
w W.
i v i ,
P Entonces existen i F, i = 1, . . . , m y j F, j = 1, . . . , n tales que v =
w=
j wj , de donde se obtiene:
X
X
vw=(
i vi ) (
j wj )
(2.11)
i
i j vi wj ,
(2.12)
i,j
por lo que se deduce el resultado pedido.

De lo anterior, se deduce que si V y W son de dimensin finita, entonces V W tambin
lo es y dim V W 6 (dim V)(dim W).
2.5 Proposicin.
Sea {w1 , w2 , . . . , wn } una base

P de W y V W. Entonces existen vectores uj
V, j = 1, . . . , n tales que = n
j=1 uj wj .
Pt
Demostracin. El vector V W se puede escribir
Pnen la forma k=1 xk yk para
ciertos xk V, yk W. Sean j,k F tales que yk = j=1 j,k wj . Entonces,
t
X
xk yk =
k=1
t
X
n
X
xk (
j,k wj )
k=1
t X
n
X
(2.13)
j=1
j,k xk wj
(2.14)
k=1 j=1
n X
t
X
(
j,k xk ) wj ,
j=1 k=1
(2.15)
34
por lo que, definiendo uj =

queramos demostrar.
2.6 Proposicin.
Pt
k=1
j,k xk , el vector es igual a
Pn
j=1
uj wj , como
Si V y W son de dimensin finita, el espacio vectorial V W es isomorfo al espacio

vectorial L(V, W) de transformaciones lineales de V en W.
Demostracin. Es inmediato mostrar que la funcin B : V W L(V, W) dada por

B(f, w)(v) = f(v)w es bilineal, por lo que B induce una transformacin lineal
l : V W L(V, W)
(2.16)
definida por l(f w)(v) = f(v)w.

P
Mostraremos que l es inyectiva. Sea {w1 , w2 , . . . , wn } una base de W y n
i=1 fi wi
un
elemento
de
V
W
que
es
enviado
por
l
a
cero,
donde
f
V
.
Entonces
se
tiene que
iP
Pn
n
l(f
w
)(v)
=
0
para
todo
v
V,
lo
cual
implica
que
f
(v)w
=
0
para
todo
i
i
i
i=1
i=1 i
v V. Por independencia lineal de {wi }, tenemos que fi (v) = P
0 para todo i y para todo v,
de donde fi = 0 para todo i, de donde el elemento escogido n
i=1 fi wi es cero, y por
lo tanto l es inyectiva.
Mostraremos ahora que l es suprayectiva. Sea {v1 , v2 , . . . , vP
m } una base de V y sea
m
{v1 , vP
,
.
.
.
,
v
}
su
base
dual.
Sea
T
L(V,
W).
Veremos
que
l(
m
i=1 vi T (vi )) = T . Si
2
v = j j vj es un vector en V, entonces:
X
X
X
l(
vi T (vi ))(
j v j ) =
l(vi T (vi ))(j vj ),
(2.17)
i
i,j
j vi (vj )T (vi ),
i,j
X
i
i T (vi ) = T (
(2.18)
i vi ) = T (v),
(2.19)
con lo cual termina la demostracin.

En los ejercicios veremos que esta ltima proposicin implica que dim(V W) =
(dim V)(dim W).
Ejercicios 2.1
2.1.1 Demuestra que si T : V W, T 0 : V 0 W 0 son transformaciones lineales, existe una transformacin lineal T T 0 : V V 0 W W 0 dada por
(T T 0 )(v v0 ) = T (v) T 0 (v0 ).
(2.20)
35
2.2. Mdulos sobre lgebras de grupo
2.1.2 Demuestra que si T : V W, T 0 : V 0 W 0 , S : W Z, S0 : W 0 Z0 son transformaciones

lineales, entonces
(S S0 ) (T T 0 ) = (S T ) (S0 T 0 ).
(2.21)
2.1.3 Si 1V : V V es la transformacin lineal identidad en el F-espacio V, demuestra que
1V 1W = 1VW .
(2.22)
V0 y W =
W 0 como F-espacios vectoriales, entonces V W =
V 0 W0.
2.1.4 Demuestra que si V =
2.1.5 Si V y W son espacios de dimensin finita, demuestra que
dim(V W) = (dim V)(dim W),
(2.23)
y que, si B1 = {v1 , v2 , . . . , vm } es base de V y B2 = {w1 , w2 , . . . , wn } es base de W, entonces

{ vi wj | i = 1, . . . , m, j = 1, . . . , n }
(2.24)
es base de V W. (Denotaremos esta base como B1 B2 ).

2.1.6 Dadas bases B1 , B01 , B2 , B02 de V, V 0 , W, W 0 respectivamente, y transformaciones lineales
T : V W, T 0 : V 0 W 0 , encuentra una expresin para la matriz de T T 0 con respecto a
B0
B
las bases B1 B2 , B01 B02 en trminos de las matrices [T ]B21 , [T ]B20 .
1
2.1.7 Demuestra que si V es cualquier F-espacio vectorial

V.
V F=
(2.25)
2.1.8 Demuestra que para todos F-espacios vectoriales V, W

W V.
V W =
2.2.
(2.26)
Mdulos sobre lgebras de grupo

De aqu en adelante, todas las lgebras que consideraremos sern del tipo A = FG,
donde F es un campo y G es un grupo. En este caso especial podemos enunciar an ms
ejemplos que los ya expuestos en la seccin 1.3.
Recordemos que el espacio vectorial V tiene estructura de FG-mdulo si damos un
morfismo de lgebras FG L(V). La propiedad universal del lgebra de grupo FG implica
entonces que es suficiente con dar un homomorfismo de grupos G U(L(V)). El grupo
U(L(V)) consta de las transformaciones lineales invertibles V V bajo composicin, y a
tal grupo se le denota frecuentemente con GL(V), como haremos nosotros.
Resumiendo, dado un morfismo de grupos f : G U(L(V)), tenemos que gv = f(g)(v)
define una estructura de FG-mdulo en V.
36
2.7 Teorema.
Sea V un espacio vectorial y f1 , f2 : G GL(V) morfismos de grupo. Las estructuras

de G-mdulo en V dadas por f1 , f2 son isomorfas si y slo si existe una transformacin
lineal invertible T : V V tal que T f1 (g) = f2 (g) T para todo g G.
Demostracin. Denotamos con Vi la estructura de G-mdulo en V dada por fi . Si existiera

la transformacin lineal T indicada, entonces T es una transformacin
lineal

T : V1 V2 .
Para g G y v V, tenemos que T (gv) = T f1 (g)(v) = f2 (g) T (v) = gT (v), de
modo que T es un isomorfismo de FG-mdulos. Recprocamente, si existe un isomorfismo
T : V1 V2 , entonces T satisface la condicin requerida.
Ejemplo
2.1
Sea V un F-espacio vectorial. Entonces la funcin constante G GL(V) con valor 1V es un

homomorfismo de grupos, por lo que define una estructura de FG-mdulo en V, tal que gv = v
para todos g G, v V. En el caso particular de que V = F es el espacio vectorial de
dimensin 1 sobre F, decimos que F con sta estructura es el FG-mdulo trivial.
No debe suponerse que, en el caso del anterior ejemplo, todos los elementos de FG
actan trivialmente en V. Por ejemplo, si g1 , g2 G, v V, entonces (g1 + g2 )v = v + v =
2v 6= v.
Dado que F tiene dimensin 1, el FG-mdulo trivial es necesariamente simple. Veamos
ahora una caracterizacin de los FG-mdulos de dimensin 1.
2.8 Proposicin.
Los FG-mdulos de dimensin 1 pueden identificarse con los homomorfismos de

grupo G F , donde F es el grupo multiplicativo de elementos de F diferentes
de cero.
Demostracin. Primero veamos que los grupos GL(F) y F son isomorfos por medio de
7 (1), ya que una transformacin lineal F F est determinada por su valor en 1, y
(1) 6= 0 si y slo si es invertible. Segn el teorema 2.7, dos homomorfismos f1 , f2 : G
F dan lugar a mdulos isomorfos si y slo si existe a F tal que af1 (g) = f2 (g)a para
todo g G. Pero sto ocurre si y slo si f1 = f2 .
Veremos ahora varias maneras de construir nuevos FG-mdulos a partir de otros. En
la seccin 1.4 ya aprendimos una: por medio de la suma directa. Si g G y V es un FGmdulo, a la transformacin lineal V V dada por v 7 gv, la denotaremos simplemente
con g, y en caso de ambigedad, utilizaremos la notacin acostumbrada gV .
37
2.2
Ejemplo
Sean V y W dos FG-mdulos. Fijemos g G. Las transformaciones lineales g : V V y g : W

W inducen una transformacin lineal gg : V W V W dada por (gg)(vw) = gvgw
para v V, w W. Denotaremos a g g con g. Tal transformacin es invertible, con inversa
dada por g1 (v w) = g1 v g1 w. Adems, la funcin G GL(V W) as definida es un
homomorfismo, de donde V W recibe una estructura de FG-mdulo con accin:
g(v w) = gv gw.
(2.27)
2.3
Ejemplo
Sean V y W dos FG-mdulos. Fijemos g G, y sea T L(V, W). Entonces la composicin

g1
V V
W
W,
(2.28)
que denotaremos con gT , es lineal. La funcin L(V, W) L(V, W) dada por T 7 gT es lineal
1
tambin, y tiene inversa dada por T 7 g T . Mas an, la correspondencia g 7 (T 7 gT ) es
un homomorfismo de grupos G GL(L(V, W)), por lo que L(V, W) recibe una estructura de
FG-mdulo con accin:
gT = gT = g T g1 ,
(2.29)
para g G, T L(V, W).
Como un caso particular del ejemplo anterior, si V es un FG-mdulo y F es el FGmdulo trivial, entonces el mdulo L(V, F) se llama el dual de V y se denota con V . Si
V y g G, entonces (g)(v) = (g g1 )(v) = g((g1 (v))) = (g1 v).
2.4
Ejemplo
Sea V un FG-mdulo. Sea H un grupo y f : H G un homomorfismo de grupos. Tenemos una

composicin:
f
H
G GL(V),
(2.30)
que induce una estructura de FH-mdulo en V. La accin de H en V est determinada por:
hv = f(h)v,
(2.31)
para h H, v V, donde en el lado derecho de la ecuacin hemos utilizado la accin ya

definida de G en V. Es decir, el mismo espacio vectorial V se puede ver como G-mdulo o como
H-mdulo.
Claramente, si W es un FG-submdulo de V, entonces tambin es un FH-submdulo, pero al
revs no siempre es cierto.
Existen tres casos particulares importantes del ejemplo anterior.
38
2.9 Definicin.
Sea H un subgrupo de G y f : H G el morfismo de inclusin. Sea V un FG-mdulo.

El H-mdulo obtenido por el procedimiento del ejemplo 2.4 se denota con V G
H y se
le llama restriccin de V de G a H.
Notemos que, si V es un FG-mdulo simple no se deduce que necesariamente V G

H sea
un FH-mdulo simple.
2.10 Definicin.
Sea K un subgrupo normal de G, y f : G G/K la proyeccin cannica. Sea V un

F[G/K]-mdulo. El G-mdulo obtenido por el procedimiento del ejemplo 2.4 se denota
con infG
G/K V y se le llama la inflacin del F[G/K]-mdulo V a G.
En ste caso, un subespacio de V es invariante bajo G si y slo si es invariante bajo

G/K, por lo que V es simple como F[G/K]-mdulo si y slo si lo es como FG-mdulo.
2.11 Definicin.
Sea V un FH-mdulo, donde H un subgrupo de G. Sea g G. Existe un homomorfismo

de conjugacin cg : H gH dado por cg (h) = gh = ghg1 . Tal morfismo tiene
inverso cg1 : gH H. Al F[gH]-mdulo obtenido a partir de V y cg1 por medio del
procedimiento del ejemplo 2.4 se le llama conjugado del mdulo V, y lo denotaremos
como gV.
Por lo tanto, la accin de h0 gH en v V est dada por h0 v = cg1 (h0 )v, donde a la
derecha usamos la estructura dada en V como H-mdulo. Puesto que entonces, para h H
se tiene que hv = cg (h)v, donde a la derecha tenemos la accin de gH, es claro que un
subespacio W de V es un H-submdulo si y slo si es un gH-submdulo, es decir, gV es un
g
H-mdulo simple si y slo si V es un H-mdulo simple.
En el ejemplo siguiente nos especializaremos al caso en que G = Sn , el grupo simtrico
en n smbolos. Como G acta en X = {1, 2, . . . , n}, ya hemos visto antes un ejemplo de
FG-mdulo en el ejemplo 1.13. Sin embargo, ser conveniente, para trabajar con detalle
con ste ejemplo, considerar una copia isomorfa. Tomemos V = Fn = {(x1 , x2 , . . . , xn ) |
xi F, i = 1, . . . , n} y la accin de G en V est dada por:
(x1 , x2 , . . . , xn ) = (x(1) , x(2) , . . . , x(n) ),
(2.32)
lo cual define un homomorfismo de grupos Sn GL(Fn ) que convierte a V = Fn en un

FSn -mdulo. Un submdulo importante de dimensin n 1 de Fn es:

n
X
E = (x1 , x2 , . . . , xn ) F |
xi = 0 .
(2.33)
i=1
39
La representacin asociada a ste mdulo se llama representacin estndar.

Otro submdulo de Fn es W = { (a, a, . . . , ) | a F }. Claramente dim E = n 1 y
dim W = 1, adems E W = 0, por lo que E + W = Fn y la suma es directa. Notemos
que W es isomorfo a F con accin trivial de Sn , por lo que la suma directa suele escribirse
como
Fn = E F.
(2.34)
Veremos ahora otra representacin de Sn que podemos definir para toda n.
2.5
Ejemplo
Sea G = Sn y sea V = F, el espacio vectorial de dimensin 1. Definimos la funcin signo

sgn : Sn GL(F), como:

1F
si es par,
7
(2.35)
1F si es impar.
Es inmediato verificar que hemos definido un homomorfismo, por lo que F recibe una estructura
ms de G-mdulo, con accin:

x
si es par,
x =
(2.36)
x si es impar,
para G, x F. La representacin de Sn que hemos definido se llama la representacin
signo. Cuando pensemos a F con sta estructura de FSn -mdulo lo denotaremos con F.
Notemos que F es simple, por tener dimensin 1.

Veremos ahora que, en el caso particular de los FG-mdulos, podemos definir en general cierto submdulo.
2.12 Definicin.
Sea V un FG-mdulo. Definimos

V G = { v V | gv = v para todo g G } .
(2.37)
Es inmediato mostrar que V G es un submdulo de V.

2.13 Proposicin.
Sean V y W dos FG-mdulos. Entonces:

L(V, W)G = homFG (V, W).
(2.38)
40
Demostracin. Tenemos que L(V, W)G si y slo si g g1 = para todo g G,

lo cual sucede si y slo si g = g para todo g G, es decir, si y slo si g(v) = (gv)
para todo g G y v V, finalmente, si y slo si homFG (V, W).
Ejercicios 2.2
2.2.1 Si n > 2 y la caracterstica de F es diferente de 2, demuestra que F no es isomorfo a F como
FSn -mdulos.
2.2.2 Si n = 3 y F es un campo de caracterstica diferente de 2, demuestra que el FS3 -mdulo definido
en (2.33) es simple.
2.2.3 Demuestra que si H es un subgrupo de G y V es un FG-mdulo tal que V G
H es simple (como
FH-mdulo), entonces V es simple (como FG-mdulo).
1
2.2.4 Sean H C G, g G y V un FG-mdulo. Sea W = V G
v da un
H . Demuestra que v 7 g
g
isomorfismo de H-mdulos W W.
2.2.5 Sean V un FG-mdulo, H 6 G, y W un subespacio de V invariante bajo la accin de H (es decir

hw W para todos h H, w W), de modo que W es un FH-mdulo. Dado g G, demuestra
que:
gW = { gw | w W } es un subespacio de V,
gW es invariante bajo la accin de gH, de modo que tiene estructura de F[gH]-mdulo,
la funcin w 7 gw define un isomorfismo de F[gH]-mdulos gW gW.
2.2.6 Si V y W son FG-mdulos, muestra que el isomorfismo de espacios vectoriales de la proposicin 2.6 es de hecho un isomorfismo de FG-mdulos.
2.3.
Potencias simtricas y exteriores

En sta seccin usaremos la notacin V n para el conjunto definido inductivamente
como: V 1 = V, V n = V V n1 . Es decir, V n es un producto cartesiano V V V
con n factores.
2.14 Definicin.
Sean V y W dos espacios vectoriales sobre F. Una funcin f : V n W es multilineal si

f(v1 , v2 , . . . , vi + v0i , . . . , vn ) = f(v1 , v2 , . . . , vi , . . . , vn ) + f(v1 , v2 , . . . , v0i , . . . , vn )
(2.39)
para todos v1 , v2 , . . . , vn , v0i V, F.
2.3. Potencias simtricas y exteriores
2.15 Definicin.
41
Sean V y W dos espacios vectoriales sobre F. Una funcin multilineal f : V n W es

simtrica si
f(v(1) , v(2) , . . . , v(i) , . . . , v(n) ) = f(v1 , v2 , . . . , vi , . . . , vn )
(2.40)
para todo Sn .
2.16 Definicin.
Sean V y W dos espacios vectoriales sobre F. Una funcin multilineal f : V n W es

alternante si
f(v(1) , v(2) , . . . , v(i) , . . . , v(n) ) = (sgn )f(v1 , v2 , . . . , vi , . . . , vn )
(2.41)
para todo Sn .
2.17 Definicin.
Dado V un espacio vectorial sobre F y n > 1, la n-sima potencia simtrica de V,

denotada Symn V, es un F-espacio vectorial junto con una funcin simtrica s : V n
Symn V tal que si W es un F-espacio vectorial y s0 : V n W es una funcin simtrica,
existe una nica transformacin lineal l : Symn V W tal que l s = s0 .
2.18 Definicin.
Dado V un espacio vectorial sobre F y n > 1, la n-sima potencia exterior n V de V,

denotada n V, es un F-espacio vectorial junto con una funcin alternante a : V n
n V tal que si W es un F-espacio vectorial y a0 : V n W es una funcin alternante,
existe una nica transformacin lineal l : n V W tal que l a = a0 .
Usaremos los siguientes teoremas sin demostracin:

2.19 Teorema.
Dado V un espacio vectorial sobre F y n > 1, el n-simo producto simtrico Symn V

existe y es nico salvo isomorfismo. Si s : V n Symn V es la funcin simtrica de la
definicin, denotaremos a s(v1 , v2 , . . . , vn ) simplemente como v1 v2 vn . Entonces,
si w1 , w2 , . . . , wr es una base de V, se tiene que
{ wi1 wi2 win | 1 6 i1 6 i2 6 6 in 6 r }
es una base de Symn V.
(2.42)
42
2.20 Teorema.
Dado V un espacio vectorial sobre F y n > 1, el n-simo producto exterior n V

existe y es nico salvo isomorfismo. Si a : V n n V es la funcin alternante de
la definicin, denotaremos a a(v1 , v2 , . . . , vn ) como v1 v2 vn . Entonces, si
w1 , w2 , . . . , wr es una base de V, se tiene que
{ wi1 wi2 win | 1 6 i1 < i2 < < in 6 r }
(2.43)
es una base de n V.
2.21 Corolario.
Si V es un G-mdulo y n > 1, entonces el producto simtrico Symn V es un G-mdulo

con accin:
g(v1 v2 vn ) = gv1 gv2 gvn
(2.44)
y el producto exterior n V es un G-mdulo con accin:
g(v1 v2 vn ) = gv1 gv2 gvn .
2.4.
(2.45)
El teorema de Maschke y sus consecuencias

Veremos un criterio de fcil verificacin que garantiza que ciertas lgebras de grupo
son semisimples.
2.22 Teorema.
(Maschke) Sea F un campo tal que su caracterstica no divide a |G|. Entonces cualquier
FG-mdulo es completamente reducible.
Demostracin. Sea V un FG-mdulo y sea W 6 V. Sea W 0 un subespacio vectorial de V

tal que V = W W 0 como espacios vectoriales y sea : V V la transformacin lineal
tal que (v) = w si v = w + w0 con w W, w0 W 0 . Claramente se tiene que (v) = v
si y slo si v W. Como la caracterstica de F no divide a |G|, tenemos que |G| 6= 0 en F.
Consideremos la funcin
1 X
gg1 : V V.
(2.46)
0 =
|G|
gG
Tenemos que 0 es lineal, veamos que es de hecho un morfismo de FG-mdulos. Sean
43
2.4. El teorema de Maschke y sus consecuencias

h G y v V, entonces:
0 (hv) =
1 X
g(g1 hv)
|G|
(2.47)
1 X
h(h1 g)(g1 hv)
|G|
(2.48)
1 X
hk(k1 v) = h0 (v),
|G|
(2.49)
gG
gG
kG
por lo que homFG (V, V), adems, se obtiene para w W, que:

1 X
0 (w) =
g(g1 w)
|G|
(2.50)
gG
1 X
1 X
g(g1 w) =
w
|G|
|G|
(2.51)
1
|G| w = w.
|G|
(2.52)
gG
gG
Como 0 : V V es un morfismo de FG-mdulos tal que 0 (v) W para todo v V y

(w) = w para w W, obtenemos que 0 es proyeccin en el submdulo W, de donde,
por la proposicin 1.20 se tiene que V = W ker 0 , con ker 0 6 V.
0
2.23 Corolario.
Sea F un campo tal que su caracterstica no divide a |G|. Entonces FG es una F-lgebra
semisimple.
Con el fin de poder aplicar el teorema 1.41 y el teorema de Maschke, de ahora en

adelante trabajaremos solamente con F = C. Como el campo est ya establecido, usaremos
la expresin G-mdulo cuando queramos decir CG-mdulo.
Enunciaremos las consecuencias de los teoremas 1.41 y 2.22 en el contexto de lgebras
de grupo sobre C. En lo sucesivo, denotaremos a una suma directa con n sumandos S
S S como Sn .
2.24 Corolario.
Sea G un grupo finito, y sea S(CG) = {S1 , S2 , . . . , Sr } un conjunto de representantes

de las clases de isomorfismo de G-mdulos simples. Entonces:
Sk
= rk=1 Sdim
,
k
Pr
2. |G| = dim CG = k=1 (dim Sk )2 ,
1.
CG CG
3. r = dim Z(CG).
44
En particular, ste corolario nos permite determinar que hemos obtenido una lista
completa de CG-mdulos simples. Por ejemplo, para G = S3 , stos son: el trivial C, el
dado por la representacin signo C y el dado por la representacin estndar E, pues 6 =
2 + (dim E)2 = 12 + 12 + 22 .
|S3 | = (dim C)2 + (dim C)
3
Carcteres
3.1.
Definicin y propiedades
3.1 Definicin.
Sea V un G-mdulo. Definimos el carcter de V como la funcin V : G C dada

por:
V (g) = tr(gV : V V),
(3.1)
donde tr denota la traza de una transformacin lineal.
Por lo tanto, diremos que una funcin : G C es un carcter, si existe un G-mdulo

V tal que = V .
Recordemos que para calcular la traza de una transformacin lineal V V es suficiente fijar una base de V y obtener la matriz de la transformacin con respecto a la base
escogida. La traza es entonces la suma de las entradas de la diagonal de la matriz obtenida.
3.1
Ejemplo
Sea G = S3 . Calcularemos el carcter V (g) para varios G-mdulos V y elementos g G.

Como veremos en la proposicin 3.3, basta con calcular V : G C en representantes de las
clases de conjugacin de G, digamos (1), (12) y (123).
Consideremos primero V = C, la representacin trivial. El espacio V es de dimensin 1 (por lo
que V (g) es en ste caso la traza de una matriz 1 1) y tiene 1 C como base. Tenemos que
(1)1 = 1, de donde V ((1)) es la traza de la matriz 1 1 con nica entrada igual a 1, por lo
que V ((1)) = 1. Como tambin (12)1 = 1 y (123)1 = 1, el carcter V (g) es igual a 1 para
g = (12) y para g = (123).
la representacin signo. Nuevamente dim V = 1, pero ahora (1)1 = 1,
Sea ahora V = C,
(12)1 = 1 y (123)1 = 1, por lo que V ((1)) = 1, V ((12)) = 1 y V ((123)) = 1.
45
46
Captulo 3. Carcteres
Sea ahora V = E, la representacin estndar. Es decir,

E = (x1 , x2 , x3 ) C3 | x1 + x2 + x3 = 0 .
(3.2)
En este caso, dim V = 2, y una base de E es B = {(1, 1, 0), (1, 0, 1)}. Si g = (1), entonces la
matriz asociada a gV en la base dada es la matriz identidad 2 2, por lo que V ((1)) = 2.
Por otro lado, si g = (12), tenemos que:
(12)(1, 1, 0) = (1, 1, 0) = 1(1, 1, 0) + 0(1, 0, 1),
(3.3)
(12)(1, 0, 1) = (0, 1, 1) = 1(1, 1, 0) + 1(1, 0, 1),
(3.4)
por lo que

[gV ]B =
1
0

1
,
1
(3.5)
que tiene traza 0, es decir V ((12)) = 0.

Finalmente, si g = (123), tenemos que:
(123)(1, 1, 0) = (0, 1, 1) = 1(1, 1, 0) + 1(1, 0, 1),
(3.6)
(123)(1, 0, 1) = (1, 1, 0) = 1(1, 1, 0) + 0(1, 0, 1),
(3.7)
por lo que

[gV ]B =
1
1

1
,
0
(3.8)
que tiene traza 1, es decir V ((123)) = 1.
Ejemplo
3.2
Sea X = {x1 , x2 , . . . , xn } un G-conjunto, y sea V = CX el CG-mdulo de permutaciones correspondiente (ver ejemplo 1.13). Entonces X es una base de V. Sea g G. La matriz de g : V V
con respecto a la base X es diferente de cero en la entrada j, j si y slo si gxj = xj y en ste caso,
tal entrada es igual a uno. Por lo tanto, V (g) es igual a la cantidad de puntos fijos en X bajo g.
Consideremos el caso particular donde X = G, con accin regular. Entonces V = CG es la
representacin regular de G, denotaremos con su carcter. Puesto que slo la identidad de G
tiene puntos fijos, obtenemos en este caso que (1) = |G| y que si g 6= 1, entonces (g) = 0.
3.2 Lema.
Si V es un G-mdulo y g G, entonces g : V V es diagonalizable. Adems todos

los valores propios de g : V V tienen norma 1.
Demostracin. Sea t el orden del elemento g G, entonces gt = 1, lo cual implica que el

polinomio mnimo p(x) de la transformacin lineal g : V V divide a xt 1. En particular,
p(x) no tiene races mltiples, por lo tanto g : V V es diagonalizable. Como los valores
propios satisfacen la ecuacin xt 1 = 0, tienen norma 1.
47
3.1. Definicin y propiedades

La siguiente proposicin enumera propiedades bsicas de los carcteres.
3.3 Proposicin.
Sea V un G-mdulo, y g, h G. Entonces:

1. V (1) = dim V,
2. V (g1 ) = V (g),
3. |V (g)| 6 V (1),
4. V (ghg1 ) = V (h),
5. si V y W son isomorfos como G-mdulos, entonces V = W .
Demostracin. Tenemos que V (1) es la traza de la matriz identidad V V, la cual es

dim V.
Si n = dim V, por el lema 3.2 la transformacin lineal g : V V tiene (contando
multiplicidades) n valores propios,
digamos 1 , 2 , . . . , n C y todos ellos con norma 1.
P
1
1
Entonces V (g) = tr(g) = n
. Adems, 1
k
k=1
1 , 2 , . . . , n son los valores propios de
1
z
1
1
g . Como z = |z|2 para todo z C, tenemos que k = k , de donde:
(g1 ) =
n
X
k=1
n
X
1
k
(3.9)
(3.10)
k = V (g).
k=1
Adems, de V (g) =
Pn
k=1
k , se sigue que |V (g)| 6
Pn
k=1
|k | = n = V (1).
La siguiente afirmacin se deduce inmediatamente del hecho de que la traza es invariante bajo conjugacin de transformaciones lineales.
Finalmente, sean V y W dos CG-mdulos isomorfos y sea : V W un isomorfismo.
Entonces para todo g G se tiene que gV = gW , de donde gV = 1 gW , y
por lo tanto V (g) = tr(gV ) = tr(1 gW ) = tr(gW ) = W (g).
Ejemplo
3.3
En la proposicin 2.8 se observ que tener un G-mdulo de dimensin 1 equivale a tener un

homomorfismo de grupos : G C . Puesto que V (g) = (g) para g G, tenemos otra
demostracin que homomorfismos diferentes G C dan lugar a mdulos no isomorfos.
48
3.4
Ejemplo
Sea G = S3 . Ya hemos observado que una lista completa de G-mdulos simples, salvo isomorfismos, est dada por C, C y la representacin estndar E. En el ejemplo 3.1 hemos calculado
el carcter de cada una de stos mdulos en representantes de las clases de conjugacin de G.
Dispondremos la informacin en una tabla, llamada la tabla de carcteres del grupo.
S3
C
C
E
1
(1)
1
1
2
3
(12)
1
1
0
2
(123)
1
1
1
En los dos primeros renglones colocamos, respectivamente, la cantidad de elementos en las

clases de conjugacin y un representante de cada clase. En los renglones siguientes tenemos
representantes de cada una de las clases de G-mdulos simples y los valores de los carcteres
de tales mdulos en los respectivos elementos de G.
En la siguiente proposicin mostraremos que la tabla de carcteres es siempre cuadrada.

3.4 Proposicin.
Sea G un grupo y g1 , g2 , . .P
. , gr una coleccin de representantes de las clases de conjugacin de G. Sea g i =
hgi h CG, la suma de los elementos de la clase de
conjugacin de gi . Entonces g 1 , g 2 , . . . , g r es una base de Z(CG).
Demostracin. Mostraremos primero que los g i estn en Z(CG). Sea x G. Entonces:

xg i =
X
hgi
xh =
(xhx1 )x = g i x,
(3.11)
hgi
pues cuando h recorre los conjugados de gi , tambin xhx1 los recorre.

P
Ahora, supongamos que gG g g Z(CG). Supongamos que g2 = xg1 x1 . EnP
P
tonces, el coeficiente de g2 en x( gG g g)x1 es g1 y en
gG g g es g2 . Como
P
1 , g 2 , . . . , g r generan a Z(CG).
gG g g Z(CG), tenemos que g1 = g2 . Por lo tanto, g
Sin embargo, tambin son linealmente independientes, pues son combinaciones lineales de
bsicos diferentes en CG.
3.5 Corolario.
Si G es un grupo finito, hay la misma cantidad de G-mdulos simples salvo isomorfismo que de clases de conjugacin en G.
3.1. Definicin y propiedades
49
Demostracin. En el teorema 1.41 vimos que la cantidad de G-mdulos simples es igual

a la dimensin de Z(CG) y la proposicin previa nos dice que este nmero es igual a la
cantidad de clases de conjugacin en G.
3.6 Definicin.
Sea G un grupo finito. Una funcin de clase es una funcin : G C que es constante
en clases de conjugacin de G.
Por ejemplo, para cualquier G-mdulo V, su carcter V es una funcin de clase.

Claramente el conjunto de las funciones de clase forma una sublgebra del lgebra de
todas las funciones G C, en particular, la suma y el producto de funciones de clase es
una funcin de clase. Si es una funcin de clase, tambin la funcin que resulta de
componer con la operacin de tomar complejo conjugado es una funcin de clase.
En las secciones 2.2 y 2.3 vimos varias maneras de construir G-mdulos a partir de
otros. Veremos cmo se relacionan los carcteres de los nuevos mdulos con los de los
primeros.
3.7 Proposicin.
Sean V y W dos G-mdulos y g G. Entonces,

1. VW = V + W ,
2. VW = V W ,
3. V = V ,
4. L(V,W) = V W ,
5. 2 V (g) = 12 (V (g)2 V (g2 )) para todo g G,
6. Sym2 V (g) = 21 (V (g)2 + V (g2 )) para todo g G,
en donde las operaciones de carcteres se toman como las operaciones de funciones
de clase.
Demostracin. Sea g G y sean B1 = {v1 , . . . , vm }, B2 = {w1 , . . . , wn } respectivamente,

bases de vectores propios de gV y gW , con valores propios 1 , . . . , m y 1 , . . . , n . Por lo
tanto, V (g) = 1 + + m y W (g) = 1 + + n .
Para la primera afirmacin, tenemos que B1 B2 es una base de V W, y la matriz de
gVW con respecto a sta base es una matriz de bloques:

[gV ]B1
0
,
(3.12)
0
[gW ]B2
50
de donde obtenemos que la traza de sta matriz es la suma de las trazas de gV y gW , es

decir, obtenemos que VW (g) = V (g) + W (g) como queramos.
Para la segunda afirmacin, notemos que
g(vj wk ) = gvj gwk = j vj k wk = j k (vj wk ),
(3.13)
de donde se obtiene que vj wk es un vector propio de gVW con valor propio j k . Es

decir, { vj wk | j = 1, . . . m, k = 1, . . . , n } es una base de vectores propios de gVW , por
lo que la traza de sta ltima, siendo la suma de sus vectores propios, es:
VW (g) =
m X
n
X
j k =
j=1 k=1
m
X
j=1
n
X
k = V (g)W (g).
(3.14)
k=1
Para la tercera afirmacin, sea B1 = {v1 , . . . , vm } la base de V dual a B. Observemos

que
1
gvj (vk ) = vj (g1 vk ) = vj (1
(3.15)
k vk ) = k vj (vk ),
de donde gvj = 1
k vj , es decir B1 es una base de vectores propios de V . Por lo tanto
V (g) =
m
X
k=1
1
k =
m
X
k = V (g).
(3.16)
k=1
La cuarta afirmacin se sigue de las dos anteriores y del hecho de que L(V, W) es
isomorfo a V W como G-mdulos.
Para la quinta afirmacin, notemos que de modo similar a la ecuacin 3.13, para j < k,
se obtiene que vj vk es un vector propio de g2 V con valor propio j k , y por lo tanto
{ vj vk | j < k } es base de 2 V formada por vectores propios de g2 V , por lo que la traza
de g2 V es igual a:
P
P
X
( j j )2 j 2j
1
j k =
= (V (g)2 V (g2 )),
(3.17)
2
2
j<k
dado que los 2i son exactamente los valores propios de g2V .

Finalmente, la ltima afirmacin se demuestra de modo similar a la anterior, notando
que siempre que j 6 k, se tiene que vj vk es valor propio de gSym2 V con valor propio j k ,
y { vj vk | j 6 k } es base de Sym2 V formada por vectores propios de gSym2 V .
3.8 Corolario.
La suma, el producto y el conjugado de carcteres son carcteres.
51
Observemos que si n es un entero positivo, y V es un G-mdulo, el carcter de V n =

V V es V + +V . Denotaremos a ste ltimo como nV . Por lo tanto, el carcter
nr
1
del G-mdulo Sn
1 Sr es n1 S1 + + nr Sr .
Veamos ahora cmo se comportan los carcteres respecto de la restriccin, inflacin y
conjugacin de G-mdulos.
Si H es un subgrupo de G, V es un G-mdulo y h H, entonces VG
(h) es la traza de
H
h : V V, es decir, precisamente V (h). Por lo tanto, VG
es precisamente la restriccin
H
de V : G C a H, la cual denotaremos con G
y
llamaremos
el carcter restringido
H
al subgrupo H.
Si H es un subgrupo normal de G, V es un G/H-mdulo y g G, entonces infG
G/H V
infG
G/H
(g)
infG
G/H V,
es la traza de gH : V V. Por lo tanto, si denotamos con

al carcter de
G
G
tenemos que (infG/H )(g) = (gH). Diremos que infG/H es un carcter inflado.
Consideremos H 6 G, V un H-mdulo, y g G. Tenemos el isomorfismo de grupos cg : H gH dado por cg (h) = gh = ghg1 . Si h0 gH, la accin de h0 en gV se
defini como la accin de cg1 (h0 ) en V. Por lo tanto, gV (h0 ) = V (g1 h0 g). Ntese que
no podemos aplicar la proposicin 3.3.4 para concluir que V (g1 h0 g) = V (h0 ), pues
g1 h0 g no es un conjugado en H de un elemento de H (de hecho, posiblemente h0 6 H, y
en ese caso la expresin V (h0 ) no tiene sentido).
Ejercicios 3.1
3.1.1 Sea G un grupo y un carcter de G. Sea g G tal que g es conjugado a g1 . Demuestra que
(g) es un nmero real.
3.2.
Las relaciones de ortogonalidad

En adelante, al carcter V de un G-mdulo V se le denotar simplemente con . Se
sobreentiende que todos los carcteres provienen de algn G-mdulo.
52
3.9 Definicin.
Sean y dos carcteres. Definimos su producto interno como:

h, i =
1 X
(g1 )(g).
|G|
(3.18)
gG
1
|G|
Puesto que (g1 ) = (g), tambin podemos escribir al producto interno como h, i =
P
1
por g obtenemos que:
gG (g)(g). Adems, sustituyendo g
h, i =
1 X
1 X
(g)(g1 ) =
(g)(g).
|G|
|G|
gG
(3.19)
gG
es decir, h, i = h, i. An ms, tenemos las siguientes igualdades:

h1 + 2 , i = h1 , i + h1 , i
h, 1 + 2 i = h, 1 i + h, 2 i
h, i = h, i
(3.20)
(3.21)
(3.22)
donde es un carcter y el carcter dual, es decir, el carcter de la representacin dual

a la representacin asociada a .
3.10 Lema.
P
1
Sea V un G-mdulo. Entonces |G|
gG gV es un morfismo de G-mdulos V V
G
que es proyeccin en el submdulo V .
P
1
Demostracin. Sea = |G|
gG g. Claramente es lineal de V en V, veamos que es un
morfismo de G-mdulos. Sea h H y v V, entonces
1 X
1 X
(hv) =
g(hv) =
(gh)v
(3.23)
|G|
|G|
gG
gG
= (v)
1 X
1 X
=
(hg)v =
h(gv)
|G|
|G|
gG
(3.24)
(3.25)
gG
(3.26)
= h(v)
puesto que al recorrer g los elementos de G, tambin gh y hg los recorren. Con sto
mostramos que es morfismo de G-mdulos y que (v) V G para todo v V.
Por otro lado, si v V G , entonces
1 X
1 X
1
(v) =
gv =
v=
|G|v = v,
|G|
|G|
|G|
gG
gG
(3.27)
53

de donde por la proposicin 1.20, se tiene que es proyeccin en V G .
En el siguiente teorema ocuparemos el hecho de que si : V V es proyeccin sobre

el subespacio W, entonces tr = dim W, lo cual se sigue inmediatamente de considerar
una base de W, extenderla a una base de V y considerar la matriz de con respecto a tal
base.
3.11 Teorema.
Si V y W son G-mdulos, entonces hV , W i es un entero no negativo. Si V es un

G-mdulo simple, entonces hV , V i = 1. Y si V y W son G-mdulos simples no
isomorfos, entonces hV , W i = 0.
Demostracin. Tenemos que

dim homCG (V, W) = dim L(V, W)G
X
1
= tr
gL(V,W) ,
|G|
(3.28)
(3.29)
gG
1 X
L(V,W) (g),
|G|
(3.30)
1 X
V (g)W (g),
|G|
(3.31)
gG
gG
= hV , W i.
(3.32)
donde las igualdades cumplen para todo par de G-mdulos V, W, aunque no sean simples,
lo cual demuestra nuestra primera afirmacin. Adems, si V, W son simples, el lema de
Schur (teorema 1.22) nos dice que dim homCG (V, W) es 1 si V es isomorfo a W y es 0 si
V no es isomorfo a W.
3.12 Corolario.
Sea V un G-mdulo y supongamos que

nr
1
V = Sn
1 Sr ,
(3.33)
donde S1 , . . . , Sr son G-mdulos simples no isomorfos entre s. Entonces nj =

hV , Sj i. En particular, nj es independiente de la descomposicin (3.33) escogida.
Demostracin. Inmediata del teorema anterior y del hecho de que V = n1 S1 + +

nr Sr .
El corolario siguiente muestra que un G-mdulo est determinado por su carcter.
54
3.13 Corolario.
Si V y W son G-mdulos, entonces V es isomorfo a W si y slo si V = W .
Demostracin. Ya sabemos que V = W si V es isomorfo a W. Recprocamente, supongamos que V y W tienen el mismo carcter. Sabemos que ambos pueden expresarse como
suma directa de mdulos simples, y por el corolario anterior, la multiplicidad con que cada
mdulo simple aparece en V es la misma que en W, de donde se deduce que V es isomorfo
a W.
3.14 Corolario.
Si V es un G-mdulo y hV , V i = 1, entonces V es simple.
1
r
Demostracin. Supongamos V = Sn
Sn
r donde S1 , . . . , Sr son G-mdulos simples
1 P
no isomorfos entre s. Entonces hV , V i = rj=1 n2j = 1. Se tiene entonces que algn nj
Sj y por lo tanto V es simple.
es 1 y los dems son cero, de donde V =
Combinando el teorema 3.11 con el corolario 3.14, obtenemos que el G-mdulo V es

simple si y slo si hV , V i = 1.
En el enunciado del siguiente corolario, denotaremos al centralizador de g G como:
CG (g) = { x G | gx = xg } ,
(3.34)
el cual es el estabilizador de g cuando G acta en G por conjugacin. Por lo tanto, CG (g)

es siempre un subgrupo de G, y el tamao de la clase de conjugacin de g es igual a [G :
CG (g)] = |G|/|CG (g)|.
3.15 Corolario.
Sea g1 , g2 , . . . , gr una coleccin de representantes de las clases de conjugacin de G,

sea X la tabla de carcteres de G considerada como matriz r r y sea C la matriz
diagonal
|CG (g1 )|
0
0
|CG (g2 )|
C=
(3.35)
.
..
..
..
.
.
.
0
|CG (gr )|
Entonces, tenemos que

T
X X = C,
T
donde X denota la conjugada transpuesta de la matriz X.
(3.36)
55
3.3. Grupos cclicos

T
Demostracin. Ortogonalidad de renglones de X (teorema 3.11) implica que XC1 X = I,

donde I es la matriz identidad, ya que C1 es una matriz diagonal con entradas de la forma
tamao de la clase de g
.
|G|
T
(3.37)
T
Por lo tanto, (XC1 )1 = X = CX1 , de donde se obtiene X X = C, como queramos.
3.16 Definicin.
Si V es un G-mdulo simple, decimos que V es un carcter simple.
3.17 Corolario.
(Ortogonalidad de columnas) Si G tiene r clases de conjugacin y 1 , . . . , r es una

lista completa de carcteres simples, entonces:

r
X
|CG (g)| si g h,
i (g)i (h) =
(3.38)
0
si g 6 h.
i=1
Demostracin. El enunciado a demostrar es simplemente una reformulacin del corolario 3.15.
3.3.
Grupos cclicos
3.18 Proposicin.
Sea G un grupo cclico de orden n, G = hai, y sea C una raz n-sima primitiva de
la unidad (es decir, n = 1 pero m 6= 1 si 0 < m < n). Para cada j = 0, 1, . . . , n 1,
sea Vj un espacio vectorial de dimensin 1 generado por vj y sea una accin de G en
Vj definida por:
avj = j vj .
(3.39)
Entonces, V0 , V1 , . . . , Vn1 es una lista completa de G-mdulos simples.
Demostracin. De la proposicin 2.8, sabemos que los G-mdulos simples de dimensin 1 se identifican con los homomorfismos G C . En el caso particular de que G sea
un grupo cclico de orden n con G = hai, existen exactamente n tales diferentes homomorfismos, determinados por a 7 j , j = 0, 1, . . . , n 1. Interpretando stos homomorfismos
56
como mdulos, se obtienen los definidos en (3.39). Todos stos G-mdulos son simples,
por tener dimensin 1, son no isomorfos entre s, como observamos en el ejemplo 3.3,
adems n = |G| es la suma de los cuadrados de sus dimensiones, por lo que tenemos una
lista completa de G-mdulos simples.
Con las hiptesis de la proposicin 3.18, se tiene que, si avj = j vj entonces ak vj =
vj . Con sta observacin, podemos construir la tabla de carcteres de cualquier grupo
cclico, como en el siguiente ejemplo.
kj
3.5
Ejemplo
Sea n = 5 y G = C5 el grupo cclico de orden 5, supongamos G = hai. Como G es abeliano,

cada clase de conjugacin de G tiene exactamente un elemento. Sea C una raz primitiva
quinta de la unidad. Usando la proposicin 3.18 y la observacin posterior, construimos la
tabla de carcteres de G.
C5
V0
V1
V2
V3
V4
1
1
1
1
1
1
1
1
a
1
2
3
4
1
a2
1
2
4
1
a3
1
3
4
2
1
a4
1
4
3
2
Ejercicios 3.2
3.2.1 Verdadero o falso? La tabla de carcteres de todo grupo cclico Cn con n > 3 contiene entradas
no reales.
3.4.
Grupos abelianos
Generalizando el ejemplo 2.2, tenemos que, si V1 es un G1 -mdulo y V2 es un G2 mdulo, dados g1 G1 y g2 G2 , las transformaciones lineales g1 : V1 V1 y g2 : V2
V2 inducen una transformacin lineal g1 g2 : V1 V2 V1 V2 , que est dada por
(g1 g2 )(v1 v2 ) = g1 v1 g2 v2 ,
(3.40)
57
3.4. Grupos abelianos
con lo cual se define un homomorfismo G1 G2 GL(V1 V2 ), es decir, V1 V2 recibe

una estructura de G1 G2 -mdulo. Para distinguirla de la estructura de mdulo en el
producto tensorial definida en el ejemplo 2.2, la denotaremos como V1 V2 , y al carcter
V1 V2 lo denotaremos como V1 V2 .
Procediendo similarmente a la demostracin de la proposicin 3.7, podemos demostrar
que:
V1 V2 (g1 , g2 ) = V1 (g1 )V2 (g2 ),
(3.41)
pues si 1 , . . . , r son los valores propios de (g1 )V1 y 1 , . . . , s son los valores propios de
(g2 )V2 , entonces {j k }j=1,...,r;k=1,...,s son los valores propios de g1 g2 .
3.19 Proposicin.
Sea V1 , V2 , . . . , Vm una lista completa de G1 -mdulos simples y sea W1 , W2 , . . . , Wn

una lista completa de G2 -mdulos simples. Entonces los G1 G2 -mdulos Vj Wk ,
j = 1, . . . , m, k = 1, . . . , n forman una coleccin completa de G1 G2 -mdulos
simples.
Demostracin. Primero, veremos que cada Vj Wk es simple usando el corolario 3.14,

hVj Wk , Vj Wk i =
1
|G1 G2 |
Vj Wk (g1 , g2 )Vj Wk (g1 , g2 )
(3.42)
(g1 ,g2 )G1 G2
X
1
Vj (g1 )Vj (g1 )Wk (g2 )Wk (g2 ) (3.43)
|G1 | |G2 |
(g1 ,g2 )G1 G2
1 X
1 X

=
Vj (g1 )Vj (g1 )
Wk (g2 )Wk (g2 )
|G1 |
|G2 |
g1 G1
g2 G2
(3.44)
= hVj , Vj ihWk , Wk i = 1
(3.45)
Un clculo similar muestra que, si (j, k) 6= (r, s), entonces hVj Wk , Vr Ws i = 0, por
lo que los mn mdulos de la forma Vr Ws son no isomorfos entre s. Para mostrar que
tenemos la lista completa de mdulos simples, sean dj = dim Vj y ek = dim Wk , de modo
que Vj Wk tiene dimensin dj ek y
X
X
X X
(dj ek )2 =
(dj )2 (ek )2 =
d2j
e2k = |G1 | |G2 | = |G1 G2 |,
(3.46)
j,k
j,k
con lo cual termina la demostracin.

Por supuesto, aplicando inductivamente la proposicin anterior podemos calcular la
tabla de carcteres de cualquier grupo abeliano finito, pues cualquier grupo tal es un
producto de grupos cclicos.
58
3.20 Corolario.
Un grupo G es abeliano si y slo si todos sus mdulos simples tienen dimensin 1.
Demostracin. Si G es abeliano, entonces G es producto de grupos cclicos. Puesto que

cualquier G-mdulo simple se obtiene formando productos tensoriales de mdulos simples
de grupos cclicos, los cuales todos tienen dimensin 1 por la proposicin 3.18, los Gmdulos simples tienen todos dimensin 1.
Supongamos ahora que todos los G-mdulos simples tienen dimensin
1. Sabemos que
P
si hay r mdulos simples de dimensiones d1 , . . . , dr , entonces |G| = rj=1 d2j , por lo que si
dj = 1 para toda j se obtiene que |G| = r, sto es, hay tantas clases de conjugacin en G
como elementos en G. Por lo tanto, cada elemento es su nico conjugado, lo cual implica
que G es abeliano.
3.21 Corolario.
Si G es un grupo (no necesariamente abeliano), y V es un G-mdulo de dimensin 1,

existe un nico (salvo isomorfismo) G/G0 -mdulo W de dimensin 1 tal que V =
0
infG
G/G0 W. Por lo tanto, G tiene exactamente |G/G | mdulos simples de dimensin 1.
Demostracin. Por la proposicin 2.8, basta con dar una correspondencia biyectiva entre
los conjuntos:
{homomorfismos G C },
{homomorfismos G/G0 C },
(3.47)
pero so se sigue del hecho de que C es abeliano y del teorema de correspondencia en

grupos, pues dado un morfismo de grupos G C existe un nico morfismo G/G0 C
que hace conmutar el diagrama:
/ C
y<
y
yy
yy
y
y
G/G0
G
(3.48)
En la prctica, para construir la tabla de carcteres de un producto G H, conviene

seguir la siguiente estrategia. Supongamos que g1 , g2 , . . . , gr son representantes de las
clases de conjugacin de G y que h1 , h2 , . . . , hs son representantes de las clases de conjugacin de H. Entonces enlistamos representantes de las clases de conjugacin de G H
como:
(g1 , h1 ), (g1 , h2 ), . . . , (g1 , hs ), (g2 , h1 ), (g2 , h2 ), . . . , (g2 , hs ), . . . (gr , h1 ), (gr , h2 ), . . . , (gr , hs ).
(3.49)
59
3.4. Grupos abelianos
y similarmente enlistamos los carcteres irreducibles. Si la tabla de carcteres de G tiene

matriz A = (aij ) y la tabla de carcteres de H tiene matriz B, entonces la tabla de carcteres
de G H tiene matriz:
a11 B a12 B a1r B

..
..
.. ,
(3.50)
.
.
.
ar1 B
ar2 B
arr B
y tambin podemos usar que si la clase de conjugacin de g tiene m elementos, y la clase

de conjugacin de h tiene n elementos, entonces la clase de conjugacin de (g, h) tiene
mn elementos.
3.6
Ejemplo
Sea G = C2 C2 un producto de dos copias del grupo cclico de 2 elementos C2 . Supongamos

que la primera copia de C2 est generada por a y la segunda copia por b, de modo que G =
hai hbi. Formamos dos copias de las tablas de carcteres de C2 .
1
1
1
1
C2
0
1
1
a
1
1
1
1
1
1
C2
0
1
1
b
1
1
de donde, utilizando la proposicin 3.19 y la ecuacin 3.41, obtenemos la tabla de G:

C2 C2
1
2
3
4
= 0 0
= 0 1
= 1 0
= 1 1
1
(1,1)
1
1
1
1
1
(1, b)
1
1
1
1
1
(a, 1)
1
1
1
1
1
(a, b)
1
1
1
1
3.7
Ejemplo
Consideremos un ejemplo no abeliano, sea G = C2 S3 . Tenemos las respectivas tablas:
C2
0
1
1
1
1
1
S3
1
a
1
1
0
1
2
1
(1)
1
1
2
3
(12)
1
1
0
2
(123)
1
1
1
y entonces la tabla de G es:

C2 S3
1
2
3
4
5
6
= 0 0
= 0 1
= 0 2
= 1 0
= 1 1
= 1 2
1
1, (1)
1
1
2
1
1
2
3
1, (12)
1
1
0
1
1
0
2
1, (123)
1
1
1
1
1
1
1
a, (1)
1
1
2
1
1
2
3
a, (12)
1
1
0
1
1
0
2
a, (123)
1
1
1
1
1
1
60
3.5.
Grupos no abelianos pequeos

Ya hemos calculado antes la tabla de carcteres del grupo S3 , el cual es el grupo no
abeliano ms pequeo, (ejemplo 3.4). Los grupos no abelianos que le siguen en tamao
son dos grupos de orden 8: el grupo didrico D4 y el grupo de cuaternios Q.
3.8
Ejemplo
Sea G = D4 . El grupo G puede pensarse ms concretamente como el grupo de permutaciones

rgidas de un cuadrado, por ejemplo si consideramos el cuadrado:
1
4
(3.51)
3
entonces podemos ver a G como el siguiente subgrupo de S4 :

G = {(1), (1234), (13)(24), (1432), (12)(34), (14)(23), (13), (24)}.
(3.52)
0
Es inmediato comprobar que H = h(13)(24)iCG. Como G/H es abeliano, tenemos que G 6 H,

adems G0 6= 1 pues G no es abeliano. Por lo tanto, G0 = H y G tiene 4 carcteres lineales.
Adems, G debe tener al menos 5 clases de conjugacin.
Directamente se comprueba que las clases de conjugacin de G son
{(1)}, {(1234), (1432)}, {(13)(24)}, {(12)(34), (14)(23)} y {(13), (24)}. Considerando la
proyeccin cannica G G/G0 , los elementos (1) y (13)(24) se identifican en el elemento
identidad de G/G0 y las otras clases de conjugacin se colapsan para formar los otros tres
elementos del cociente. Es inmediato verificar que cada elemento de G/G0 tiene orden 2, por
lo que G/G0 es isomorfo a C2 C2 . Del corolario 3.21, se obtiene que G tiene exactamente 4
representaciones lineales, por lo que exactamente una, que denotaremos S, es no lineal.
Inflando los carcteres simples de C2 C2 obtenidos en el ejemplo 3.6, llegamos a la siguiente
tabla parcial:
D4
1
2
3
4
= infG
C2 C2 (1 )
= infG
C2 C2 (2 )
= infG
C2 C2 (3 )
= infG
C2 C2 (4 )
S
1
(1)
1
1
1
1
x
1
(13)(24)
1
1
1
1
y
2
(1234)
1
1
1
1
z
2
(12)(34)
1
1
1
1
u
2
(13)
1
1
1
1
v
El corolario 2.24 implica entonces que 12 +12 +12 +12 +x2 = 8, de donde x = 2. Ortogonalidad
de las dems columnas con la primera (ver corolario 3.17), implica que y = 2, z = u = v = 0.
Con sto, completamos la tabla de carcteres del grupo D4 .
D4
1
2
3
4
S
1
(1)
1
1
1
1
2
1
(13)(24)
1
1
1
1
2
2
(1234)
1
1
1
1
0
2
(12)(34)
1
1
1
1
0
2
(13)
1
1
1
1
0
61
3.5. Grupos no abelianos pequeos
En relacin al ejemplo 3.8, notemos que hemos sido capaces de calcular el carcter S
sin tener una descripcin concreta del mdulo S!
3.9
Ejemplo
El grupo de cuaternios Q tiene como conjunto subyacente a Q = {1, i, j, k, 1, i, j, k},

el producto est determinado por las siguientes reglas: x1 = 1x para todo x Q, x(1) =
(1)x = x para todo x Q (donde se aplica la regla usual (x) = x), (x)2 = x2 para todo
x Q, x2 = 1 si x = 1, 1, x2 = 1 si x = i, j, k, y las reglas restantes se deducen del siguiente
diagrama:
8i
(3.53)
kd
es decir, por ejemplo ij = k, pero kj = i. Directamente podemos comprobar que Q tiene 5

clases de conjugacin, que podemos representar con 1, 1, i, j, k. Adems H = {1, 1}
es un subgrupo normal de Q y Q/H es un grupo abeliano isomorfo a C2 C2 , de donde se
deduce que Q0 = H, y que las 4 representaciones lineales de Q se obtienen, como en el caso de
D4 , inflando las representaciones de C2 C2 . Queda solamente una representacin simple, y
el carcter de sta ltima est ya determinada por ortogonalidad de columnas. Es decir, que la
tabla de carcteres de Q se ve idntica a la tabla de carcteres de D4 .
Q
infG
C2 C2 (0 0 )
infG
C2 C2 (1 0 )
infG
C2 C2 (0 1 )
infG
C2 C2 (1 1 )
S
3.22 Corolario.
1
1
1
1
1
1
2
1
1
1
1
1
1
2
2
i
1
1
1
1
0
2
j
1
1
1
1
0
2
k
1
1
1
1
0
Grupos no isomorfos pueden tener igual tabla de carcteres. Es decir, la tabla de

carcteres no caracteriza al grupo.
Ejercicios 3.3
3.3.1 Encuentra subgrupos de M2 (C) que sean isomorfos, respectivamente, a D4 y a Q. De ste modo,
encontramos las mdulos simples S de dimensin 2 que aparecen en las tablas.
62
3.6.
Grupos simtricos pequeos

En sta seccin construiremos las tablas de carcteres de los grupos simtricos S4 y S5 .
3.10
Ejemplo
El grupo S4 tiene 5 clases de conjugacin, representadas por las permutaciones (1), (12),
(12)(34), (123), (1234), y tales clases tienen, respectivamente, 1, 6, 3, 8, 6 elementos. Por otro
lado, los nicos subgrupos normales de S4 son A4 , el subgrupo alternante formado por las permutaciones pares, y H = {(1), (12)(34), (13)(24), (14)(23)}. Puesto que S4 /H es isomorfo a S3 ,
que no es abeliano, mientras que S4 /A4 tiene dos elementos, concluimos que (S4 )0 = A4 . De
donde se obtiene que S4 tiene solamente dos representaciones lineales, la trivial C y la repre
sentacin signo C.
S3 para inflar la representacin estndar E3 de
Podemos adems usar el isomorfismo S4 /H =
S
S3 de dimensin 2 y obtener otro S4 -mdulo simple (infS43 E3 ), esta vez de dimensin 2.
Consideremos ahora la representacin estndar E = E4 de S4 . En ste caso, dim E = 4 1 = 3.
Adems existe un isomorfismo C4 = E C, por lo que E = C4 C . Utilizando que C4 es un
mdulo de permutaciones y la observacin del ejemplo 3.2, obtenemos E (1) = 3, E (12) =
2 1 = 1, E (123) = 1 1 = 0, E (1234) = 0 1 = 1 = E (12)(34). Entonces,
hE , E i =
1
(9 + 6 + 6 + 3) = 1,
24
(3.54)
por lo que E es simple. La ltima S4 -representacin simple se obtiene formando el producto

De aqu obtenemos la tabla de carcteres
la cual denotaremos con E.
tensorial de E con C,
de S4 :
S4
C
C
S
infS43 E3
E
E
Ejemplo
1
(1)
1
1
2
3
3
6
(12)
1
1
0
1
1
3
(12)(34)
1
1
2
1
1
8
(123)
1
1
1
0
0
6
(1234)
1
1
0
1
1
3.11
El grupo S5 tiene 7 clases de conjugacin, representadas por las permutaciones (1),

(12), (12)(34), (123), (123)(45), (1234), (12345), y tales clases tienen, respectivamente,
1, 10, 15, 20, 20, 30, 24 elementos. En adelante, si V es un S5 -mdulo, representaremos a V
como un vector en C7 donde cada entrada representa el valor de V en la clase correspondiente.
Aqu tenemos que (S5 )0 = A5 , por lo que slo hay dos representaciones lineales, la trivial C y
la signo C.
63
3.6. Grupos simtricos pequeos
Consideremos ahora la representacin estndar E de S5 . Como en el caso de S4 , podemos usar

que C5 = E C, de donde
E = C5 C = (5, 3, 1, 2, 0, 1, 0) (1, 1, 1, 1, 1, 1, 1) = (4, 2, 0, 1, 1, 0, 1).
(3.55)
Ahora,
1
(16 + 40 + 20 + 20 + 24) = 1,
(3.56)
120
por lo que E es simple. Tambin E = E C es simple.
Podemos obtener otro S5 -mdulo simple considerando 2 E. Utilizando la proposicin 3.7, se
obtiene el carcter de 2 E a partir de E . Obtendremos que 2 E = (6, 0, 2, 0, 0, 0, 1) y se
puede verificar inmediatamente que efectivamente es simple. Ntese que 2 E es isomorfo a
2 E C.
Obtendremos las siguientes representaciones simples considerando Sym2 E. Por medio de
la proposicin 3.7, llegamos a que Sym2 E = (10, 4, 2, 1, 1, 0, 0). Es inmediato ver que
hSym2 E , C i = 1 y que hSym2 E , E i = 1, por lo que existe una representacin W tal que
Sym2 E = C E W, con carcter W = Sym2 E C E = (5, 1, 1, 1, 1, 1, 0). Podemos en = W C es tambin
tonces verificar que hW , W i = 1, de modo que W es simple. Adems W
simple, y no isomorfa a W. Es decir, hemos completado la tabla de carcteres de S5 :
hE , E i =
S5
C
C
E
E
2 E
W
1
(1)
1
1
4
4
6
5
5
10
(12)
1
1
2
2
0
1
1
15
(12)(34)
1
1
0
0
2
1
1
20
(123)
1
1
1
1
0
1
1
20
(123)(45)
1
1
1
1
0
1
1
30
(1234)
1
1
0
0
0
1
1
Ejercicios 3.4
3.4.1 Consideremos S4 = S{1,2,3,4} como un subgrupo de S5 . Demuestra que:
S
E S54 = C E = C4 ,
S
E S54 = C E,
2 E S54 = E E,
S
W S54 = infS43 E3 E,
S5 = infS4 E3 E.
W
S4
S3
24
(12345)
1
1
1
1
1
0
0
64
3.7.
Grupos alternantes pequeos

En sta seccin construiremos las tablas de carcteres de los grupos alternantes A4 y
A5 .
El grupo alternante An contiene a las clases de conjugacin de elementos de Sn representadas por permutaciones pares. Sin embargo, es posible que dos permutaciones conjugadas en Sn no lo sean en An .
3.12
Ejemplo
El grupo A4 contiene a las clases de S4 representadas por (1), (12)(34) y (123). Es fcil ver
directamente que los elementos (12)(34), (13)(24) y (14)(23) estn en la misma clase de A4 .
Sin embargo, la clase de (123) en S4 no puede formar clase en A4 , pues hay 8 elementos en
tal clase de S4 y 8 no divide a 12 = |A4 |. De hecho, puesto que 8 = |C 24
, tenemos que
(123)|
S4
= 4. Un representante de la otra clase de

|CA4 (123)| = 3, de donde |clase de (123) en A4 | = 12
3
4-elementos es (132).
El subgrupo H = {(1), (12)(34), (13)(24), (14)(23)} es normal en A4 y el cociente es un grupo
cclico de orden 3, de modo que H = (A4 )0 , y se sigue que A4 tiene 3 mdulos lineales simples.
Si denotamos los carcteres de C3 como 0 , 1 , 2 y es una raz cbica de la unidad, la tabla
de A4 empieza como:
A4
A
infA44 /H 0
A
infA44 /H 1
A
infA44 /H 2
S
1
(1)
1
1
1
x
3
(12)(34)
1
1
1
y
4
(123)
1
2
z
4
(132)
1
2
Como 3 + x2 = 12, tenemos que x = dim S = 3. El resto de las entradas se obtienen por
ortogonalidad de columnas: y = 1, z = w = 0. Ntese que S tambin puede obtenerse como
la restriccin de la representacin estndar de S4 .
Ejemplo
3.13
Similarmente al caso de A4 , se puede ver que los 15 conjugados de (12)(34) y los 20 conjugados
de (123) en S5 , siguen formando clases de conjugacin en A5 , sin embargo la clase de (12345) se
divide en dos clases. Por lo tanto, tenemos clases de tamaos 1, 15, 20, 12, 12 con representantes
(1), (12)(34), (123), (12345), (12354).
Como el grupo A5 es simple, se debe tener (A5 )0 = A5 , y por lo tanto la nica representacin
lineal simple es la trivial.
Si E y W denotan las correspondientes representaciones de irreducibles de S5 , resulta inmediato
S S5
S
S
S
S
ver que E S54 =
E S4 y W S54 =
W S54 , y adems E S54 y W S54 son simples. Si d1 y d2 son las
dimensiones de los dos A5 -mduloes simples restantes, tenemos que 1 + 16 + 25 + d21 + d22 = 60,
de donde d21 + d22 = 18, es decir d1 = d2 = 3. Tenemos la siguiente tabla:
65
3.8. Tablas de carcteres en GAP
C
ES5
1
(1)
1
4
15
(12)(34)
1
0
20
(123)
1
1
12
(12345)
1
1
12
(12354)
1
1
WS5
V
V 0
3
3
x1
x2
y1
y2
z1
z2
w1
w2
A5
S4
S4
Es fcil ver que (12)(34), (123), (12345) y (12354) son conjugados en A5 a su inverso, por lo
que las entradas restantes en la tabla son nmeros reales (ejercicio 3.1.1). La ortogonalidad de
columnas (corolario 3.17) implica el sistema:
6 + 3x1 + 3x2 = 0,
1 + 1 + x21 + x22 =
60
,
15
(3.57)
de donde se obtiene x1 = x2 = 1. De la tercer columna obtenemos:

1 + 1 + 1 + y21 + y22 =
60
,
20
(3.58)
por lo que y1 = y2 = 0. Despus, llegamos al sistema:

z21 + z22 = 3,
1 5
.
2
z1 + z2 = 1,
Sin prdida de generalidad, ponemos z1 =

de donde se deduce z1 =
z2 = 1+2 5 , y sto determina w2 = z1 , w1 = z2 .
3.8.
(3.59)
1+ 5
,
2
entonces
Tablas de carcteres en GAP

En GAP, el comando Irr da una lista de los carcteres complejos irreducibles del
grupo. Por ejemplo:
gap> g:=SymmetricGroup(4);
Sym( [ 1 .. 4 ] )
gap> ConjugacyClasses(g);
[ ()^G, (1,2)^G, (1,2)(3,4)^G, (1,2,3)^G, (1,2,3,4)^G ]
gap> Irr(g);
[ Character( CharacterTable( Sym( [ 1 .. 4 ] ) ), [ 1, -1, 1, 1, -1 ] ),
Character( CharacterTable( Sym( [ 1 .. 4 ] ) ), [ 3, -1, -1, 0, 1 ] ),
Character( CharacterTable( Sym( [ 1 .. 4 ] ) ), [ 2, 0, 2, -1, 0 ] ),
Character( CharacterTable( Sym( [ 1 .. 4 ] ) ), [ 3, 1, -1, 0, -1 ] ),
Character( CharacterTable( Sym( [ 1 .. 4 ] ) ), [ 1, 1, 1, 1, 1 ] ) ]
66
nos da las 5 clases de conjugacin de S4 , sus representantes y sus carcteres.
4
Carcteres y mdulos inducidos
4.1.
Ms sobre funciones de clase

Recordemos que una funcin de clase es una funcin : G C que es constante
en clases de conjugacin de G, y que el conjunto de funciones de clase es una sublgebra del lgebra de funciones G C. En particular, es un espacio vectorial, y notemos
que el producto interno de carcteres puede extenderse naturalmente a un producto de
funciones
de clase, es decir, si , son funciones de clase, podemos definir h, i como
P
1
(g)(g),
el cual es inmediato mostrar que es un producto interno en el sentido
gG
|G|
usual de espacios vectoriales (1 ) en el espacio de funciones de clase.
Supongamos que 1 , 2 , . . . , r es una coleccin completa de los carcteres simples de
un grupo G. Puesto que entonces G tiene exactamente r clases de conjugacin, el espacio
vectorial de funciones de clase tiene dimensin r.
4.1 Proposicin.
Si 1 , 2 , . . . , r es una coleccin completa de los carcteres simples de un grupo G,

entonces tambin es una base para el espacio de funciones de clase.
Demostracin. Por el teorema 3.11, es inmediato que 1 , 2 , . . . , r son linealmente independientes, de donde se deduce que son base, pues ya hemos observado que el espacio de
funciones de clase tiene dimensin r.
En particular, 1 , 2 , . . . , r forman una base ortonormal para el espacio de funciones

de clase.
1 FiXme:
poner referencia
67
68
4.2 Proposicin.
Captulo 4. Carcteres y mdulos inducidos
Una funcin de clase : G C es un carcter si y slo si 6= 0 y h, i es un entero

no negativo para todo carcter simple de G.
Demostracin. Si es un carcter, entonces (1) > 0, por lo tanto 6= 0. Adems h, i

es un entero no negativo si es simple por el corolario 3.12.
Supongamos ahora h, j i = aj para j = 1, . . . , r, donde 1 , 2 , . . . , r forman una
coleccin
completa de carcteres simples y aj es un entero no negativo. Entonces =
Pr
ar
1
a
, de donde es el carcter del mdulo Sa

j
j
j=1
1 Sr 6= 0.
4.1
Ejemplo
Sea G = S3 y : G C dada por (g) = orden de g. Es decir, es la funcin de clase dada por

(1) = 1, (12) = 2, (123) = 3. Tenemos que h, C i = 16 (1 + 6 + 6), de modo que
no es un carcter de G.
4.2.
Carcteres inducidos
4.3 Definicin.
Sea H 6 G y sea : H C una funcin. Definimos la funcin G

H : G C como:
G
H (g) =
1
|H|
(x1 gx).
(4.1)
xG,
x1 gxH
Decimos que la funcin G

H es inducida por la funcin .
Observemos que si H 6 G, y x, g G son tales que x1 gx H, entonces para todo

1 1
h H se tiene que (xh)1 g(xh)
= h 1(x gx)h H. Si es una funcin de clase, adems
1 1
tenemos que h (x gx)h = (x gx). Sea T una transversal izquierda de H en G, es
decir, una coleccin de representantes de las clases laterales izquierdas de H, de modo que
si T = {t1 , . . . , ts } entonces G = t1 H ts H. Por lo tanto, si : H C es una funcin
de clase, podemos calcular a G
H por medio de la frmula:
G
H (g) =
X
xT ,
x1 gxH
(x1 gx).
(4.2)
69
4.2. Carcteres inducidos
4.4 Proposicin.
Si H 6 G y : H C es una funcin de clase, entonces G

H : G C es una funcin
de clase
Demostracin. Para g, y G tenemos que

1
G
)=
H (ygy
1
|H|
1
|H|
1
|H|
1
|H|
(xygy1 x1 )
(4.3)
((xy)g(xy)1 )
(4.4)
xG,
x(ygy1 )x1 H
X
xG,
(xy)g(xy)1 H
(ugu1 )
(4.5)
(ugu1 )
(4.6)
uy1 G,
ugu1 H
uG,
ugu1 H
= G
H (g)
(4.7)
en donde hicimos el cambio de variable u = xy, (esto es x = uy1 ), y notamos que

uy1 G si y slo si u G.
4.2
Ejemplo
S3 . Como en
Sea G = S4 , con su accin natural en X = {1, 2, 3, 4}. Sea H = StabG (4) =
el ejemplo 4.1, consideremos la funcin : H C dada por (h) = orden de h. Queremos
calcular G
H . Como es una funcin de clase, por la proposicin anterior basta determinar
G
H en representantes de las clases de conjugacin de G: (1), (12), (12)(34), (123), (1234).
Usaremos la frmula (4.2), notando que podemos usar la transversal T = {(1), (14), (24), (34)}.
Entonces
X

G
x1 (1)x = |T |(1) = 4.
(4.8)
H (1) =
xT
Para g = (12), los nicos elementos x T tales que x1 gx H = StabG (4) son x = 1 y
x = (13), por lo que

G
(4.9)
H (12) = (12) + (23) = 4,

1
G
Para g = (12)(34), no existe x T tal que x gx H = StabG (4), por lo que H (12)(34) =

0, y lo mismo sucede con g = (1234). Finalmente, se puede determinar que G
H (123) =

(123) = 3.
El siguiente teorema es ms til que un clculo directo de la definicin, para determinar

carcteres inducidos.
70
4.5 Teorema.
(Reciprocidad de Frobenius) Sea H 6 G, y sean : H C, : G C funciones de

clase. Entonces
G
h G
(4.10)
H , i = h, H i.

h G
H , i =
1 X G
H (g)(g)
|G|
(4.11)
1 X 1
|G|
|H|
(4.12)
gG
gG
1 1
|G| |H|

(xgx1 ) (g)
xG,
xgx1 H
(xgx1 )(g),
(4.13)
{ (g,x)|gG, xgx1 H }
hacemos el cambio u = xgx1 , entonces g = x1 ux,

=
=
1 1
|G| |H|
(u)(x1 ux),
(4.14)
{ (x1 ux,x)|x1 uxG, uH }
X
1 1
|G|
(u)(u)
|G| |H|
(4.15)
uH
pues si u H, x1 ux G para todo x G, adems (x1 ux) = (u)

= h, G
Hi
4.6 Corolario.
(4.16)
Si H 6 G y : H C es un carcter entonces G
H : G C es un carcter.
Demostracin. Ya sabemos que G

H : G C es una funcin de clase, as que apliquemos
el criterio de la proposicin 4.2. Tenemos que G
H (1) = [G : H](1) > 0 y si un carcter
simple de G, entonces
G
h G
(4.17)
H , i = h, H i,
el cual es un entero no negativo, pues es el producto interno de dos carcteres (ver teorema 3.11). El resultado se sigue entonces de la proposicin 4.2.
71
4.3. Mdulos inducidos
4.3.
Mdulos inducidos
En sta seccin supondremos que G es un grupo, H un subgrupo de G y T = {t1 , . . . , ts }
una transversal izquierda de H en G fija, donde tj = 1.
Si W un H-mdulo, el corolario 4.6 implica que (W ) G
H es un carcter. Nuestra meta
es encontrar un G-mdulo V tal que V = (W ) G
.
H
4.7 Definicin.
Sean V un G-mdulo, W un subespacio de V tal que { g G | gW = W } = H (de

manera que W es un H-mdulo). Decimos que el G-mdulo V es inducido por el
H-mdulo W si V = si=1 ti W como espacio vectorial.
Notemos que la definicin no depende de la transversal escogida, pues si t = t0 h con

h H, entonces tW = t0 hW = t0 W. Adems, la inclusin de W en V puede interpretarse
como un morfismo de H-mdulos W V G
H.
gW como gH-mdulos.
En el ejercicio 2.2.5 se pidi demostrar que gW =
4.3
Ejemplo
|G|
Sea X un G-conjunto transitivo, x X y H = StabG (x). Entonces un conjunto T con |H|
= |X|
elementos es una transversal de H en G precisamente cuando { tx | t T } = X. Sea V el mdulo
de permutaciones con base X y W el subespacio vectorial con base x. Entonces W es el Hmdulo trivial, y V como G-mdulo es inducido por H.
4.8 Proposicin.
Si el G-mdulo V es inducido por el H-mdulo W, entonces V = (W ) G

H.
Demostracin. Si B es base de W, entonces sj=1 tj B es base de V, por lo que dado g G

calcularemos V (g) usando esa base. Tenemos entonces que:
V (g) =
tr(g|tj W ),
(4.18)
{ j|gtj W6tj W }
1
y gtj W 6 tj W si y slo si t1
j gtj W 6 W, si y slo si tj gtj H. Es inmediato que
1
1
[g]tj B = [tj gtj ]B , por lo que tr(g|tj W ) = V (tj gtj ), y por la ecuacin 4.2, terminamos
la demostracin.
72
4.9 Teorema.
Dados H 6 G y W un H-mdulo, existe un G-mdulo V inducido por W.
Demostracin. Como espacio vectorial, V es suma directa de s copias de W. Si w W

est en el j-simo sumando de la suma directa, denotaremos al correspondiente elemento
de V como (w, j).
Definiremos ahora la accin de G en V. Notemos primero que basta definirla en los
elementos de la forma (w, j), pues cualquier otro elemento de V es suma de tales elementos.
Primero, definimos la accin de los elementos de H como: h(w, j) = (hw, j). Luego,
para tj T , ponemos tj (w, 1) = (w, j) (sto es consistente con la definicin anterior para
t1 = 1 H). sto determina la accin de g G en (w, j), pues g(w, j) = gtj (w, 1), y si
escribimos gtj = tk h con h H, entonces:
g(w, j) = gtj (w, 1) = tk h(w, 1) = tk (hw, 1) = (hw, k).
(4.19)
Para ver que tenemos una accin de G, consideremos g como antes y g0 G, entonces:

g0 g(w, j) = g0 (hw, k) = g0 tk (hw, 1) = tl h0 (hw, 1) = h0 (hw), l ,
(4.20)
donde g0 tk = tl h0 . Por otro lado, para calcular (g0 g)(w, j), tenemos que reescribir g0 gtj =
g0 tk h = tl h0 h, por lo que:

(g0 g)(w, j) = (h0 h)w, l ,
(4.21)
que es igual al resultado en (4.20), de donde V es un G-mdulo.
Veamos ahora que V satisface la definicin de mdulo inducido. Los elementos de la
forma (w, 1) forman un subespacio de V que es isomorfo a W como H-mdulo, por lo
que lo identificaremos con W. Claramente V = si=1 ti W por la forma como fue definida
la accin, y adems si g(w, 1) W, entonces g = t1 h para algn h H, pero t1 = 1, con
lo que g H.
El siguiente teorema implica que, dado el H-mdulo W, el mdulo inducido por W es

nico salvo isomorfismo.
4.10 Teorema.
Sean H 6 G, W un H-mdulo, V 0 un G-mdulo y : H V 0 G

H un morfismo de
H-mdulos. Sea V el mdulo construido en el teorema 4.9. Entonces existe un nico
morfismo de G-mdulos : V V 0 que extiende a .
73
4.3. Mdulos inducidos

Demostracin. Si extiende a , debemos tener:

(w, j) = tj (w, 1) = tj (w, 1) = tj (w),
(4.22)
por lo que basta comprobar que la ecuacin (4.22) define un morfismo de G-mdulos. Si
g G, tenemos que:

g(w, j) = gtj (w, 1) = tk h(w, 1) = (hw, k) = tk (hw),
(4.23)
donde gtj = tk h con h H, mientras que:
g(w, j) = gtj (w) = tk h(w).
(4.24)
Como sta expresin es igual a la de la ecuacin (4.23), hemos terminado la demostracin.
Dado el H-mdulo W, el mdulo V inducido por W ser denotado como V = W G

H.
Ejercicios 4.1
4.1.1 Supongamos H 6 G, y sean W un H-mdulo y V 0 un G-mdulo. Demuestra que los espacios
0
0 G
vectoriales homCG (W G
H , V ), homCH (W, V H ) son isomorfos. Explica por qu esto da otra demostracin de la reciprocidad de Frobenius (teorema 4.5) en el caso de que , sean carcteres.
74
5
Teoremas de Burnside y Frobenius
5.1.
El kernel de un carcter
En sta seccin, a menos que se indique lo contrario, V denotar un G-mdulo, n =
dim V, : G GL(V) el homomorfismo de grupos asociado y su carcter.
5.1 Lema.
Sean aj , bj R, cj C, j = 1, . . . , r
P
P
1. Si aj 6 bj , j = 1, . . . , r y rj=1 aj = rj=1 bj , entonces aj = bj , j = 1, . . . , r.
P
P
2. Si |cj | 6 bj , j = 1, . . . , r y rj=1 cj = rj=1 bj , entonces cj = bj , j = 1, . . . , r.
Demostracin. Para el primer enunciado, notar que si ak <

k entre 1
P bk para alguna
Pr
y r, entonces de aj 6 bj para j = 1, . . . , r se obtiene que rj=1 aj <
b
j=1 j , lo cual
contradice la hiptesis.
Para el segundo enunciado, denotando con <zP
la parte realP
del nmero complejo
z, las
P
hiptesis implican que <cj 6 |cj | 6 bj y que <( rj=1 cj ) = rj=1 <cj = <( rj=1 bj ) =
Pr
j=1 bj . Por el prrafo anterior aplicado a aj = <cj se tiene que <cj = bj para toda j.
Puesto que adems =cj , la parte imaginaria de cj , satisface |cj |2 = (<cj )2 + (=cj )2 6 b2j ,
se llega a que =cj = 0, de donde cj es real y cj = bj .
5.2 Proposicin.
Para g G, g ker si y slo si (g) = (1).
75
76
Captulo 5. Teoremas de Burnside y Frobenius
Demostracin. Si g ker , entonces (g) = I = (1), donde I es la matriz identidad,

y por lo tanto, (g) = (1). Supongamos P
ahora (g) = (1). Como se observ en la
demostracin de la proposicin 3.3, (g) = n
propios
j=1 j , donde los j son los valores
P
de (g), los cuales satisfacen |j | = 1 y n = (1) = dim V. Por lo tanto, n = n
j=1 j =
Pn
j=1 1. Por el lema 5.1, llegamos a que los j deben ser todos iguales a 1, de donde (g)
es semejante a I, es decir, (g) = I y por lo tanto, g ker .
5.3 Definicin.
Si es el carcter de algn G-mdulo, definimos ker = { g G | (g) = (1) }.
Desde luego, la proposicin 5.2 implica que ker es siempre un subgrupo normal de
G.
5.4 Proposicin.
Sea G un grupo finito y N C G. Entonces existe una correspondencia biyectiva entre

los carcteres de G/N y los carcteres de G tales que N 6 ker . Tal correspondencia
preserva carcteres simples.
Demostracin. Sea un carcter de G con N 6 ker y sea : G L(V) el homomorfis : G/N L(V) que
mo asociado. Como N 6 ker = ker , existe un nico morfismo
hace conmutar el diagrama:
/ G/N
G
x
x
xx
.
(5.1)
xx
x
{x
L(V)
donde es el carcter correspondiente a
Definimos entonces la correspondencia 7 ,
Notemos que (gN)
.
= (g).
Recprocamente, si es un carcter de G/N con homomorfismo correspondiente
Clara L(W) con carcter .

: G/N L(W), sea la composicin G G/N
mente N 6 ker = ker , por lo que definimos la correspondencia 7 . En este caso,
tenemos que (gN) = (g).
De los dos prrafos anteriores, tenemos que (g)

= (gN)
= (g), y que (gN)
=
(g) = (gN), por lo que se establece la correspondencia biyectiva entre los conjuntos
dados. La correspondencia preserva los carcteres simples, pues claramente un subespacio
de V es un G-submdulo si y slo si es un G/N-submdulo.
En lo sucesivo, utilizaremos Irr(G) = {1 , . . . , r } para denotar una coleccin completa
de carcteres simples de G.
5.1. El kernel de un carcter
5.5 Proposicin.
Sea =
Pr
j=1
77
nj j . Entonces ker = nj >0 ker j .
Demostracin.
Sea
que (g) = (1), de donde (g) =
Pr
P g ker , entonces se tieneP
j=1 nj j (g) =
nj >0 nj j (g) es igual a (1) =
nj >0 nj j (1). Aplicando el lema 5.1,
recordando de la proposicin 3.3, que |j (g)| 6 j (1) para toda j = 1, . . . , r, obtenemos
que j (g) = i (j) para todo j tal que nj > 0, esto es, g nj >0 ker j .
Por otro lado, si g nj >0 ker j , entonces claramente nj j (g) = nj j (1) para toda j,
por lo que (g) = (1), es decir, g ker .
5.6 Proposicin.
Sea G un grupo finito y N C G. Entonces

1. j Irr(G) ker j = 1,
2. j Irr(G), N6ker j ker j = N,
3. j Irr(G), j (1)=1 ker j = G0 .
Demostracin. Si es el carcter P
de la representacin regular de G, entonces ker =
r
1 (ver ejemplo 3.2). Adems =
j=1 j (1)j y j (1) > 0 para toda j. Aplicando la
proposicin 5.5 a obtenemos el primer resultado.
Para el segundo enunciado, aplicamos el primer prrafo al grupo G/N. Pero por la
proposicin 5.4, los carcteres simples de G/N se identifican con los carcteres simples de
N tales que su kernel contiene a N.
Para el tercer enunciado, recordemos que si es un carcter lineal, entonces : G
C es un homomorfismo, y como (1) = 1, el kernel de como carcter es el mismo
que como homomorfismo. Como G/ ker es isomorfo a un subgrupo de C , es abeliano,
por lo que G0 6 ker , de donde G0 6 j Irr(G), j (1)=1 ker j . Para probar la contencin
inversa, del segundo enunciado obtenemos que G0 = j Irr(G), G0 6ker j ker j . Puesto que
j (1) = 1 implica que G0 6 ker j , en la interseccin j Irr(G), j (1)=1 ker j participan,
al menos los mismos intersectandos, por lo que sta ltima est contenida en G0 , con lo
que se concluye la demostracin.
78
5.2.
El centro de un carcter
5.7 Lema.
Si H es un subgrupo finito del grupo multiplicativo de los complejos C , entonces H

es cclico.
Demostracin. En general, si F es cualquier campo y H es un subgrupo finito del grupo

F = F {0}, se tiene que H es cclico. Ver por ejemplo...1 .
5.8 Lema.
Sea V un G-mdulo simple y : G GL(V) el homomorfismo asociado. Sea U : V

V lineal tal que U(g) = (g)U para todo g G. Entonces existe c C tal que
U = c1V .
Demostracin. La condicin U(g) = (g)U implica que U homCG (V, V), y el corolario 1.31 nos da que este ltimo conjunto est formado solamente por mltiplos escalares
de la transformacin identidad.
5.9 Definicin.
Sea un carcter de G. Definimos el centro de como:

Z() = { g G | |(g)| = (1) } .
(5.2)
Dado un carcter de G, al carcter de la restriccin de la representacin de a un

subgrupo H 6 G (ver definicin 2.9) se le denotar con G
H.
5.10 Proposicin.
Sea V un G-mdulo con carcter , : G GL(V) el homomorfismo asociado y

n = dim V = (1). Entonces:
1. Z() = { g G | (g) = c1V para algn c C },
2. Z() 6 G,
3. G
Z() = n para algn carcter lineal de Z(),
4. Z()/ ker es cclico,
5. Z()/ ker 6 Z(G/ ker ).
6. Si V es un G-mdulo simple, entonces Z()/ ker = Z(G/ ker ).
1 FiXme:
PONER REFERENCIA
79
5.2. El centro de un carcter
Demostracin. Para la primera afirmacin, recordemos del lema 3.2, que para todo g G
se tiene que (g) : V P
V es diagonalizable, y todos sus valores propios tienen norma 1,
n
por lo tanto,
(g)
=
Pn
Pnk=1 k , con |k | = 1. Tomemos g Z(), entonces |(g)| = n, de
donde | k=1 k | = k=1 |k |. Del resultado en [Ahl78, p. 10], obtenemos que k /l =
k,l es un real positivo para 1 6 k, l 6 n. Pero k,l = |k,l | = |k |/|l | = 1, de donde
k = l para 1 6 k, l 6 n. Sea c el valor comn de las k . Entonces existe una base de V
donde (g) tiene matriz cIn . Pero entonces eso sucede para toda base de V (pues cualquier
matriz conjugada a cIn es igual a ella misma), por lo que (g) = c1V . Recprocamente, si
(g) = c1V , entonces |(g)| = |nc| = n|c| = n = |(1)|, es decir g Z().
Para el segundo enunciado, sean g1 , g2 Z(). Entonces existen c1 , c2 C con
(g1 ) = c1 1V y (g2 ) = c2 1V , de donde (g1 g2 ) = (c1 1V ) (c2 1V ) = c1 c2 1V , de
donde g1 g2 Z(). Como G es finito, esto es suficiente para mostrar que Z() 6 G.
Para el tercer enunciado, definimos : Z() C por medio de la ecuacin (g) =
(g)1V . Hemos visto en el prrafo anterior que (g1 )(g2 )1V = (g1 g2 ) = (g1 g2 )1V ,
de donde se obtiene que : Z() C es un homomorfismo, es decir, un carcter lineal.
Tambin hemos visto que si g Z() se tiene que (g) = n(g), de donde G
Z() = n.
Para demostrar el cuarto enunciado, primero observemos que para el homomorfismo
del prrafo anterior : Z() C se tiene que ker = ker , dado que ambos son subconjuntos de Z() y para g Z(), (g) = n(g), de donde claramente (g) = n = (1)
si y slo si (g) = 1. Por lo tanto Z()/ ker = Z()/ ker es isomorfo a im 6 C .
Por el lema 5.7, este grupo es cclico.
Para el siguiente enunciado, recordemos de la proposicin 5.2, que ker = ker , por
lo que obtenemos isomorfismos
(G),
G/ ker = G/ ker =
(5.3)
y bajo este isomorfismo tenemos que Z(G/ ker ) se corresponde con Z((G)). Por otro
lado, del primer enunciado aqu demostrado, se deduce que (Z()) 6 Z((G)), pues
(g) es un mltiplo de la transformacin identidad para g Z(). Por lo tanto, el subgrupo de G/ ker correspondiente a (Z()), es decir Z()/ ker = Z()/ ker , es de
hecho un subgrupo de Z(G/ ker ).
Finalmente, para el ltimo enunciado basta mostrar que en el caso de que V sea simple
se tiene la inclusin Z(G/ ker ) 6 Z()/ ker . Supongamos que g ker Z(G/ ker ).
Por la observacin despus de la ecuacin 5.3, se tiene que (g) Z((G)). Por el
lema 5.8, (g) = c1V para alguna c C, de donde g Z().
Como una consecuencia inmediata del ltimo enunciado y del teorema de correspondencia en teora de grupos, obtenemos que si es simple, Z() C G.
80
5.11 Corolario.
Sea G un grupo finito. Entonces Z(G) = Irr(G) Z().
Demostracin. Sea Irr(G). Si a Z(G) es inmediato que a ker Z(G/ ker ). Pero
Z(G/ ker ) = Z()/ ker , de donde a Z().
Recprocamente, supongamos que a Z() para todo Irr(G). Entonces g ker
Z(G/ ker ) para todo Irr(G). Y para todo x G y todo a ker Z(A/ ker ) tenemos
entonces (a ker )(x ker ) = (x ker )(a ker ), es decir, [a, x] = a1 x1 ax ker . Por lo
tanto, para todo x G tenemos [a, x] Irr(G) ker = 1, es decir [a, x] = 1, de donde
a Z(G).
5.12 Lema.
Sea H 6 G, y sea un carcter de G. Entonces

G
h G
H , H i 6 [G : H]h, i,
(5.4)
en donde la igualdad se da si y slo si (g) = 0 para g G H.

G
|H|h G
H , H i =
X
hH
|(h)|2 6
|(g)|2 = |G|h, i,
(5.5)
gG
de donde se deduce el resultado.

5.13 Corolario.
Sea Irr(G). Entonces (1)2 6 [G : Z()], donde la igualdad se cumple si y slo si

se anula en G Z().
Demostracin. Sabemos que G

Z() = (1), donde es un carcter lineal de Z(). Por
G
2
lo tanto, h G
,
i
=
(1)
h, i = (1)2 , y por el lema 5.12 se tiene que
Z()
Z()
(1)2 6 [G : Z()]h, i = [G : Z()]
(5.6)
y la igualdad se cumple si y slo si se anula en G Z().

Puesto que Z(G) 6 Z() si Irr(G), para tal se tiene adems que (1)2 6 [G :
Z(G)].
5.14 Proposicin.
81
Sea Irr(G) con G/Z() abeliano. Entonces [G : Z()] = (1)2 .
Demostracin. Basta mostrar que se anula en G Z(). Sea g G Z(). Entonces

g ker 6 Z(G/ ker ), por lo que existe h G con gh ker 6= hg ker , esto es z =
g1 h1 gh = [g, h] 6 ker . Pero como G/Z() es abeliano, tenemos que G0 6 Z(), en
particular, z Z(). Sea V un G-mdulo con V = y : G GL(V) el homomorfismo
de grupos asociado. Entonces (z) = c1V , donde c 6= 1 pues z 6 ker = ker . Tenemos
que (gz) = (g)(z) = c(g), por lo que tomando trazas llegamos a que (gz) =
c(g). Pero gz = h1 gh, por lo que (gz) = (g), esto es (g) = c(g). Como c 6= 1,
entonces (g) = 0, como queramos demostrar.
5.15 Definicin.
Un carcter de G es fiel si ker = 1.
5.16 Teorema.
Sea G un grupo finito, entonces:

1. Si G tiene un carcter simple y fiel, entonces Z(G) es cclico.
2. Si G es un p-grupo y Z(G) es cclico, entonces G tiene un carcter simple y fiel.
Demostracin. Tenemos que para todo carcter , Z()/ ker es cclico. Si es adems
simple, ste grupo es igual a Z(G/ ker ), por lo que si es adems fiel, se tiene que Z()
es cclico y Z() = Z(G).
Para el segundo enunciado, recordemos de la teora de grupos que si G es un p-grupo
y 1 6= H 6 G, entonces H Z(G) 6= 1. Si Z(G) es cclico, entonces tiene un nico subgrupo
P de orden p. Observemos que si N es un subgrupo normal no trivial de G, puesto que
N Z(G) es un p-grupo no trivial, tal interseccin debe tener subgrupos de orden p. Pero
el nico subgrupo de orden p de Z(G) es P, por lo que se deduce que P 6 N para todo
1 6= N 6 G. Por otro lado, sabemos que Irr(G) ker = 1, de donde P 66 ker para
algn Irr(G), por lo que debemos tener ker = 1.
5.3.
Enteros algebraicos y carcteres
82
5.17 Definicin.
Un entero algebraico es un elemento del campo C que es raz de algn polinomio

mnico con coeficientes enteros.
Es decir, z C es un entero algebraico si existen an1 , . . . , a1 , a0 Z tales que

zn + an1 zn1 + + a1 z + a0 = 0.
5.18 Proposicin.
(5.7)
Sea z C. Entonces z C es un entero algebraico si y slo si z es valor propio de

alguna matriz A Mn (Z) para alguna n N.
Demostracin. Supongamos que zn + an1 zn1 + + a1 z + a0 = 0, donde a0 , a1 , . . .,

an1 son enteros. Entonces z es raz del polinomio caracterstico de la matriz n n:
0 0 0 0
a0
1 0 0 0
a1
0 1 0 0
a2
(5.8)
A=
.
..
..
..
.
.
.
0
1 an1
Por otro lado, si Au = zu para A Mn (Z) y u Cn , entonces z es raz del polinomio

caracterstico de A, el cual es mnico y tiene coeficientes enteros.
Por lo tanto, z C es un entero algebraico si y slo si es valor propio de alguna
transformacin lineal T : V V tal que V tiene una base B donde [T ]B consta de nmeros
enteros.
5.19 Proposicin.
El conjunto de enteros algebraicos es un subanillo de C.
Demostracin. Es suficiente mostrar que suma y producto de enteros algebraicos es un

entero algebraico. Sean z1 , z2 enteros algebraicos. Supongamos que son valores propios de
las transformaciones lineales T1 : V V, T2 : W W respectivamente, y que existen bases
B1 , B2 de V, W tales que [T ]B1 , [T ]B2 consta de enteros. Supongamos que T1 u1 = z1 U1 ,
T2 u2 = z2 u2 . Entonces se tiene que (T1 T2 )(u1 u2 ) = z1 z2 (u1 u2 ), y la matriz de
T1 T2 con respecto a B1 B2 consta solamente de enteros, y puesto que z1 z2 es valor
propio de T1 T2 , es un entero algebraico. Similarmente, z1 + z2 es valor propio de la
transformacin T1 1V2 + 1V1 T2 , por lo que tambin es un entero algebraico.
83
5.20 Corolario.
Sea un carcter del grupo finito G. Entonces (g) es un entero algebraico para todo
g G.
Demostracin. Sabemos que (g) es suma de valores propios de g : V V, cada uno de

los cuales es raz del polinomio xn 1, y por lo tanto, un entero algebraico.
De la demostracin del corolario 5.20, de hecho se ve que todos los carcteres de

un grupo G de orden n estn en la extensin Q() de los racionales, donde es una raz
primitiva n-sima de la unidad. En GAP, el comando CyclotomicField crea una extensin
tal, por ejemplo:
gap> CyclotomicField(12);
CF(12)
Consideremos un grupo finito G, sea V un G-mdulo simple, sea = V y : G

GL(V) el homomorfismo de grupos asociado. Recordemos que por la propiedad universal
del lgebra de grupo, el homomorfismo de grupos induce un morfismo de lgebras
: CG L(V). Si z Z(CG) y U = (z),
entonces tenemos que:
U(g) = (z)
(g)
= (gz)
= (zg)
= (g)
(z)
= (g)U,
(5.9)
es decir, U conmuta con todas las transformaciones lineales de la forma (g) para g G.
Por el lema 5.8, tenemos que (z)

= U = c1V para algn c C. Definamos la funcin
: Z(CG) C por medio de la ecuacin
(z)
= (z)1V .
(5.10)
Puesto que es un morfismo de lgebras, es inmediato que tambin lo es. En

particular, es una transformacin lineal, y est determinada por sus valores en una
base de Z(CG). Recordemos, de la proposicin 3.4, que si g1 , g2 , . . . , gP
r una coleccin
de representantes de las clases de conjugacin de G y definimos g j =
hgj h CG,
tenemos que g 1 , g 2 , . . . , g r es una base de Z(CG). Sean Cj = { h | h gj } y cj = |Cj |.
Entonces, tomando trazas en ambos lados de la ecuacin:
X
X
X
(x)
= (
x) = (
x)1V = (g j )1V ,
(5.11)
xCj
obtenemos:
xCj
X
xCj
xCj
(x) = cj (gj ) = (g j )(1),
(5.12)
84
de donde
(g j ) =
cj (gj )
,
(1)
(5.13)
en particular, los valores de se pueden determinar a partir de la tabla de carcteres.

Si g j g k =
5.21 Lema.
Pr
l=1
ajkl g l , los nmeros ajkl son enteros no negativos.

ajkl = coeficiente de g l en g j g k = | { (x, y) | x gj , y gk , xy = gl } |,
(5.14)
por lo que es un nmero entero no negativo.
5.22 Proposicin.
Cada (g j ) es un entero algebraico.
Demostracin. 2 .
Ejercicios 5.1
5.1.1 Encuentra un polinomio mnico con coeficientes enteros del cual
5.4.
2+
3 sea raz.
El teorema de Burnside
5.23 Teorema.
Sean un carcter simple del grupo G, g G, C = { h | h g } y c = |C|. Supongamos

que ((1), c) = 1. Entonces g Z() (g) = 0.
2 FiXme:
Incluir demostracin
85
5.4. El teorema de Burnside
Demostracin. Sabemos que (g)c

(1) es un entero algebraico. Como ((1), c) = 1, existen
u, v Z tales que u(1) + vc = 1. Por lo tanto
v
(g)c
(g)(1 u(1))
(g)
=
=
u(g),
(1)
(1)
(1)
(5.15)
es una igualdad entre enteros algebraicos. Como u(g) es un entero algebraico, =

es un entero algebraico.
(g)
(1)
Supongamos que g 6 Z(), es decir |(g)| 6= (1). Como |(g)| 6 (1), debemos tener
|(g)| < (1), es decir, || < 1.
Sea m el orden de g G. Sea E el subcampo de C que es campo de descomposicin del
polinomio xm 1 Q[x]. Entonces E, pues (g) es suma de races de dicho polinomio.
Para cada Gal(E, Q), tenemos que enva races de xm 1 en races de xm 1, por
lo que ((g)) es suma de races de xm 1. En particular, |((g))| 6
Q(1) para todo
Gal(E, Q), por lo que |()| 6 1 para todo Gal(E, Q). Sea = Gal(E,Q) ().
Entonces || < 1 y es un entero algebraico, pues es un producto de races de xm 1.
Sin embargo () = para todo Gal(E, Q), por lo que Q. Siendo un entero
algebraico racional, debemos tener Z, y de la desigualdad || < 1, llegamos a que
= 0. Por lo tanto () = 0 para alguna Gal(E, Q), pero como es un automorfismo,
obtenemos que = 0. Como = (g)
(1) , concluimos que (g) = 0.
5.24 Teorema.
Sea G un grupo simple y no abeliano. Entonces {1} es la nica clase de conjugacin de

G cuyo tamao es una potencia de un primo.
Demostracin. Supongamos lo contrario, y sea g G tal que | { h | h g } | = pa , con

g 6= 1. Sea un carcter simple de G tal que (1) > 1, el cual existe pues G es no abeliano.
Entonces ker = 1, pues G es simple, y Z() = Z(G) = 1, ya que G no es abeliano (y dado
que Z(G) C G, las nicas posibilidades eran Z(G) = 1 o Z(G) = G). Por el teorema 5.23,
tenemos que en caso de que p 6| (1), entonces (g) = 0. Consideremos : G C el
carcter de la representacin regular. Tenemos que:
0 = (g) =
X
Irr(G)
(1)(g) = 1 +
X
Irr(G),
p|(1)
(1)(g) = 1 + p
X
Irr(G),
p|(1)
(1)
(g). (5.16)
p
P
Sea = Irr(G), p|(1) (1)
p (g). Entonces es un entero algebraico, pero por otro lado
1 + p = 0, es decir, = p1 , lo cual es una contradiccin.
5.25 Teorema.
(Burnside) Sea G un grupo tal que |G| = pa qb , donde p, q son nmeros primos
distintos. Entonces G es soluble.
86
Demostracin. Supongamos que el teorema es falso, y sea G un grupo de orden mnimo

tal que |G| = pa qb y G no es soluble.
Entonces G es simple, pues si tuviramos 1 6= N C G, para algn N 6 G, entonces N y
0
0
G/N tendran ambos orden de la forma pa qb pero menor a |G|. Por construccin ambos
seran solubles y por lo tanto G tambin, contrario a la hiptesis.
Supongamos (sin prdida de generalidad) que a > 1. Sea P un p-subgrupo de Sylow
|G|
y sea g Z(P), g 6= 1. Entonces P 6 CG (g) y como | { h | h g } | = |CG
(g)| , la clase de
g tiene una cantidad de elementos que es una potencia prima (no trivial, pues g 6= 1), lo
cual contradice el teorema 5.24. Por lo tanto, G es soluble.
6
Representaciones del grupo simtrico
En ste captulo consideraremos un mtodo para construir las representaciones irreducibles del grupo simtrico Sn .
6.1.
Particiones y diagramas de Young

Ya sabemos que las representaciones irreducibles de cualquier grupo finito estn en
correspondencia biyectiva con las clases de conjugacin de sus elementos. En el caso del
grupo simtrico, dos elementos son conjugados si y slo si tienen la misma estructura
cclica. Las posibles estructuras cclicas en Sn se pueden a su vez corresponder con las
particiones de n, es decir, las diferentes maneras de escribir n como una suma de enteros.
Por ejemplo, en S4 :
(1)
(12)
(12)(34)
(123)
(1234)
4=1+1+1+1
4=2+1+1
4=2+2
4=3+1
4=4
(14 )
(2, 12 )
(22 )
(3, 1)
(4)
es decir, dado un elemento de Sn , escribimos n como una suma con tantos sumandos
iguales a i como ciclos ajenos de tamao i hay en una descomposicin de .
Hacemos el convenio de denotar a las particiones con las letras y , de modo que
los escalares complejos se denotarn con c. Escribiremos siempre a la particin : n =
n1 + n2 + + nk de forma que: n1 > n2 > > nk .
Una particin de n como la indicada se representa grficamente con un arreglo de n cajitas distribuidas en k renglones, donde el rengln i tiene ni cajitas. El diagrama obtenido
se llama diagrama de Young. Por ejemplo, para n = 4, tenemos:
87
88
Captulo 6. Representaciones del grupo simtrico
1+1+1+1
2+1+1
2+2
3+1
4
Definiremos dos relaciones de orden en el conjunto de particiones de n. Sean : n =

n1 + n2 + + nk y : n = m1 + m2 + + ml . Decimos que < si existe r con
0 6 r 6 mn{k, l} tal que ni = mi para i < r y nr < mr . ste es el orden lexicogrfico,
y es un ejercicio mostrar que cualesquiera dos particiones de n son comparables entre s
con respecto a ste orden. Por ejemplo, las particiones de 4 fueron enlistadas en el orden
lexicogrfico.
Por otro lado, escribiremos E , y diremos que domina a si n1 + n2 + + ni 6
m1 + m2 + + mi para todo i 6 max{k,

l}. En general, la relacin E es simplemente un
orden parcial.
Ejercicios 6.1
6.1.1 Encuentra dos particiones , de n = 5 que sean incomparables con respecto al orden E.
6.1.2 Si y son particiones de n y 6 , demuestra que E .
6.2.
Tableros y representaciones irreducibles

En toda sta seccin, y denotarn particiones del nmero natural fijo n.
89
6.2. Tableros y representaciones irreducibles
6.1 Definicin.
Un -tablero de Young T se obtiene etiquetando las cajitas del diagrama de Young

de con los nmeros del 1 al n. El tablero es estndar si las etiquetas forman una
sucesin creciente en cada rengln y en cada columna.
Por ejemplo, en el caso n = 4 los siguientes son algunos tableros:

1
2
3
4
1 2
3
4
1 3 4
2
3
1
4
2
2 3 4
1
2 1 3 4
2 1
4 3
(6.1)
En stos ejemplos, exactamente los tres primeros son tableros estndares.

Definiremos ahora un orden en los tableros de Young correspondientes a particiones
de un natural n fijo. Sean T , T tableros distintos. Si = , sea x {1, 2, . . . , n} el nmero
mayor que no est en la misma casilla en T y T . Diremos que T < T si:
1. < (orden lexicogrfico), o bien si:
2. = , y (el ndice de) la columna de x en T es mayor que (el ndice de) la columna
de x en T , o bien si:
3. = , la columna de x en T es igual a la columna de x en T y el rengln de x en
T es menor a el rengln de x en T .
Por ejemplo, tenemos:
1 3 < 2 1 3 ,
2 4
4
1 3 < 1 2 ,
2 4
3 4
1 4 < 1 2 .
2 3
3 4
(6.2)
El grupo Sn acta de manera obvia en el conjunto de -tableros. Tal accin es transitiva

(de hecho es isomorfa a la accin regular de Sn en s mismo). Usando sta accin, y dado
el tablero T definimos los siguientes subgrupos de Sn :
R(T ):
C(T ):
{ Sn | fija cada rengln de T }

{ Sn | fija cada columna de T }
Por supuesto, si es la particin n = n1 + n2 + + nk , entonces R(T ) es isomorfo a

Sn1 Sn2 Snk .
Demostraremos ahora los primeros resultados sobre tableros:
90
6.2 Proposicin.
Si T es un tablero estndar, R(T ), C(T ), entonces T > T y T 6 T .
Demostracin. Sea x {1, 2, . . . , n} el nmero mayor movido por . ste es tambin

el nmero mayor que no est en la misma casilla en T y T . Como T es un tablero
estndar, tal entrada es movida por a la izquierda. Es decir, x est en una columna de
ndice mayor en T que en T , por lo que T < T en ste caso. El otro resultado es
similar, pues la mayor entrada de T movida por necesariamente es movida hacia arriba
en T .
Diremos que dos -tableros T , T0 son equivalentes si las entradas en correspondientes
renglones son las mismas. sta es claramente una relacin de equivalencia, tambin es
claro que la accin de Sn preserva la relacin, es decir, si T , T0 son equivalentes y Sn ,
entonces T y T0 son equivalentes (ambos tableros tienen como conjunto de renglones el
conjunto que resulta de aplicar al conjunto de renglones de T ). Denotaremos con {T } a
la clase de equivalencia de T , entonces la accin de Sn en el conjunto de -tableros induce
una accin transitiva en el conjunto de clases de equivalencia de -tableros. De hecho,
R(T ) = StabSn ({T }), por lo que el conjunto de clases de equivalencia de -tableros tiene
n!
n1 !nk ! elementos.
6.1
Ejemplos
1. Sea = (n), por ejemplo si n = 4, entonces tiene diagrama
claro que todos los -tableros son equivalentes.
. En este caso es
2. Sea = (1n ), por ejemplo si n = 4, entonces tiene diagrama
. En este caso cada clase
de equivalencia {T } consta solamente de T , por lo que hay n! clases.

3. Sea = (n 1, 1), por ejemplo si n = 4, entonces tiene diagrama
. En este
caso la clase de equivalencia {T } est determinada por el nmero en la cajita en el segundo

rengln, es decir, el conjunto de clases de equivalencia de tableros est en biyeccin con el
conjunto {1, 2, . . . , n}.
6.3 Proposicin.
Sean T y T dos tableros. Supongamos que no domina estrictamente a . Entonces

sucede exactamente una de las siguientes opciones:
1. hay dos enteros distintos i, j que estn en la misma columna de T y en el mismo
rengln de T , o bien:
2. = , y existen R(T ), C(T ) tales que T = T .
91
6.3. Mdulos de Specht

Por ejemplo, si
T = 1 2 ,
3 4
T = 1 2 3 ,
4
(6.3)
T = 1 4 ,
2 3
(6.4)
entonces podemos tomar i = 1, j = 3. Si

T = 1 2 ,
3 4
entonces no se cumple la condicin 1 de la proposicin 6.3, pero

(24) 1 2 = (23) 1 4 = 1 4 .
3 4
2 3
3 2
(6.5)
Demostracin. Supongamos que la condicin 1 no se cumple. Entonces las entradas del

primer rengln de T estn en diferentes columnas de T , por lo que 1 > 1 y existe
1 C(T ) tal que tales entradas estn en el primer rengln de 1 T . Tambin las entradas
del segundo rengln de T estn en diferentes columnas de T , por lo que 2 > 2 , y como
las columnas de T son las mismas que las de 1 T , existe 2 C(T ) tal que las entradas
del segundo rengln de T estn en el segundo rengln de 2 1 T .
Continuando de ste modo, observamos que E , pero como por hiptesis la dominacin no es propia, entonces = . Si k es la cantidad de renglones de , obtenemos que
los renglones de k 2 1 T son los mismos que los de T , por lo que existe R(T )
con T = T , tomando = k 2 1 .
6.4 Corolario.
Si T , T son tableros estndares con T > T , existen dos enteros distintos i, j que
estn en la misma columna de T y en el mismo rengln de T .
Demostracin. Como T > T , tenemos que no domina estrictamente a , por lo que

se puede aplicar la proposicin 6.3. Si no existieran los enteros i, j con las propiedades
indicadas, tendramos que = , y que existen R(T ), C(T ) tales que T = T .
Pero por la proposicin 6.2, tendramos que T 6 T = T 6 T , lo cual contradice la
hiptesis de que T > T .
6.3.
Mdulos de Specht
En sta seccin continuamos suponiendo que es la particin n = n1 + n2 + + nk .
92
6.5 Definicin.
Definimos el mdulo M como el mdulo de permutaciones asociado al Sn -conjunto

de clases de equivalencia de -tableros.
6.2
Ejemplos
1. Sea = (n). Ya vimos que slo hay una clase de equivalencia de -tableros, por lo que
M = M(n) es el Sn -mdulo trivial.
2. Sea = (1n ). Cada clase de equivalencia de -tableros contiene slo un tablero. Y los
tableros estn en biyeccin con los elementos de Sn , asignndole a un -tablero la permutacin que enva i al elemento en el rengln i del tablero. sta biyeccin preserva inn
cluso la accin regular de Sn en s mismo, de manera que M = M(1 ) es el mdulo de
n
permutaciones correspondiente a la accin regular de S .
3. Sea = (n 1, 1). Vimos que hay una biyeccin entre clases de equivalencia de tableros y
los elementos del conjunto {1, 2, . . . , n}. La biyeccin tambin preserva la accin de Sn , por
lo que el mdulo M = M(n1,1) es el Sn -mdulo estndar.
n!
Ya hemos visto que dim M = n1 !n
. Denotaremos con h, i el C-producto interno
k!
en el espacio vectorial M que tiene al conjunto de clases de equivalencia de -tableros

como base ortonormal. Como Sn permuta la base, entonces preserva dicho producto interno.
Dado el -tablero T , definimos ahora el elemento bT CSn :

X
b T =
(sgn ),
(6.6)
C(T )
Ejemplos
6.3
1. Sea = (3), supongamos T = 1 2 3 . Entonces C(T ) consta solamente de la identidad,

por lo que bT = bT(3) = (1) CS3 . De hecho, bT = (1) para cualquier -tablero T , y
algo anlogo pasa en el caso general = (n).
1
2. Sea = (13 ), supongamos T = 2 . Entonces C(T ) = S3 , por lo que bT = bT(13 ) =
3
(1) + (123) + (132) (12) (13) (23) CS3 . Si bT0 es otro tablero, es claro que
bT0 = bT bT0 = bT , y algo anlogo pasa en el caso general = (1n ).
3. Sea = (2, 1), y supongamos T = 1 2 . Entonces C(T ) = {(1), (13)}, por lo que bT =
3
bT(2,1) = (1) (13) CS3 .
93
6.6 Lema.
Sea T un tablero, entonces:

1. Si C(T ), se tiene que: bT = (sgn )bT .
2. Si u, v M , se tiene que hbT u, vi = hu, bT vi.
Demostracin. Para la primera parte, consideremos que:

X
b T =
(sgn )
C(T )
= sgn
sgn() = (sgn )bT
(6.7)
(6.8)
C(T )
Para la segunda parte, tenemos que:
hbT u, vi = h
(sgn )u, vi
(6.9)
C(T )
hu, (sgn )1 vi
(6.10)
C(T )
= hu, bT vi.
(6.11)
Definimos ahora el elemento vT M como:

vT = bT {T }.
Ejemplos
(6.12)
6.4
1. Si = (n), hemos visto que slo hay una clase de equivalencia de tableros y un valor de
bT (el elemento (1) CSn ). Por lo que vT(n) es el bsico generador de M .
6.7 Lema.
Sean T un tablero y Sn . Entonces:

1. R(T ) = R(T ),
2. C(T ) = C(T ),
3. bT = bT 1 ,
4. vT = vT .
94
Demostracin. Tenemos que R(T ) si y slo si {T } = {T }, si y slo si 1 {T } =

{T }, si y slo si 1 R(T ), si y slo si R(T ), lo cual demuestra la primera afirmacin. La demostracin de la segunda es anloga. Para demostrar la tercera ocupamos
la segunda:
X
bT =
(sgn )
(6.13)
C(T )
sgn(0 1 )0 1
(6.14)
0 C(T )
= (
0 C(T
(sgn 0 )0 )1 = bT 1 .
(6.15)
Finalmente, tenemos que:

vT = bT {T } = bT 1 {T } = vT .
6.8 Definicin.
(6.16)
El mdulo de Specht correspondiente a es el Sn -submdulo de M generado por

{ vT | T tablero }.
Notemos que la parte 4 del lema 6.7 implica que el conjunto { vT | T tablero } M
es es un Sn -conjunto transitivo, por lo que S es un Sn -mdulo cclico generado por
cualquier vT . Nuestra meta es ahora mostrar que cada S es un Sn -mdulo simple.
6.9 Lema.
Sean T , T tableros, donde no domina estrictamente a , de modo que tenemos

la situacin de la proposicin 6.3. Si se cumple la opcin 1 de dicha proposicin,
entonces bT {T } = 0. Si se cumple la opcin 2, entonces bT {T } = vT .
Demostracin. Supongamos que se cumple la opcin 1 de la proposicin 6.3, de modo

que hay dos enteros distintos i, j que estn en la misma columna de T y en el mismo
rengln de T . Sea Sn la transposicin que intercambia i con j. Entonces C(T ), y
por el lema 6.6, se tiene que bT = bT . Por otro lado R(T ) implica que {T } =
{T }, por lo que llegamos a:
bT {T } = bT ({T }) = (bT ){T } = bT {T }
(6.17)
de donde se obtiene que bT {T } = 0 en este caso.

Ahora, si se cumple la opcin 2 de la proposicin 6.3, se tiene que = , y existen
R(T ), C(T ) tales que T = T . Entonces:
bT {T } = bT {T } = bT {T } = bT {T } = (sgn )vT .
(6.18)
6.10 Teorema.
95
Sea W un submdulo de M . Entonces S 6 W o bien W 6 (S ) . Por lo tanto, cada

S es un Sn -mdulo simple.
Demostracin. Sea w W. Para todo -tablero T , el lema 6.9 implica que bT w = cvT
con c un escalar. Si existen w y T tales que c 6= 0, se tiene que vT W, y por lo tanto
S 6 W en ste caso. Supongamos entonces que bT w = 0 para toda eleccin de w W
y -tablero T . Entonces:
hw, vT i = hw, bT {T }i = hbT w, {T }i = 0,
(6.19)
de donde se obtiene que w (S ) .

Por lo tanto, si W 6 S con W 6= S , debemos tener que W 6 (S ) , pero entonces
W 6 S (S ) = 0.
Finalmente, mostraremos que si 6= , entonces S no es isomorfo a S .
6.11 Lema.
Supongamos que existe un morfismo no cero de Sn -mdulos : S M . Entonces

E .
Demostracin. Podemos suponer que 6= , de modo que queremos demostrar que

domina estrictamente a . Como 6= 0, existe un bsico vT de S tal que (vT ) 6= 0.
Como M = S (S ) , podemos extender a M definindola en (S ) como cero.
Entonces:
0 6= phi(vT ) = bT ({T }),
(6.20)
con ({T }) una combinacin lineal de clases de equivalencia de -tableros. Si no fuera
cierto lo que queremos demostrar, entonces no domina estrictamente a . El lema 6.9
implica entonces que la opcin 1 de la proposicin 6.3 no se puede dar. Pero entonces
tendramos que = , contra nuestra suposicin. Por lo tanto, E .
6.12 Teorema.
Los mdulos de la forma S forman una lista completa de Sn -mdulos simples.
S ,
Demostracin. Ya hemos visto que cada S es un mdulo simple. Si tuviramos S =
tendramos un morfismo no cero S M , lo cual implica por el lema 6.11 que E .

Anlogamente, E , por lo que = .
96
A
Grupos y campos en GAP
GAP es un programa de cmputo que est disponible libremente para su uso (ver http:
//www.gap-system.org), y que permite hacer clculos con varias estructuras relacionadas
con grupos.
Una sesin de GAP se puede realizar interactivamente. Al ejecutar el programa se obtiene, despus de la identificacin del programa, la seal de que GAP espera un comando:
gap>
GAP puede utilizar variables. Un comando debe terminarse con ;, por ejemplo:
gap> a:=1;
1
gap> a;
1
indica que se le ha asignado a la variable a el valor 1, lo cual se comprueba en el siguiente

comando.
En GAP se utilizan abundantemente las listas. Una lista es una conjunto ordenado
de objetos, cada objeto determinado por su posicin. Por ejemplo:
gap> l:=[7,-1,6];
[ 7, -1, 6 ]
gap> l[3];
6
97
98
Captulo A. Grupos y campos en GAP

Un grupo de permutaciones puede darse en GAP por medio de sus generadores:
gap> g:=Group((1,2)(3,4),(4,5));
Group([ (1,2)(3,4), (4,5) ])
es el subgrupo de S5 generado por (12)(34) y (4, 5) (o bien, por la lista de permutaciones

Group([ (1,2)(3,4), (4,5) ])). Podemos preguntar por el tamao del grupo:
gap> Size(g);
12
GAP tiene una base de datos con algunos grupos ya definidos.

gap> SymmetricGroup(5);
Sym( [ 1 .. 5 ] )
gap> AlternatingGroup(5);
Alt( [ 1 .. 5 ] )
gap> DihedralGroup(10);
<pc group of size 10 with 2 generators>
gap> CyclicGroup(5);
<pc group of size 5 with 1 generators>
Obsrvese que DihedralGroup(10) es el grupo que en estas notas hemos denotado con
D5 .
El comando ConjugacyClasses da una lista de las clases de conjugacin de elementos
de G. Por ejemplo:
gap> ConjugacyClasses(SymmetricGroup(4));
[ ()^G, (1,2)^G, (1,2)(3,4)^G, (1,2,3)^G, (1,2,3,4)^G ]
dice que hay 5 clases de conjugacin de elementos en S4 , con representantes, las permutaciones (), (12), (12)(34), (123), (1234). Otros comandos de GAP (como Irr) suponen
que las clases se dan en el orden indicado, por lo que es importante ser consistente.
GAP puede trabajar con el campo de nmeros racionales:
gap> f:=Rationals;
Rationals
99
y con campos finitos. (Recordemos que para cada potencia pn de un nmero primo existe
un campo finito con pn elementos, nico bajo isomorfismo y que se denota como GF(pn )).
gap> GF(16);
GF(2^4)
gap> GF(27);
GF(3^3)
Sabemos que, dado un campo F, el conjunto de elementos diferentes de cero en F,

F = F {0}, es un grupo bajo el producto. Y cualquier subgrupo finito de F es cclico.
GAP hace uso de este hecho. En el campo GF(pn ) se representan los elementos en trminos
un generador de GF(pn ) , al cual GAP denota como Z(p^n). Por ejemplo:
gap> Elements(GF(4));
[ 0*Z(2), Z(2)^0, Z(2^2), Z(2^2)^2 ]
es decir, si a denota al elemento Z(2^2), los elementos del campo de 4 elementos son
0 a = 0, a0 = 1, a y a2 .
100
Captulo A. Grupos y campos en GAP
Lista de smbolos
anA V
Para V un A-mdulo, el anulador de V, { a A | aV = 0 }, pgina 13
anA v
Para V un A-mdulo y v V, { a A | av = 0 }, pgina 17
aV
Si V es un A-mdulo y a A, la transformacin lineal V V dada por

v 7 av, pgina 10
Aop
El lgebra opuesta al lgebra A, pgina 7
AV
Para V un A-mdulo, la imagen del lgebra A bajo el morfismo de lgebras : A L(V) dado por (a)(v) = av, pgina 10
BW
Para V un A-mdulo, B A, W V, es { bw | b B, w W } V,
pgina 12
El campo de nmeros complejos, pgina 7
CA (a)
El centralizador de a A en un lgebra A, pgina 4
CG (g)
El centralizador de g G en el grupo G, pgina 54
Cn
El grupo cclico de orden n, pgina 9
El grupo multiplicativo de los elementos del campo F diferentes de cero,

pgina 36
El espacio vectorial F con la estructura de FSn -mdulo dada por la funcin signo Sn GL(F), pgina 39
FG
El lgebra del grupo G sobre el campo F, pgina 8
F[x]
El lgebra de polinomios sobre un campo F, pgina 7
Fn
El F-espacio vectorial de vectores columna con n entradas en el campo

F, pgina 11
[G : H]
Si G es un grupo y H es un subgrupo de G, el ndice de H en G, pgina 54
gh
Para g, h elementos del grupo G, g y h son conjugados en G, pgina 48

101
102
Lista de smbolos
|G|
Si G es un grupo, el orden de G, pgina 54
GL(V)
Si V es un espacio vectorial, el grupo de transformaciones lineales invertibles V V, pgina 35
homA (V, W)
Si V y W son A-mdulos, el conjunto de A-morfismos de V en W, pgina 20
infG
G/K V
Inflacin del F[G/K]-mdulo V a FG., pgina 38
ker
Para un carcter de un grupo G, el conjunto { g G | (g) = (1) },

pgina 76
L(V)
El lgebra de las transformaciones lineales V V, donde V es un espacio vectorial, pgina 8
L(V, W)
El espacio vectorial de transformaciones lineales de V en W, pgina 34
M(V)
Si V es un A-mdulo semisimple y M un A-mdulo simple, el submdulo

de V generado por todos los submdulos de V isomorfos a M, pgina 21
Mn (F)
El lgebra de matrices cuadradas n n con entradas en el campo F,

pgina 3
El campo de nmeros reales, pgina 7
rad A
El radical de un lgebra A, pgina 26
Symn V
La n-sima potencia simtrica del espacio vectorial V, pgina 41
S(A)
Para un lgebra A, un conjunto de representantes de las clases de isomorfismo de A-mdulos simples, pgina 22
sgn
La funcin Sn GL(F) que vale 1 en las permutaciones pares y 1 en

las impares, pgina 39
Sn
Si S es un mdulo, el mdulo suma directa S S con n sumandos

directos, pgina 43
tr
Traza de una transformacin lineal, pgina 28
tr
Traza de una transformacin lineal, pgina 45
U(A)
El grupo de unidades del anillo A, pgina 8
V G
H
Restriccin del FG-mdulo V a FH, pgina 38
vw
Si t : V W V W es la funcin bilineal de la definicin de producto

tensorial, t(v, w), pgina 33
V W
El producto tensorial de los espacios vectoriales V, W, pgina 33
El espacio vectorial dual al espacio vectorial V, pgina 34
103
Lista de smbolos
VG
Para V un FG-mdulo, { v V | gv = v para todo g G }, pgina 39
Vn
El producto cartesiano V V V con n factores, pgina 40
XY
{x}Y, pgina 5
XY
Si X, Y A con A un lgebra, es { xy | x X, y Y }, pgina 5
|z|
Si z C, la norma de z, pgina 47
Z(A)
El centro de un lgebra A, pgina 4
Carcter del G-mdulo V., pgina 45
Si z C, el complejo conjugado de z, pgina 47
Para un carcter , el carcter de la representacin dual a la representacin asociada a , pgina 52
h, i
Producto interno de los carcteres y , pgina 52
n V
La n-sima potencia exterior del espacio vectorial V, pgina 41
104
Lista de smbolos
Bibliografa
[Ahl78]
Lars V. Ahlfors. Complex analysis. McGraw-Hill Book Co., New York, tercera
edicin, 1978. An introduction to the theory of analytic functions of one
complex variable, International Series in Pure and Applied Mathematics.
[CLRT73] Humberto Crdenas, Emilio Lluis, Francisco Raggi, Francisco Toms. lgebra
Superior. Editorial Trillas, S. A., Mxico, 1973.
[FH91]
William Fulton, Joe Harris. Representation theory, tomo 129 de Graduate

Texts in Mathematics. Springer-Verlag, New York, 1991. A first course, Readings in Mathematics.
[FIS97]
Stephen H. Friedberg, Arnold J. Insel, Lawrence E. Spence. Linear algebra.

Prentice Hall Inc., Upper Saddle River, NJ, tercera edicin, 1997.
[Isa94]
I. Martin Isaacs. Character theory of finite groups. Dover Publications Inc.,

New York, 1994. Corrected reprint of the 1976 original [Academic Press, New
York; MR 57 #417].
[Jac85]
Nathan Jacobson. Basic algebra. I. W. H. Freeman and Company, New York,

segunda edicin, 1985.
105
ndice
lgebra, 1
axiomas, 2
centro, 4
cociente, 4
de endomorfismos, 8
ideal de, 4
mdulo sobre, 9, 10
morfismo, 4
radical de, 26
regular, 3
representacin, 9
semisimple, 19
lgebra de grupo
propiedad universal, 8
anulador, 13
carcter, 45
centro, 4
complemento directo, 16
forma bilineal, 28
radical, 28
simtrica, 28
funcin
bilineal, 31
multilineal, 40
funcin multilineal
alternante, 41
simtrica, 41
funcin de clase, 49
ideal, 4
generado, 4
nilpotente, 27
inflacin, 38
ley modular, 20
mdulo, 10
cociente, 14
completamente reducible, 18
conjugado, 38
de permutaciones, 12
inflacin, 38
irreducible, 17
restriccin, 38
semisimple, 18
simple, 17
mdulo sobre lgebra de grupo
dual, 37
mdulo sobre lgebra de grupo
trivial, 36
morfismo
mdulos, 13
potencia
exterior, 41
simtrica, 41
producto interno
de carcteres, 52
producto tensorial, 31
radical, 26
regular
mdulo, 10
representacin, 9
representacin estndar, 39
representacin del grupo simtrico
estndar, 39
signo, 39
representacin signo, 39
restriccin, 38
serie de composicin, 27
sublgebra, 4
106
ndice
generada, 4
subespacios
suma de, 15
submdulo, 13
maximal, 27
propio, 13
submdulos
complemento directo de, 16
suma directa de, 16
suma directa, 16
tabla de carcteres, 48
de un grupo cclico, 56
teorema de correspondencia, 15
107

Representaciones PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Representaciones PDF

Uploaded by

Copyright:

Available Formats

Introduccin a la teora de

representaciones de grupos finitos

Rafael Villarroel Flores

. . . it is now more true to say that for

tratado de incluir una gran cantidad de ejemplos y de clculos concretos.

2. lgebras de grupo y sus mdulos

4. Carcteres y mdulos inducidos

5. Teoremas de Burnside y Frobenius

6. Representaciones del grupo simtrico

A. Grupos y campos en GAP

El objetivo principal de este trabajo es presentar resultados sobre representaciones

de mdulo sobre un lgebra. Y damos varios ejemplos de lgebras y de mdulos sobre

En este captulo estudiamos la nocin de lgebra sobre un campo. Este concepto no

decimos que A es una F-lgebra.

En otras palabras, si fijemos el campo F, una F-lgebra se compone de un conjunto

1. +(a, b) se denota con a + b,

Aunque denotemos del mismo modo al producto de dos elementos de A y al producto

Desde luego, en la prctica denotamos tanto a 1A como a 1F con el mismo smbolo 1,

1.1. Definicin de lgebra

El siguiente es de hecho una familia infinita de ejemplos.

Sea n un entero positivo y F un campo. Sea A = Mn (F) el conjunto de matrices n n con

con suma dada por:

y producto por escalares:

Entonces A es una F-lgebra.

Si A es un lgebra, puesto que es un anillo y un espacio vectorial a la vez, hereda

Sean F un campo, y A y B F-lgebras. Sea f : A B una transformacin lineal tal que

En otras palabras, un morfismo de lgebras es una transformacin lineal que a la vez es

Si A es una F-lgebra, e I es un ideal izquierdo o derecho de A, entonces I es un

Demostracin. Supongamos que I es un ideal izquierdo de A. Slo falta probar que I es

Ms generalmente, si a A, tenemos que CA (a) = { x A | ax = xa } (el centralizador

1.1. Definicin de lgebra

El teorema fundamental de isomorfismo se traslada al contexto de F-lgebras sin mayor

Sea f : A B un morfismo de F-lgebras. Entonces

Frecuentemente ser til la siguiente notacin: si A es un lgebra y X, Y A, denotaremos XY al conjunto

Sean A1 , A2 , . . . , An F-lgebras. Sea A la suma directa n

1.2. Ejemplos de lgebras

Sea A una F-lgebra con divisin de dimensin finita, donde F es algebraicamente

Sea F = R y A = C. Entonces, bajo las operaciones usuales, A es una R-lgebra. En general, si

Si A es cualquier F-lgebra, definimos una F-lgebra A , llamada el lgebra opuesta a A, como

En el caso del lgebra F[x], la identificacin de F con la sublgebra F1 es clara, pues

Por lo tanto, si R es una F-lgebra y es un morfismo de lgebras, entonces debe ser

El siguiente ejemplo es el prototipo de una F-lgebra. Todas las lgebras expuestas

suma: (T + U)(v) = T (v) + U(v),

producto: (T U)(v) = T (U(v)),

producto por escalares: (T )(v) = (T (v))

entonces A es una F-lgebra, llamada el lgebra de endomorfismos de V.

Por supuesto, V es de dimensin infinita si y slo si L(V) es de dimensin infinita.

El ejemplo de F-lgebra ms importante para nuestros propsitos en ste trabajo es el siguiente.

El lgebra de grupo tiene una importante propiedad universal.

1.3. Mdulos y representaciones de lgebras

1.2.2 Verdadero o falso? Si S es un subanillo de una F-lgebra A, entonces S es un subespacio de A.

Mdulos y representaciones de lgebras

Sean F un campo, A una F-lgebra, y V un F-espacio vectorial. Una representacin de

La mayor parte del tiempo trabajaremos con representaciones en espacios vectoriales

Tenemos entonces la siguiente:

Recprocamente, si V es un mdulo sobre el lgebra A, entonces definiendo : A

Sea A = F visto como F-lgebra. Entonces cualquier F-espacio vectorial es un A-mdulo.

Si A es cualquier F-lgebra, entonces tomando V = A, V es un mdulo sobre A simplemente

1.3. Mdulos y representaciones de lgebras

Si A es una F-lgebra, entonces A es isomorfa a una sublgebra de L(V), para cierto

Si dim A = n, entonces A es isomorfo a una sublgebra de Mn (F).

Continuaremos ahora con los ejemplos.

Sea V un F-espacio vectorial y A una sublgebra de L(V) entonces V es un A-mdulo definiendo