UNA BREVE INTRODUCCIN A LAS

REPRESENTACIONES DE LGEBRAS
Resumen
Se hace un repaso de temas bsicos de las lgebras asociativas,a n de es-
tablecer un ligamen con la moderna teora de representaciones de lgebras, de-
sarrollada a partir de los aos 70. Nos referimos a las lgebras semisimples,
mdulos simples y el Lema de Schur, con especial mencin al Teorema de Es-
tructura de Wedderburn. Se introduce el concepto de mdulo inescindible y
el Teorema de Krull Schmidt. Se menciona la descomposicin de un lgebra
en suma de su parte semisimple y el radical. Luego nos ocupamos de las lge-
bras artinianas, y los mdulos proyectivos inescindibles, as como lo referente a
elementos idempotentes. Con base en esto, se examina la estructura de estas
lgebras y se dene el carcaj de un lgebra artiniana. Luego se construye el
lgebra de un carcaj y se introducen las representaciones, la forma cuadrtica
y el tipo de representacin.
" ...lhistoire, cest la scance mme..." , Blaise Pascal
Denicin Sea 1 un anillo conmutativo con identidad. Un 1mdulo es
un grupo aditivo (', +), provisto de un producto 1 ' ', que verica :
1: = :, 1c1, :c'.
(r:): = r(::),
(r + :): = r: + ::,
r(: + :) = r: + r:, con rc1, :, : c '.
Ejemplo Todo campo es un anillo. Si / es un campo, los / mdulos son los
/ espacios vectoriales.
Ejemplo Sea Z el anillo de los nmeros enteros. Todo grupo aditivo (G, +)
es un Zmdulo.
Denicin Sea 1 un anillo conmutativo con identidad. Una 1lgebra
es un 1-mdulo , que est provisto de una multiplicacin , bajo la
cual es un anillo unitario, y adems, esta estructura es compatible con la de
mdulo, en el sentido de que se verican las siguientes condiciones :
1
1
1
.
= 1
.
.
r(a/) = (ra)/ = a(r/), para cualesquiera r c 1, a, / c .
Ejemplo El campo C de los nmeros complejos es una Rlgebra con las
operaciones usuales.
Ejemplo Sea 1 un anillo conmutativo con identidad, sea : entero positivo.
El conjunto 'at(:, 1) de las matrices cuadradas : : con entradas en 1, es,
1
en primer trmino, un 1mdulo, con las operaciones usuales, entrada por
entrada.
La multiplicacin usual de matrices hace de 'at(:, 1) un anillo, en el cual
es obvio que se verica : r(1) = (r)1 = (r1). Por lo tanto, 'at(:, 1) es
una 1lgebra.
Observacin. Sea una 1lgebra. La aplicacin , : 1 , ,(r) =
r1
.
, verica :
,(1
1
) = 1
1
1
.
= 1
.
.
,(r)a = (r1
.
)a = r(1
.
a) = ra = r(a1
.
) = a(r1
.
) = a,(r). As, los
elementos ,(r) conmutan con todo elemento de . Es decir, Im1 _ cc:.
Adems, , es homomorsmo de anillos. En efecto,
,(r + :) = ,(r) + ,(:).
,(r:) = (r:)1
.
= r(:1
.
) = r,(:) = r(1
.
,(:)) = (r1
.
),(:) = ,(r),(:).
Luego. la imagen Im1 de 1 bajo , es un subanillo de , contenido en el
centro de . En caso de que 1 sea un campo, , es inyectiva (y entonces se puede
considerar que 1 _ ), pues de r1
.
= :1
.
, se sigue r = :.
Denicin Sea una 1lgebra. El concepto de mdulo (izquierdo),
es el mismo que el de mdulo (izquierdo) sobre el anillo . Todo mdulo
es tambin un 1mdulo, bajo el producto : r : = ,(r): = (r1
.
):, con
r c 1. Se tienen las propiedades siguientes :
r (a:) = (r a):, r c1, ac, :c', r a = ,(r)a.
ALGEBRAS SEMISIMPLES
Denicin Sea una 1lgebra.
Un mdulo se llama simple si no es el mdulo nulo, y
sus nicos submdulos son el nulo y l mismo.
Un mdulo ' es semisimple si es suma de mdulos
simples.
LEMA DE SCHUR Si ' y son mdulos simples, entonces ellos son
isomorfos o bien Ho:
.
(', ) = 0.
Demostracin Sea ) : ' , morsmo no nulo. Hay que mostrar que
) es isomorsmo. Existe r c ', tal que )(r) ,= 0, y entonces Im) ,= (0). Por
ser simple, Im) = ', luego ) es sobreyectiva. Se sabe que Im)
~
= ', ker ),
es decir, '
~
= ', ker ), por lo cual ker ) = (0), y ) es inyectiva.
2
Denicin Un mdulo ' se llama inescindible si ' ,= 0, y ' no es suma
directa de submdulos propios. Es decir, si ' = 1 Q, entonces 1 = ' o
Q = '.
Teorema Para un mdulo semisimple , las siguientes condiciones son
equivalentes :
(i) es simple.
(ii) 1:d
.
() es un lgebra con divisin.
(iii) es inescindible.
Demostracin (i)=(ii) Por el lema de Schur. (ii)=(iii) Sea = 1 Q
, considere la proyeccin de sobre 1. Entonces c 1:d
.
() satisface

2
= , y (id ) = 0.Aplicamos la hiptesis, y entonces = 0 o = id, de
donde 1 = (0) y Q = , o bien 1 = y Q = (0).(iii)=(i) Si es semisimple,
es suma directa de simples, y al ser inescindible, es claro que es simple.
Estructura de los mdulos semisimples Sea
I
: icJ un conjunto
de representantes de las clases de isomorfa de mdulos simples.As, J es
un conjunto indexador, cada
I
es simple y todo mdulo simple es isomorfo
exactamente a uno de los
I
.
Para un mdulo ', y cada i c J, sea '(i) el submdulo '(i) =

< ' :
~
=
I
.
Teorema Si ' es un mdulo semisimple, entonces ' =

It
'(i).
TEOREMA DE ESTRUCTURA Considere mdulos ' y '
0
semi-
simples. Suponga que
' =

It
'(i), con '(i)
~
=

oi

I,
'
0
=

It
'
0
(i), con '
0
(i)
~
=

o
i

I
.
Entonces ' es isomorfo con '
0
si, y solamente si, los cardinales c
I
=,
I
, para
todos los icJ.
lgebras semisimples Un lgebra se llama semisimple si es semisimple
como -mdulo izquierdo.
TEOREMA Si un lgebra es semisimple, entonces todos los -mdulos
son semisimples. Los mdulos simples son isomorfos a ideales izquierdos
minimales de , y todos los ideales minimales de son simples.
3
Demostracin (parcial) Todo mdulo ' es imagen epimorfa de un
mdulo libre, es decir, existe epimorsmo ) : 1 ', con 1
~
=
t1
. Por ser
semisimple, 1 es semisimple. Pero '
~
= 1, ker ) signica que ' es cociente
de un semisimple y, por lo tanto, semisimple.
lgebras simples Para una lgebra semisimple, las siguientes condi-
ciones son equivalentes :
(i) es simple.
(ii) Todos los ideales minimales de son isomorfos.
(iii) Todos los mdulos simples de son
isomorfos.
Teorema Sea un lgebra simple, y suponga que es un ideal mnimo
de . Si ' es un mdulo, entonces existe un nico cardinal c, tal que
'
~
=

c.
Ejemplo Sea = '
n
(1), el lgebra de matrices : : con entradas en un
lgebra con divisin 1. Para 1 _ i _ :, dena
I
= -
II
.Entonces

I
es ideal minlmal de .

.
=
n
I=1
-
II
.

I
~
=
.

.
es simple y semisimple.
1:d
.
(
I
)
~
= 1.
Teorema Sean una 1lgebra y ' un mdulo. Entonces 1:d
.
(:')
~
=
'
n
(1:d
.
(')). (como lgebras)
Demostracin (idea) Con nes didcticos, veremos con detalle el caso : =
2 . Hay que mostrar que 1:d
.
(' ')
~
= '
2
(1:d
.
(')).
El mdulo ' ' est formado por los pares ordenados
_
r
1
r
2
_
, con
r
1
, r
2
c '. Consideramos las proyecciones
1
: ' ' ',
_
r
1
r
2
_

r
1
,
2
: '' ',
_
r
1
r
2
_
r
2
; y las inyecciones i
1
: ' '', r
_
r
1
0
_
, i
2
: ' ' ', r
_
0
r
_
. Un clculo rpido muestra que
i
1

1
+ i
2

2
= id.
Dada una matriz arbitraria G c '
2
(1:d
.
(')), digamos
G =
_
q
11
q
12
q
21
q
22
_
,
4
se dene una aplicacin (G) c 1:d
.
(' '), mediante
(G)
__
r
1
r
2
__
=
_
q
11
q
12
q
21
q
22
_

_
r
1
r
2
_
=
_
q
11
(r
1
) + q
12
(r
2
)
q
21
(r
1
) + q
22
(r
2
)
_
.
Observemos que
(G)
__
r
1
r
2
__
= G
_
r
1
r
2
_
.
Tenemos entonces una aplicacin
: '
2
(1:d
.
(')) 1:d
.
(' '),
la cual, como se puede comprobar, es morsmo de lgebras.
Ahora nos proponemos denir una inversa para . Consideremos cualquier
) c 1:d
.
(' ') .Escribamos )
_
r
1
r
2
_
=
_
j
1
j
2
_
, y observemos que
)
_
r
1
r
2
_
=
_
j
1
j
2
_
=
_

1
)
_
r
1
r
2
_

2
)
_
r
1
r
2
_
_

_
=
_

1
) [i
1
(r
1
) + i
2
(r
2
)]

2
) [i
1
(r
1
) + i
2
(r
2
)]
_
=
_

1
)i
1
(r
1
) +
1
)i
2
(r
2
)

2
)i
1
(r
1
) +
2
)i
2
(r
2
)
_
=
_

1
)i
1

1
)i
2

2
)i
1

2
)i
2
_ _
r
1
r
2
_
.
Entonces se tiene una matriz
()) =
_

1
)i
1

1
)i
2

2
)i
1

2
)i
2
_
,
que verica
())
_
r
1
r
2
_
=
_

1
)i
1

1
)i
2

2
)i
1

2
)i
2
_

_
r
1
r
2
_
=
_

1
)i
1
(r
1
) +
1
)i
2
(r
2
)

2
)i
1
(r
1
) +
2
)i
2
(r
2
)
_
.
Se puede comprobar que la aplicacin
: 1:d
.
(' ') '
2
(1:d
.
('))
5
es un morsmo de lgebras. Quizs el paso ms interesante es mostrar que
(q)) = (q)()). Para ello, veamos que
(q)()) =
_

1
qi
1

1
qi
2

2
qi
1

2
qi
2
_ _

1
)i
1

1
)i
2

2
)i
1

2
)i
2
_
=
_

1
qi
1

1
)i
1
+
1
qi
2

2
)i
1

1
qi
1

1
)i
2
+
1
qi
2

2
)i
2

2
qi
1

1
)i
1
+
2
qi
2

2
)i
1

2
qi
1

1
)i
2
+
2
qi
2

2
)i
2
_
=
_

1
q(i
1

1
+
1
i
2
))i
1

1
q(i
1

1
+
1
i
2
))i
2

2
q(i
1

1
+
2
i
2
))i
1

2
q(i
1

1
+
2
i
2
))i
2
_
=
_

1
q)i
1

1
q)i
2

2
q)i
1

2
q)i
2
_
= (q)).
Para terminar, comprobamos que y son mutuamente inversas.
(i) Sea ()) = 1 =
_

1
)i
1

1
)i
2

2
)i
1

2
)i
2
_
,entonces ())
__
r
1
r
2
__
=
__

1
)i
1

1
)i
2

2
)i
1

2
)i
2
____
r
1
r
2
__
=
_

1
)i
1
(r
1
) +
1
)i
2
(r
2
)

2
)i
1
(r
1
) +
2
)i
2
(r
2
)
_
= )
_
r
1
r
2
_
, y as, ()) = ). de donde =
id
JnJ
A
(11)
.
(ii) Para ver que = id
12(JnJ
A
(1))
, sea G c '
2
(1:d
.
(')) arbitraria, G =
_
q
11
q
12
q
21
q
22
_
.Hay que mostrar que (G) = G (igualdad de matrices). Ten-
emos que
()(G)
_
r
1
r
2
_
= ((G))
_
r
1
r
2
_
=
_

1
(G)i
1

1
(G)i
2

2
(G)i
1

2
(G)i
2
_

_
r
1
r
2
_
=
_

1
(G)i
1
(r
1
) +
1
(G)i
2
(r
2
)

2
)i
1
(r
1
) +
2
)i
2
(r
2
)
_
.
Vemos ahora que, para todo r
1
c ',
1
(G)i
1
(r
1
) = (
1
(G))
_
r
1
0
_
=

1
_
G
_
r
1
0
__
=
1
__
q
11
(r
1
)
0
__
= q
11
(r
1
). Se deduce que
1
(G)i
1
=
q
11
.
De igual manera se obtiene que
I
(G)i

= q
I
, i, , = 1, 2.En conclusin,
(G) = G.
Lema
~
= 1:d
.
(
.
).
Demostracin El smbolo
.
designa la estructura aditiva de , sobre la
cual acta el lgebra por la derecha, mediante la multiplicacin dada. Es decir.
r a = ra. Para una aplicacin ) : ,tal que )(r + r
0
) = )(r) + )(r
0
),
) c 1:d
.
(
.
) = )(ra) = )(r)a, para cualesquiera a, r c .
6
El lgebra 1:d
.
(
.
) est formada por los endomorsmos del mdulo derecho

.
, tomando la composicin como multiplicacin. Esto es posible porque
dados ), q c 1:d
.
(
.
) , ()q)(ra) = )(q(ra)) = )(q(r)a) = )(q(r)a) =
)(q(r))a = (()q)r)a. Y entonces, )q c 1:d
.
(
.
). Adems,
dado r c 1, r()q) = (r))q = )(rq).
Para denir el isomorsmo propuesto, para cada a c , se dene `
o
:
, mediante `
o
(r) = ar (multiplicacin por la izquierda). Veriquemos
que `
o
c 1:d
.
(
.
). Es claro que ella es aditiva. Adems, para r, a
0
en
cualesquiera, `
o
(ra
0
) = a(ra
0
) = (ar)a
0
= `
o
(r)a
0
.
Se dene ahora , : 1:d
.
(
.
), mediante : ,(a) = `
o
. Hay que probar
que , es morsmo de algebras. Solo veremos que respeta la multiplicacion, es
decir, ,(aa
0
) = ,(a),(a
0
). Eso es lo mismo que ,
oo
0 = ,
o
,
o
0 .
Veamos : ,
oo
0 (r) = (aa
0
)r = a(a
0
r) = ,
o
(,
o
0 (r)) = (,
o
,
o
0 )(r), para todo
r c .
Para terminar, hay que probar que , es inyectiva y sobreyectiva.
,
o
= 0 =,
o
(r) = 0, \rc =ar = 0 \rc. En particular, para r = 1
.
, se
tiene a1
.
= 0, es decir, a = 0. Luego , es inyectiva.
Para la sobreyectividad, observamos que ) = ,
o
= )(r) = ar \rc. En
particular, para r = 1
.
, se tiene )(1
.
) = a, y se comprueba que ) = ,
}(1)
.
TEOREMA DE ESTRUCTURA DE WEDDERBURN Sea una
1 lgebra semisimple (izquierda o derecha).
Existen nmeros naturales :
1
, . . . , :
:
y 1 lgebras con divisin 1
1
, . . . , 1
:
,
tales que

~
= '
n1
(1
1
) '
nr
(1
:
).
Los pares (:
1
, 1
1
), . . . , (:
:
, 1
:
) quedan determinados unvocamente por
el lgebra .
Recprocamente, dados pares (:
1
, 1
1
), . . . , (:
:
, 1
:
) como antes, el lgebra
'
n1
(1
1
) '
nr
(1
:
) es semisimple.
Para darse una idea intuitiva de la demostracin, supongamos primero el
caso especial en que =
1

:
, con los
I
simples no isomorfos entre
s. Partimos del isomorsmo de lgebras del Lema anterior :

~
= 1:d
.
()
~
=
_

_
Ho:(
1
,
1
) Ho:(
1
,
:
)
.
.
.
.
.
.
.
.
.
Ho:(
:
,
1
) Ho:(
:
,
:
)
_

_
=
_

_
1:d
.
(
1
) 0
.
.
.
.
.
.
.
.
.
0 1:d
.
(
:
)
_

_
~
= 1:d
.
(
1
) 1:d
.
(
:
) = 1
1
1
:
.
7
Para el caso general, digamos = :
1

1
:
:

:
, con los
I
simples,
no isomorfos entre s, se tiene

~
= 1:d
.
() =
I,
Ho:
.
(:
I

I
, :

)
~
=
I
1:d
.
(:
I

I
) =
:
I=1
'
ni
(1
I
).
MDULOS INESCINDIBLES
Denicin Un mdulo no nulo ' se llama inescindible si no es suma
directa de submdulos no nulos propios. Es decir, si ' = 1 Q, entonces
1 = 0 o Q = 0.
TEOREMA DE KRULL-SCHMIDT Si ' es un mdulo, que es
artiniano o noetheriano, entonces ' se expresa como suma directa de un nmero
nito de mdulos inescindibles.
Sean una 1-lgebra, y ', mdulos, tales que ' = '
1

'
:
, =
1

s
, con todos los '
I
,

inescindibles. Si '
~
= , entonces
r = :, y existe una permutacin de 1, ..., :, tal que '
I
~
=
tI
.
MDULOS PROYECTIVOS SOBRE LGEBRAS ARTINIANAS
Denicin Un A mdulo 1 se llama proyectivo si es sumando directo
de algn mdulo libre.
Un mdulo Q se llama principal si Q = r =
ar : ac , para algn rc.
Teorema de Estructura Si el lgebra es artiniana, entonces todo
mdulo proyectivo es (de manera nica) suma directa de mdulos principales
inescindibles.
Teorema Si el lgebra es artiniana, entonces todo mdulo proyectivo
1 inescindible es isomorfo a un mdulo principal inescindible.
IDEMPOTENTES
8
Denicin Sea un lgebra. Un elemento cc se llama idempotente si
c
2
= c.
Teorema Un ideal izquierdo 1 de un lgebra
.
es sumando directo de
si, y solo si, existe un idempotente c, tal que 1 = c.En este caso, si 1 = Q
1

Q
:
, existen idempotentes c
1
, ..., c
:
tales que c = c
1
+ c
:
, c
I
c

= 0, para
i ,= ,, c
I
c = cc
I
= c
I
, y Q
I
= c
I
, para 1 _ i _ r.
Teorema Sean c, ) idempotentes de la 1 lgebra . Entonces Ho:
.
(c, ))
~
=
c), como 1 mdulos. Adems, 1:d
.
(c)
~
= cc, como 1 lgebras.
Para una 1 lgebra , el radical de Jacobson, denotado J = J(),se de-
ne como la interseccin de los ideales izquierdos maximales de . Se demuestra
que el radical de Jacobson es ideal bilateral, es decir, izquierdo y derecho, por
lo cual se tiene el lgebra cociente ,J().Muy importante es que el lgebra
,J() es semisimple.
Teorema Sean 1, Q mdulos inescindibles proyectivos, digamos 1 =
c, Q = ), con c, ) idempotentes primitivos. Asuma que c y ) no son
isomorfos. Entonces las siguientes condiciones son equivalentes :
Ho:
.
(1, Q) ,= 0.
QJ1 ,= 0.
)Jc ,= 0.
Observacin La idea de determinar la estructura de una lgebra artiniana ,
generalizando la demostracin del teorema de estructura de Wedderburn, no
es viable,especialmente por la existencia de mdulos inescindibles principales,
1, Q, no isomorfos, pero tales que Ho:
.
(1, Q) ,= 0.
Para solventar esta dicultad, se dene la grca
.
.
EL CARCAJ DE UN LGEBRA
Sea una 1 lgebra artiniana izquierda. Suponga que c
1
, ..., c
:
son idem-
potentes primitivos de , tales que los ideales izquierdos 1
1
=c
1
, .. ., 1
:
=
c
:
, representan las distintas clases de isomorfa de mdulos izquierdos in-
escindibles principales. El carcaj
.
es la grca orientada
.
= (\, 1), con
el conjunto de vrtices \ = c
1
, ..., c
:
, y el conjunto de lados 1 = (c
I
, c

) : c
I
Jc

,= 0 .
9
Se demuestra que el carcaj no depende del conjunto completo de idempo-
tentes primitivos elegido, y que lgebras isomorfas poseen el mismo carcaj.
ESTRUCTURA DE LGEBRAS ARTINIANAS
Recordemos que un lgebra se llama simple si solo posee los ideales
izquierdos triviales. Se demuestra que un lgebra es simple si solo si, todos
los submdulos izquierdos son isomorfos entre s. Un lgebra se llama
primaria si el lgebra ,J es simple, en donde J es el radical de Jacobson.
Teorema Si es artiniana primaria, entonces todos sus submdulos ine-
scindibles principales son isomorfos entre s. Adems,
~
= '
n
(1), para un :
nico, y un lgebra artiniana local 1 (i.c., 1 posee un nico ideal maximal), que
es nica salvo isomorfa.
Observacin Las lgebras artinianas que no son primarias, pueden tener
submdulos inescindibles principales 1, Q no isomorfos, tales que Ho:
.
(1, Q) ,=
0. Es por esta eventualidad que la demostracin del teorema de estructura de
Wedderburn, falla para lgebras ertinianas en general. La denicin del car-
caj
.
toma en cuenta la posibilidad de que existan submdulos inescindibles
principales 1, Q no isomorfos, tales que Ho:
.
(1, Q) ,= 0.
Un lgebra se llama reducida si el lgebra ,J es producto de un nmero
nito de lgebras con divisin.
Teorema Sean 1
1
, . . ., 1
:
mdulos inescidibles principales, 1 = 1
1

1
:
. El lgebra 1:d
.
(1) es reducida si, y solo si, 1
I
no es isomorfo con
1

, para i ,= ,.
Teorema Sea una 1 lgebra artiniana izquierda. Sea 1 el ideal izquierdo 1 =
1
1
1
:
, tal que los 1
I
, 1 _ i _ r forman un conjunto completo de ine-
scindibles proyectivos . Entonces 1:d
.
(1) es una 1 lgebra reducida.
Denicin El lgebra 1 = 1:d
.
(1) del anterior teorema se llama el
lgebra bsica de .
Teorema Sea artiniana.El lgebra bsica 1 = 1:d
.
(1) tambin es ar-
tiniana, y existe un isomorsmo de ltices t : idca|c:() idca|c:(1). Se
tiene, J(1) = tJ(), para los radicales de Jacobson. Adems,
1
=
.
.
10
EL LGEBRA DE UN CARCAJ
Sea = (\, 1) un carcaj, es decir, una grca orientada. Si los vrtices son
1, 2, ...r, se denotan los lados orientados mediante n
I
, para i ,. Sea 1 un
campo. Para cada i, 1 _ i _ r, se toma un objeto c
I
(que ser un idempotente),
y se considera la 1 lgebra semisimple conmutativa , con una base formada
por los idempotentes c
I
. As,
= 1c
1
1c
:
,
provista de la multiplicacin : c
I
c

= c
I
c
I
,

:
I=1
= 1
.
.Ahora se aade algo
que ser el radical de cierta lgebra. Sea el 1 espacio con base los lados n
I

de . Se dene una estructura de lgebra sin unidad en ( por lo cual ser

ideal bilateral), tomando todos los productos como nulos. Lo que se busca es
un lgebra cuyo cociente semisimple sea , y cuyo radical sea . Se dene
1 = ,
con la multiplicacin
n
I
c
|
= c
l
n
I
= 0, si / ,= i y , ,= |;
n
I
c
I
= c

n
I
= n
I
; n
I
n
|l
= 0.
Se demuestra que 1

=, provista de esa multiplicacin, es una 1 lge-

bra, tal que 1
1
= 1
.
, J(1) = y 1,
~
= . Los elementos c
1
, ..., c
:
forman
un conjunto completo de idempotentas primitivos, cuyos mdulos inescindibles
principales son 1
I
= 1c
I
= 1c
I

1n
I
: (i, ,)c1 (sumas de e.v.).
Observamos que (rad1)
2
= 0. Adems, el lgebra 1

tiene dimensin nita

si, y solamente si, no tiene ciclos orientados.
MDULOS Y REPRESENTACIONES
Sea una 1 lgebra y sea ' un mdulo. Por denicin, es un 1 mdulo
y vimos que 1:d
1
(') tambin es 1 mdulo. Para todo a c , se dene una
aplicacin
,
o
: ' ', ,
o
(r) = ar \rc'.
Es claro que cada ,
o
es aditiva; ella es , adems, morsmo de 1 mdulos.
En efecto, ,
o
(rr) = a(rr) = r(ar) = r,
o
(r). As, ,
o
c 1:d
1
(').
As, tenemos una aplicacin
, : 1:d
1
('),
Se prueba fcilmente que , es morsmo de 1 mdulos.
11
En 1:d
1
(') se tiene una estructura de 1 lgebra, denida por la composi-
cin de morsmos. Veremos que , es, adems, morsmo de lgebras. Es claro
que , es aditiva. Para ver que tambin respeta la multiplicacin, vemos que
para a, ac arbitrarios, ,
oo
0 (r) = (aa
0
)r = a(a
0
r) = ,
o
(a
0
r) = (,
o
,
o
0 )(r)
para todo rc', por lo cual ,(aa
0
) = ,(a),(a
0
).
Denicin Dada una 1 lgebra , una representacin de est dada por
un 1 mdulo ' y un morsmo de lgebras c : 1:d
1
(').
Una representacin c : 1:d
1
('), dene una estructura de mdulo
sobre '. Para ello, basta denir la accin de sobre ' de la siguiente manera
a r = (c(a))(r), \rc'.
Es fcil comprobar que, efectivamente, ' es mdulo. A modo de ilustracin,
mostramos la asociatividad : (aa
0
) r = a (a
0
r). En efecto,
(aa
0
)r = (c(aa
0
))(r) = (c(a)c(a
0
))(r) = (c(a)(c(a
0
))(r)) = c(a)(a
0
r) = a(a
0
r).
Denicin Si se tienen representaciones , : 1:d
1
('), ,
0
:
1:d
1
('
0
), sobre 1 mdulos ', '
0
, un morsmo ) : , ,
0
, es un morsmo
de 1 mdulos ) : ' '
0
, tal que, para todo a c , el siguiente diagrama
conmuta :
' ,(a)

'
) | | )
'
0

,
0
(a) '
0
.
Es decir, () ,(a)(r) = (,
0
(a)))(r), \a c , rc'.
Sabemos que ' y '
0
son tambin mdulos, denotados
.
',
.
'
0
, bajo
las respectivas acciones inducidas por las representaciones. Tenemos, adems,
que
) : , ,
0
es morsmo de representaciones =) :
.
'
.
'
0
es morsmo de mdulos.
Para mostrar dicha armacin, vemos que : )(a r) = )(,(a)(r)) =
() ,
0
(a))(r) = (,
0
(a) ))(r) = ,
0
(a)()(r)) = a )(r).
Podemos resear lo anterior como el paso de representaciones (y morsmos)
a mdulos (y morsmos). Podemos transitar en la direccin opuesta, es decir,
de mdulos a representaciones.
12
Dado, entonces,
.
', se puede mostrar, de modo anlogo a como se hizo al
principio de este prrafo, que la frmula
, : 1:d
1
('), a ,
o
, tal que ,
o
(r) = ar,
es una representacin. Adems, si se tiene un morsmo de mdulos,
) : ' '
0
, con las correspondientes representaciones ,, ,
0
, la condicin
)(ar) = a)(r), signica que se tiene un morsmo de representaciones ) : ,
,
0
.
El conjunto de todos los mdulos (y morsmos) constituye una categora,
denotada 'od(). Asimismo, el conjunto de todas las representaciones del
lgebra (y morsmos) constituye una categora, denotada Re j().
Puede mostrarse que los caminos anteriores son recprocos uno del otro. Con
mayor precisin, mediante las anteriores construcciones, hemos denido funtores
1 : 'od() Re j(), G : rcj() 'od(),
inversos entre s, por lo cual se tiene una equivalencia de categoras
'od() - Re j().
El conjunto de los mdulos nitamente generados constituye una subcat-
egora plena en 'od(), denotada mod().Si 1 es un campo /, los objetos de
mod() son los e. v. de dimensin nita. De manera similar, rcj() denota la
subcategora plena de Re j(), formada por las representaciones sobre mdulos
f. g. La anterior equivalencia de categoras se restringe a una equivalencia de
categoras :
mod() - rcj().
En el caso particular de un lgebra sobre un campo /, los objetos de
mod() son los / espacios vectoriales de dimensin nita.
LOS 1

MDULOS
Mediante un proceso laborioso se muestra que todo mdulo f. g. del lgebra
1

determina lo que se llama una representacin del carcaj , la cual se dene

a continuacin.
Denicin Sea = (\, 1) un carcaj, 1 un campo. Una 1 representacin es
un par (', ,), en donde ' = '
I
: 1 _ i _ r , con cada '
I
e.v. de dimensin
nita, y , =
_
,
I
: '
I
'

_
, para cada lado i ,, una tr. l.
13
Recprocamente, para cada representacin del carcaj = (\, 1), se con-
struye un 1 mdulo. Ambos procedimientos son inversos entre s.
Dadas representaciones (', ,), ('
0
, ,
0
), un morsmo 0 : (', ,) ('
0
, ,
0
)
est dado por tr. l. 0
I
: '
I
'
0
I
, 1 _ i _ r, t.q. el siguiente diagrama con-
muta :
'
I
,
I

'

0
I
| | 0
0

'
0
I
,
0
I

'
0

La composicin de morsmos se dene de manera natural, lo mismo que

la suma directa de representaciones. El conjunto de todas las representaciones
de se denota por rcj(). As, rcj() es una categora aditiva. Se tienen en
esta categora los conceptos de representacin simple, semisimple e inescindible.
Asimismo, la validez del Teorema de Estructura de Wedderburn y el Teorema
de Krull-Schmidt.
Conclusin importante Dado un carcaj , existe una equivalencia de
categoras
rcj() - mod(1

).
TIPO DE REPRESENTACIN
La equivalencia de las categoras rcj() - mod(1

) nos permite referirnos y

denir conceptos sobre representaciones de carcajes, que son traducibles a
lgebras.
Denicin Se dice que un carcaj = (\, 1) tiene tipo de representacin
nito si posee solamente un nmero nito de representaciones inescindibles.
Si se conocen las representaciones inescindibles de un carcaj de tipo nito,
por el teorema de Krull Schmidt se puede decir que se conocen todos las rep-
resentaciones de dimensin nita. Por otra parte, los carcajes de tipo nito se
han clasicado, con base en los diagramas de Dynkin.
14
Los diagramas de Dynkin son las grcas no orientadas siguientes :

n
(: _ 1)
1
n

(: _ 4)
1
6

|

1
7

1
8

.
TEOREMA (Gabriel) Un carcaj es de tipo de representacin nito si,
y solamente si, es un diagrama de Dynkin.
Observacin Sea un carcaj de tipo de representacin nito. l posee
un nmero nito de mdulos simples, fcilmente determinables, a partir de los
cuales, y por un mtodo combinatorio, basado en los funtores de Coxeter, se
obtienen todos los inescindibles, de manera sistemtica. Existe otro mtodo
15
para construir todos los inescindibles a partir de los simples, en el caso de tipo
nito, utilizando las sucesiones de Auslander-Reiten.
FORMAS CUADRTICAS
Sea = (\, 1) un carcaj, con vrtices 1, 2, ...r y lados i , . La forma
cuadrtica de se dene como :

(r
1
, r
2
, ..., r
:
) =
:

l=1
r
2
l


I!
r
I
r

.
(Puede haber ms de un lado entre dos vrtices, se toma en cuenta cada
lado).
Se dice que la forma cuadrtica

(r
1
, r
2
, ..., r
:
) es denida positiva si
(r
1
, r
2
, ..., r
:
) ,= 0 =

(r
1
, r
2
, ..., r
:
) 0.
El vector (r
1
, r
2
, ..., r
:
) se llama una raz de , si

(r
1
, r
2
, ..., r
:
) = 1.
TEOREMA (Ovsienko) Sea = (\, 1) un carcaj de tipo de repre-
sentacin nito. Existe una biyeccin entre el conjunto de representaciones ine-
scindibles de y el conjunto de races positivas de la forma cuadrtica

, dada
por
' : ' es representacin inescindible de (r
1
, r
2
, ..., r
:
) :

(r
1
, r
2
, ..., r
:
) = 1 ,
dada por
' (dim'
1
, ..., dim'
:
).
Referencias
R. S. Pierce, Associative Algebras, Springer Verlag, 1980.
I. Reiten, Dynkin Diagrams and the Representation Theory of Algebras, No-
tices of the AMS, vol. 44. n. 5
C. Cibils et al., Mtodos diagramticos en teora de representaciones de l-
16
gebras, Inst. de Mat., UNAM
_______________________________________________________________
Juan Boza Cordero
juan.boza.cordero@gmail.com
San Jos, Costa Rica, setiembre de 2012
Conferencia ofrecida en la Facultad de Matemticas de la
Universidad Autnoma de Yucatn, Mrida, el 20 de setiembre de 2012,
en ocasin del 49 aniversario de su fundacin.
APNDICE
TEOREMA PRINCIPAL DE WEDDERBURN-MALCEV
Sea 1 una 1lgebra que satisface :
(a) 1i:1,J(1) _ 1;
(b) 1,J(1) es proyectivo como 1mdulo;
(c) J(1)
|
= 0, p. a. / _ 1.
Entonces existe una sublgebra de 1, t. q. 1 = J(1) como
1mdulos, y
~
= 1,J(1) como lgebras.
Si 1i:1,J(1) = 0, entonces para cualesquiera sublgebras ,
0
de 1, que
satisfacen 1 = J(1) =
0
J(1), existe n c J(1), t. q.

0
= (1 n)
1
(1 n).
COROLARIO Si el campo 1 es perfecto y 1 es una 1 lgebra de di-
mensin nita, existe una sublgebra , t. q. 1 = J(1). Adems, es
nica, salvo conjugacin por unidades de la forma 1 n, n c J(1).
OTROS RESULTADOS
(1) Sea un ideal (bilateral) de la 1 lgebra . Se dene o =
como 1 mdulos, y (n, r)(, j) = (n + r + rj, rj). Entonces o es una
1 lgebra con unidad (0, 1).
0
= (0, r), rc es subalgebra de o isomorfa
a , mediante (0, r) r.
0
= (n, 0), nc es ideal de o, isomorfo como
bimodulo con .Finalmente, o =
0

0
.
(2) Sea 1 una 1algebra de dimension nita t. q. = 1,J(1) es sep-
arable. Entonces J(1) es ideal nilpotente y 1
~
= J(1) o . Reciprocamente,
si es 1 -algebra semisimple, un ideal nilpotente y 1 = o , entonces

~
= J(1) y
~
= 1,J(1).

17