i i

i i
CAPITULO I
PRELIMINARES
1. ALGEBRAS DE ARTIN
En estas notas todas las algebras son algebras de artin, a menos que se indique lo
contrario. Recordamos que un algebra se dice de artin si es nitamente generada como
m odulo sobre su centro, y este es un anillo artiniano. Para las nociones b asicas sobre anillos
y m odulos, o algebra homol ogica, remitimos al lector a [AF, Ro, A].
Nos interesa aqu el estudio de la teora de representaciones de un algebra de artin A, es
decir, la categora modAde Am odulos a derecha nitamente generados. Para ello, podemos
suponer sin p erdida de generalidad que A es conexa (es decir, indescomponible como anillo).
Designaremos indA a una subcategora plena de modA cuyos objetos forman un conjunto
completo de representantes de las clases de isomorsmo de Am odulos indescomponibles.
Por el teorema de descomposi on unica de Krull-Schmidt, todo Am odulo a derecha ni-
tamente generado se escribe como suma directa de un n umero nito de Am odulos indes-
componibles, y esta descomposici on es unica a menos de isomorsmo. En virtud de este
resultado, la categora indA juega un papel esencial en el estudio de modA.
Sea C una subcategora aditiva de modA. Escribiremos M C para expresar que M es
un objeto de C, y notaremos ind C la subcategora plena de indA que tiene por objetos un
conjunto completo de representantes de las clases de isomorsmo de objetos de C. Si M
es un Am odulo, notaremos addM la subcategora aditiva de modA formada por las sumas
directas de sumandos directos de M, y escribiremos indM en lugar de ind(addM).
Por ultimo, consideraremos los Am odulos a izquierda como A
op
m odulos (a derecha).
Una de las propiedades m as importantes de las algebras de artin es la existencia de una
dualidad D : modA modA
op
(ver [AuRS], secci on (II.3), p. 37). La utilizaremos de
manera esencial en lo que sigue.
Sea e
1
, e
2
, ..., e
n
un conjunto completo de idempotentes ortogonales primitivos de A,
arbitrario, pero jo. A cada i tal que 1 i n, se asocia un Am odulo indescomponible
proyectivo P
i
= e
i
A y (en virtud de la dualidad) un Am odulo indescomponible inyectivo
I
i
= D(Ae
i
). Por otra parte, el cociente S
i
= P
i
/radP
i
es simple e isomorfo al z ocalo socI
i
de
I
i
. De hecho, esta correspondencia entre P
i
e I
i
es funtorial: Denimos el funtor de Nakayama
= DHom
A
(, A) : modA modA.
Observamos que hay un isomorsmo de funtores

=
A
DA.
Lema 1.1. El funtor de Nakayama induce una equivalencia entre las subcategoras de modA
formadas respectivamente por los proyectivos y los inyectivos, tal que (P
i
)

= I
i
, para cada
i.
Demostraci on. Sea

= Hom
A
(DA, ) : modA modA. Entonces se tienen los siguientes
isomorsmos funtoriales:
(P
i
) = DHom
A
(e
i
A, A)

= D(Ae
i
) = I
i
;

(I
i
) = Hom
A
(DA, D(Ae
i
))

= Hom
A
op(Ae
i
, A)

= e
i
A = P
i
. 2
1
i i
i i
2
Lema 1.2. Para todo Am odulo M y todo i tal que 1 i n, se tiene que Hom
A
(P
i
, M)

=
DHom
A
(M, I
i
).
Demostraci on. DHom
A
(M, I
i
) = DHom
A
(M, D(Ae
i
))

= DHom
A
op (Ae
i
, DM)

= D(e
i
DM)

= (D
2
M)e
i

= Me
i

= Hom
A
(e
i
A, M) = Hom
A
(P
i
, M). 2
Sea P la suma directa de los proyectivos de indA, y sea B = EndP
A
. Del teorema cl asico
de Morita resulta que las categoras modA y modB son equivalentes, y que dos Bm odulos
proyectivos indes-componibles correspondientes a dos idempotentes ortogonales primitivos
distintos no son isomorfos (es decir, B es un algebra b asica). Por lo tanto, podemos suponer
de partida, sin p erdida de genera-lidad, que A es b asica. Salvo menci on explcita de lo
contrario, supondremos que todas nuestras algebras son conexas y b asicas.
Ahora denimos el grupo de Grothendieck del algebra A. Sea F el grupo abeliano libre
generado por las clases de isomorsmo

M de los Am odulos nitamente generados M, y
F

el subgrupo generado por todas las expresiones

L+

N

M, tales que
0 L M N 0
es una sucesi on exacta en modA. Entonces el grupo de Grothendieck K
0
(A) de A es por
denici on el grupo cociente F/F

.
Notamos [M] la imagen de

M en K
0
(A).
Sea S
1
, S
2
, ..., S
n
el subconjunto de indA de los m odulos simples. Resulta inmediata-
mente del teorema de Jordan -H older que para cada M modA el n umero m
i
(M) de factores
de composici on de M isomorfos a S
i
depende s olo de M y de S
i
(y no de la serie de com-
posici on de M). Llamamos vector dimensi on de M al vector
dim(M) = [m
1
(M), m
2
(M), ..., m
n
(M)] Z
n
.
Esto permite denir, para cada i, aplicaciones m
i
: F Z y dim : F Z
n
, poniendo
m
i
(

M) = m
i
(M), dim(

M) = dim(M).
Lema 1.3. Las aplicaciones m
i
y dim inducen homomorsmos de grupos
m
i
: K
0
(A) Z y dim : K
0
(A) Z
n
.
Demostraci on. Basta probar que, si 0 L M N 0 es una sucesi on exacta corta,
entonces para cada i se tiene que m
i
(M) = m
i
(L) +m
i
(N).
Podemos suponer que L M y N = M/L. Si 0 = L
0
L
1
... L
s
= L es una serie
de composici on de L, y 0 = M
0
/L M
1
/L ... M
t
/L = M/L = N una de N, se ve de
inmediato que 0 = L
0
L
1
... L
s
= L = M
0
M
1
... M
t
= M es una serie de
composici on de M. De aqu se deduce la igualdad deseada. 2
Teorema 1.4. El grupo K
0
(A) es abeliano libre con base [S
1
] , [S
2
] , ..., [S
n
] y la aplicaci on
dim: K
0
(A) Z
n
es un isomorsmo de grupos.
Notas de Algebra y An alisis, Vol 21, 2008
i i
i i
3
Demostraci on. Resulta de la existencia de series de composici on de los Am odulos y de la
denici on de K
0
(A) que, para todo Am odulo M, tenemos:
[M] =
n

i=1
m
i
(M)[S
i
] .
Por lo tanto el conjunto [S
1
] , [S
2
] , ..., [S
n
] genera K
0
(A). En virtud de (1.3), la aplicaci on
dim: K
0
(A) Z
n
es un homomorsmo de grupos. Como el conjunto [S
1
] , [S
2
] , ..., [S
n
] se
aplica biyectivamente sobre la base can onica de Z
n
, es linealmente independiente y, luego,
una base. Por lo tanto dim: K
0
(A) Z
n
es un isomorsmo. 2
Corolario 1.5. Sea A un algebra de dimensi on nita sobre un cuerpo algebraicamente cerra-
do k. Entonces, para todo i y todo Am odulo M, se tiene que:
m
i
(M) = dim
k
Hom
A
(P
i
, A).
Demostraci on. Sabemos que m
i
dene un homomorsmo K
0
(A) Z tal que
m
i
(S
j
) =
_
0 si i ,= j
1 si i = j .
Por otra parte, dim
k
Hom
A
(P
i
, ) tambi en dene un homomorsmo K
0
(A) Z, ya que si
0 L M N 0 es una sucesi on exacta, entonces
0 Hom
A
(P
i
, L) Hom
A
(P
i
, M) Hom
A
(P
i
, N) 0
tambi en lo es.
Como k es algebraicamente cerrado, el anillo de endomorsmos de cada m odulo simple
tiene dimensi on 1, y se tiene que
dim
k
Hom
A
(P
i
, S
j
) =
_
0 si i ,= j
1 si i = j .
Como ambos homomorsmos coinciden en la base
_
S
j

n
j=1
, son iguales. 2
Los carcajes ligados forman una fuente inagotable de ejemplos. Un carcaj Q es una
cu adrupla ordenada Q = (Q
0
, Q
1
, s, t) formada por dos conjuntos, Q
0
(el conjunto de puntos)
y Q
1
(el conjunto de echas); y dos aplicaciones s, t : Q
1
Q
0
que asocian a cada echa
Q
1
su inicio s() y su n t(). De esta manera, un carcaj se puede considerar un grafo
orientado (que puede tener lazos y echas m ultiples).
Sean Q un carcaj nito y x, y Q
0
. Un camino de longitud l de x a y es una sucesi on
de echas
1

2
...
l
tales que x = s(
1
), y = t(
l
), y t(
i
) = s(
i+1
) para todo i tal que
1 i < l. Adem as asociamos a cada punto x Q
0
un camino de longitud nula
x
llamado el
camino estacionario en x. Sea k un cuerpo. El algebra de caminos kQ de Q es la k algebra
con base formada por los caminos de Q (incluidos los caminos estacionarios), dotada del
producto dado por la composici on de caminos:
Notas de Algebra y An alisis, Vol 21, 2008
i i
i i
4
(
1

2
...
l
)(
1

2
...
m
) =
_

2
...
l

2
...
m
si t(
l
) = s(
1
)
0 si t(
l
) ,= s(
1
)
y prolongado por distributividad y asociatividad teniendo en cuenta que, si x e y son puntos
y es una echa, entonces

x
=
_
si s() = x
0 si s() ,= x
,
x
=
_
si t() = x
0 si t() ,= x
y
x

y
=
_

x
si x = y
0 si x ,= y .
Una relaci on sobre Q, de x a y, es un elemento de kQ de la forma =
m

i=1

i
donde, para
cada i,
i
es un escalar no nulo y
i
es un camino de longitud mayor o igual que dos de x a y.
Un conjunto de relaciones sobre kQ genera un ideal I de kQ. Este ideal I se dice admisible si
existe un entero p tal que todo camino de Q de longitud mayor o igual que p pertenece a I. Si
I es admisible, entonces es f acil de probar que el algebra cociente kQ/I es de kdimensi on
nita.
Recprocamente, si A es un algebra de dimensi on nita sobre un cuerpo algebraicamente
cerrado k, entonces existen un carcaj conexo, nito Q y un ideal admisible I de kQ tales que
A

=kQ/I (ver [AuRS] (III.1.10) p. 66 o [ASS] (II 3.7) p. 64). En este caso, las clases m odulo
I de los caminos estacionarios, e
x
=
x
+I, forman un conjunto completo de idempotentes
ortogonales primitivos de A (en particular, est an en correspondencia biyectiva con los puntos
de Q). A cada x Q
0
corresponde tambi en un Am odulo proyectivo indescomponible P
x
=
e
x
A. Las clases m odulo I de los caminos de Q que comienzan en x forman una base de
P
x
considerado como k-espacio vectorial. Dualmente, asociado a x tenemos el Am odulo
inyectivo I
x
= D(Ae
x
), y la base dual de las clases m odulo I de los caminos que terminan en
x.
Ejemplo 1.6. Sea A dada por el carcaj Q

o
o
o
o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O
O
O
O

O
O
O
O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o
o
o
o
ligado por la relaci on = (es decir, A es el cociente del algebra de caminos de Q
por el ideal generado por ). Escribimos brevemente = , y la llamamos una relaci on
de conmutatividad. Notamos I =). Aqu el proyectivo indescomponible P
1
tiene por base
e
1
, y es simple; e
2
, +I es una base de P
2
, y el proyectivo P
4
tiene por base e
4
, +
I, +I, +I = +I. Suele ser m as util representar los m odulos por sus sucesiones de
Loewy (ver [AuRS] p.12 o [ASS] p. 160):
P
1
= 1, P
2
=
2
1
, P
3
=
3
1
, P
4
=
4
2 3
1
.
Notas de Algebra y An alisis, Vol 21, 2008
i i
i i
5
An alogamente,
I
1
=
4
2 3
1
, I
2
=
4
2
, I
3
=
4
3
, I
4
= 4.
2. MORFISMOS IRREDUCIBLES Y SUCESIONES QUE CASI SE PARTEN.
Nuestra herramienta principal en estas notas es la teora de Auslander-Reiten. A con-
tinuaci on resumimos sus principales resultados. Para una exposici on detallada, remitimos al
lector a [AuRS] o, para el caso de algebras sobre cuerpos algebraicamente cerrados, a [ASS].
En toda esta secci on, suponemos que A es un algebra de artin b asica y conexa.
Deniciones. (a) Sea f : L M un morsmo de Am odulos. Entonces f se dice minimal a
izquierda si h f = f implica que h es un automorsmo; se dice que f casi se parte a izquierda
si no es una secci on y, para todo u : L U que no es una secci on, existe u

: M U tal que
u

f = u. Por ultimo, se dice que f es un morsmo minimal que casi se parte a izquierda si
es minimal a izquierda y casi se parte a izquierda.
(b) Sea g : M N un morsmo de Am odulos. Entonces g se dice mini-
mal a derecha si gk = g implica que k es un automorsmo; se dice que g casi se parte
a derecha si no es una retracci on y, para todo v : V N que no es una retracci on, existe
v

: V M tal que gv

= v. Por ultimo, g se dice minimal que casi se parte a derecha si es

minimal a derecha y casi se parte a derecha.
Es claro que cada noci on a derecha es dual de la correspondiente noci on a izquierda.
A modo de ejemplo, enunciamos el siguiente lema, cuya sencilla demostraci on dejamos a
cargo del lector.
Lema 2.1. (a) Sea P un Am odulo indescomponible proyectivo. Entonces f : L P es
minimal que casi se parte a derecha si y s olo si f es un monomorsmo con imagen radP.
(b) Sea I un Am odulo indescomponible inyectivo. Entonces g : I N es
minimal que casi se parte a izquierda si y s olo si g es un epimorsmo con n ucleo socI.
Denici on. Un morsmo de Am odulos f : M N se dice irreducible si no es una secci on
ni una retracci on y, para toda factorizaci on f = f
1
f
2
, con f
1
: X N y f
2
: M X, se tiene
que f
1
es una retracci on o f
2
es una secci on.
Es evidente que esta denici on es autodual. Notemos que todo morsmo irreducible es
un monomorsmo o un epimorsmo: En efecto, sea f = j p la factorizaci on can onica del
morsmo irreducible f a trav es de su imagen. Si f no es un monomorsmo, entonces p
tampoco lo es. Por tanto j es a la vez un monomorsmo y una retracci on. De aqu sigue
que j es un isomorsmo. Luego f es un epimorsmo, como queramos. Este hecho (con el
lema de Fitting) implica que, para todo m odulo indescomponible M, no existen morsmos
irreducibles de M en M.
El lector puede ver una demostraci on del siguiente teorema que relaciona los morsmos
Notas de Algebra y An alisis, Vol 21, 2008
i i
i i
6
irreducibles y los morsmos minimales que casi se parten a izquierda (o a derecha) en
[AuRS] (V.5.3) p. 167 o [ASS] (IV, 1.10) p. 103.
Teorema 2.2. (a) Sea L un m odulo indescomponible. Un morsmo f : L M es irreducible
si y s olo si M ,= 0 y existe un morsmo f

: L M

tal que
_
f
f

_
: L MM

es minimal
que casi se parte a izquierda.
(b) Sea N un m odulo indescomponible. Un morsmo g : M N es irre-
ducible si y s olo si M ,= 0 y existe un morsmo g

: M

N tal que
_
g g

: MM

N es
minimal que casi se parte a derecha.
Luego, si P es indescomponible proyectivo, un morsmo no nulo f

: L

P es irreducible
si, y s olo si, existe L

tal que L

L

= radP y f

es la composici on de las inclusiones

L

radP P. Dualmente, si I es indescomponible inyectivo, un morsmo no nulo g

: I
N

es irreducible si, y s olo si, existe N

tal que N

N

= I / socI y g

es la composici on de
las proyecciones I I / socI N

. Esto sigue directamente de (2.1) y (2.2).

Denici on. Una sucesi on exacta corta de Am odulos
0 L
f
M
g
N 0
se dice que casi se parte si f es minimal que casi se parte a izquierda y g es minimal que
casi se parte a derecha.
Resulta directamente de la denici on que una sucesi on que casi se parte no se parte. El
teorema siguiente (cuya demostraci on se encuentra en [AuRS] (V.1.4) p. 144 y (V.5.3) p.
167 o [ASS] (IV 1.13) p.105) resume las propiedades y caracterizaciones de las sucesiones
que casi se parten.
Teorema 2.3. Sea 0 L
f
M
g
N 0 una sucesi on exacta corta. Las siguientes condi-
ciones son equivalentes:
(a) La sucesi on casi se parte.
(b) L es indescomponible y g es un morsmo que casi se parte a derecha.
(c) N es indescomponible y f es un morsmo que casi se parte a izquierda.
(d) f es un morsmo minimal que casi se parte a izquierda.
(e) g es un morsmo minimal que casi se parte a derecha.
(f) L, N son indescomponibles y f , g son irreducibles.
Adem as, si estas condiciones se verican, la sucesi on est a unvocamente determinada por
N (o por L) salvo isomorsmo.
Para probar la existencia de sucesiones que casi se parten, se consideran las categoras
proyectivamente e inyectivamente estables. Sean M y N dos Am odulos. Denimos P(M, N)
(e J(M, N)) como el conjunto de morsmos de M en N que se factorizan por Am odulos
proyectivos (e inyectivos, respectivamente). Es f acil probar que P(M, N) e J(M, N) son
Notas de Algebra y An alisis, Vol 21, 2008
i i
i i
7
subgrupos de Hom
A
(M, N) y que, m as a un, estos subgrupos denen ideales P e J de
modA, respectivamente.
La categora proyectivamente estable modA = (modA)/P admite por objetos todos los
Am odulos, y el conjunto de morsmos de M a N en esta categora es Hom
A
(M, N) =
Hom
A
(M, N)/P(M, N). De manera dual, los A-m odulos son tambi en los objetos de la cate-
gora inyectivamente estable modA = (modA)/J , y el conjunto de morsmos de M a N
en esta categora es Hom
A
(M, N) = Hom
A
(M, N)/J(M, N).
Consideremos ahora un Am odulo M y una presentaci on proyectiva minimal
P
1
f
P
0
M 0.
Se dene la traspuesta TrM de M como el con ucleo de Hom
A
( f , A) :
0 Hom
A
(M, A) Hom
A
(P
0
, A)
Hom
A
( f ,A)
Hom
A
(P
1
, A) TrM 0.
Usando que un morsmo f : MN puede levantarse a un morsmo entre presentaciones
proyectivas de M y N, puede denirse un morsmo, la traspuesta de f , de TrM en TrN. Si
bien no es unico se puede probar que esta operaci on induce un funtor (de hecho una dualidad)
Tr : modA modA
op
(ver [AuRS] (IV.1.6) p. 104).
Esto nos permite denir las composiciones = DTr y
1
= Tr D, llamadas las trasla-
ciones de Auslander-Reiten. As, es una equivalencia de modA en modA, de inversa
1
:
modA modA (ver [AuRS] (IV.1.9) p. 106 o [ASS] (IV 2.3) p. 112).
Recordemos que =DHom
A
(, A) y

=Hom
A
(DA, ) son los funtores considerados
en la secci on 1.
Lema 2.4. (a) Si P
1
f
P
0
M 0 es una presentaci on proyectiva minimal, se tiene una
sucesi on exacta
0 M P
1
f
P
0
M 0.
(b) Si 0 N I
0
g
I
1
es una copresentaci on inyectiva minimal, se tiene una
sucesi on exacta
0

P
1
g

P
0

1
N 0.
Demostraci on. Basta probar (a), ya que (b) es dual. La sucesi on requerida resulta de aplicar
la dualidad D a la sucesi on exacta
0 Hom
A
(M, A) Hom
A
(P
0
, A)
Hom
A
( f ,A)
Hom
A
(P
1
, A) TrM 0.
2
En lo que sigue, dpM designar a la dimensi on proyectiva del A-m odulo M, diM su di-
mensi on inyectiva, y dim.gl.A la dimensi on global del algebra A.
Corolario 2.5. Sea M un Am odulo.
(a) dpM 1 si y s olo si Hom
A
(DA, M) = 0.
(b) diM 1 si y s olo si Hom
A
(
1
M, A) = 0.
Notas de Algebra y An alisis, Vol 21, 2008
i i
i i
8
Demostraci on. Basta probar (a), porque (b) es dual. En virtud de (2.4) y (1.1), se tiene un
diagrama conmutativo con las exactas
0

P
1

P
0
P
1

P
0

M

0
porque

= Hom
A
(DA, ) es exacto a izquierda. Luego dpM1 si y s olo si

M =0, que
es lo que queramos. 2
El siguiente teorema es esencial en la demostraci on de la existencia de sucesiones que casi
se parten:
Teorema 2.6. (Las f ormulas de Auslander-Reiten). Sean M y N dos Am odulos. Existen
isomorsmos
Ext
1
A
(M, N)

= DHom
A
(
1
N, M)

= DHom
A
(N, M),
funtoriales en ambas variables.
Demostraci on. Indicamos las etapas principales de la prueba, dejando el detalle de los
c alculos al lector. Necesitamos unas palabras de preparaci on. Dados dos Am odulos X, Y,
consideremos el morsmo funtorial

X,Y
: Y
A
Hom
A
(X, A) Hom
A
(X,Y)
denido por: y f (x y f (x)) (para x X, y Y y f : X A). Es claro que si X o Y
es proyectivo, entonces
X,Y
es un isomorsmo. Por otra parte, Coker
X,Y

= Hom
A
(X,Y) :
En efecto, una cubierta proyectiva P Y induce un diagrama conmutativo con las exactas
P
A
Hom
A
(X, A)

X,P

Y
A
Hom
A
(X, A)

X,Y

0
Hom
A
(X, P)

Hom
A
(X,Y)

Hom
A
(X,Y)

0
que implica nuestra armaci on.
Sean ahora M, N dos Am odulos. Evidentemente basta probar el primer isomorsmo
del enunciado del teorema, y para ello podemos suponer que N no tiene sumandos directos
inyectivos. Una presentaci on proyectiva minimal
P
1
f
1
P
0
f
0

1
N 0
induce, en virtud de (2.4), una sucesi on exacta
0 N P
1
f
1
P
0
f
0
(
1
N) 0.
De aqu se obtiene el complejo
Notas de Algebra y An alisis, Vol 21, 2008
i i
i i
9
0 Hom
A
(M, N) Hom
A
(M, P
1
) Hom
A
(M, P
0
) Hom
A
(M, (
1
N)).
Por otro lado, la presentaci on proyectiva minimal dada induce una sucesi on exacta
DHom
A
(P
1
, M) DHom
A
(P
0
, M) DHom
A
(
1
N, M) 0.
Ahora, si componemos, para un A-m odulo X, el dual de
M,X
con el isomorsmo de
adjunci on, obtenemos un morsmo

M,X
: DHom
A
(M, X)
D
M,X
D(X
A
Hom
A
(M, A))

=
Hom
A
(X, M) ,
que es un isomorsmo cuando X es proyectivo. De esta manera tenemos un diagrama con-
mutativo donde la la superior es exacta y la la inferior es un complejo:
DHom
A
(P
1
, M)

M,P
1

=

DHom
A
(P
0
, M)

M,P
0

=

DHom
A
(
1
N, M)

M,
1
N

0
0

Hom
A
(M, N)

Hom
A
(M, P
1
)

Hom
A
(M, P
0
)

Hom
A
(M, (
1
N)).
Como P
1
y P
0
son inyectivos, deducimos que:
Ext
1
A
(M, N) = Ker Hom
A
(M, f
0
) / Im Hom
A
(M, f
1
)

= Ker
M,
1
N

= Ker D
M,
1
N

= D Coker
M,
1
N

= DHom
A
(
1
N, M)
en virtud del enunciado probado m as arriba. 2
Corolario 2.7. (a) dpM 1 implica Ext
1
A
(M, N)

= D Hom
A
(N, M).
(b) diM 1 implica Ext
1
A
(M, N)

= DHom
A
(
1
N, M).
Demostraci on. Basta probar (a), ya que (b) es dual. Si dpM 1, entonces, por (2.5),
Hom
A
(DA, M) = 0. Por consiguiente, ning un morsmo (no nulo) de N a M se factoriza
por inyectivos. Luego Hom
A
(N, M) = Hom
A
(N, M). 2
Sea M un m odulo indescomponible y no proyectivo. Empleando las f ormulas de Auslander-
Reiten se puede probar que el bim odulo Ext
1
A
(M, M) tiene z ocalo simple como EndM-
m odulo y como (EndM)
op
-m odulo. Adem as estos dos z ocalos coinciden y cada elemento
no nulo del z ocalo es una sucesi on que casi se parte. Para la demostraci on de estos resulta-
dos, que implican el siguiente teorema de existencia, remitimos al lector a [AuRS] (V.2.1) p.
147, o [ASS] (IV. 3.1) p 120.
Notas de Algebra y An alisis, Vol 21, 2008
i i
i i
10
Teorema 2.8. (a) Para todo Am odulo indescomponible no proyectivo M, existe una sucesi on
que casi se parte
0 M E M 0.
(b) Para todo Am odulo indescomponible no inyectivo N, existe una sucesi on
que casi se parte
0 N F
1
N 0.

Una consecuencia inmediata del teorema anterior es que, para todo m odulo indescom-
ponible M, existe un morsmo minimal que casi se parte a derecha f : L M. En efecto,
si M es proyectivo, tomamos la inclusi on radM M, y si no lo es, existe una sucesi on que
casi se parte
0 M L
f
M 0.
En particular, L = 0 si y s olo si M es simple proyectivo. Dualmente, para todo m odulo
indescomponible M, existe un morsmo minimal que casi se parte a izquierda g : M N, y
N = 0 si y s olo si M es simple inyectivo.
Corolario 2.9. (a) Sea M un Am odulo indescomponible no proyectivo. Existe un morsmo
irreducible f : X M si y s olo si existe un morsmo irreducible f

: M X.
(b) Sea N un Am odulo indescomponible no inyectivo. Existe un morsmo
irreducible g : N Y si y s olo si existe un morsmo irreducible g

: Y
1
N.
Demostraci on. Basta probar (a), porque (b) es dual. Sea f : X M un morsmo irreducible.
Por (2.2), existe g : X

M tal que
_
f g

: X X

M es minimal que casi se parte a

derecha. Como M no es proyectivo, por (2.3) hay una sucesi on que casi se parte
0 M
_
f

_
X X

[ f g]
M 0 ,
de la cual resulta el enunciado, usando nuevamente (2.2). 2
Corolario 2.10. (a) Sea S un Am odulo simple proyectivo y no inyectivo. Si f : S M es
irreducible, entonces M es proyectivo.
(b) Sea S un Am odulo simple inyectivo y no proyectivo. Si g : N S es
irreducible, entonces N es inyectivo.
Demostraci on. Basta probar (a), porque (b) es dual. Podemos suponer que M es indescom-
ponible. Si M no es proyectivo, existe, en virtud de (2.9), un morsmo irreducible M S.
Pero esto contradice la hip otesis de que S es simple proyectivo. 2
Corolario 2.11. Sea M un Am odulo indescomponible no proyectivo tal que EndM
A
es un
anillo de divisi on. Entonces cualquier elemento no nulo de Ext
1
A
(M, M) es una sucesi on
que casi se parte.
Notas de Algebra y An alisis, Vol 21, 2008
i i
i i
11
Demostraci on. Por la f ormula de Auslander -Reiten sabemos que
Ext
1
A
(M, M)

= DHom
A
(M, M)

= DEndM
A
,
de donde Ext
1
A
(M, M) es un espacio vectorial de dimensi on 1 sobre EndM
A
, de lo que
resulta lo enunciado. 2
Ejemplo 2.12. Sea k un cuerpo algebraicamente cerrado y A el algebra dada por el carcaj Q
1

ligado por la relaci on = 0 (es decir, como hemos visto, A es el cociente del algebra de
caminos de Q por el ideal generado por ). Procediendo como en (1.6), vemos que los
proyectivos e inyectivos indescomponibles son:
P
1
=
1
2
P
2
=
2
1
2
I
1
=
2
1
I
2
= P
2
.
Construiremos la sucesi on que casi se parte que termina en 1. Para ello, comencemos por
calcular 1 : Una resoluci on proyectiva minimal
2
1
2

1
2
1 0
induce, por aplicaci on de , una sucesi on exacta
0 2
2
1
2

2
1
donde 2 = 1 (esto se deduce de que dim
k
Hom
A
(
2
1
2
,
2
1
) = 1). Como 1 es simple, End(1
A
) es
un anillo de divisi on y (2.11) implica entonces que todo elemento no nulo de Ext
1
A
(1, 2) =
Ext
1
A
(1, 1) es una sucesi on que casi se parte. Un tal elemento es la sucesi on
0 2
1
2
1 0.
De igual manera, para calcular la sucesi on que casi se parte que termina en 2, consideramos
la resoluci on proyectiva minimal
1
2

2
1
2
2 0.
De aqu deducimos, por aplicaci on de , una sucesi on exacta
0 1
2
1

2
1
2
,
porque ahora dim
k
Hom
A
(
2
1
,
2
1
2
) = 1. Por lo tanto 2 = 1. Nuevamente, basta calcular una
extensi on que no se parte, como la siguiente:
0 1
2
1
2 0.
Notas de Algebra y An alisis, Vol 21, 2008
i i
i i
12
Es necesario alertar al lector: El c alculo de una sucesi on que casi se parte (y en particular
de su t ermino medio) es en general muy difcil.
3. EL CARCAJ DE AUSLANDER-REITEN.
El carcaj de Auslander-Reiten permite presentar importante informaci on contenida en las
sucesiones que casi se parten bajo forma de diagrama. Para denir este carcaj, necesitamos
introducir la noci on de radical de una categora de m odulos.
Sea A un algebra de artin y M, N dos Am odulos. Se dene rad
A
(M, N) como el conjunto
de los f Hom
A
(M, N) tales que, para todo X indA y para todo par de morsmos g : X
M, h : N X, la composici on h f g no es un isomorsmo.
Si M y N son indescomponibles, esta denici on se simplica.
Lema 3.1. Sean M, N dos Am odulos indescomponibles. Entonces rad
A
(M, N) = f
Hom
A
(M, N) [ f no es un isomorsmo.
Demostraci on. Si f Hom
A
(M, N) es un isomorsmo, entonces M
id
M
f
N
f
1
M
tambi en lo es. Por consiguiente el miembro izquierdo est a contenido en el miembro derecho.
Recprocamente, supongamos que g : X M, h : N X son morsmos tales que h f g = u
es un isomorsmo. En particular, h es un epimorsmo y g un monomorsmo. Por otra parte,
el morsmo compuesto
M
f
N
h
X
u
1

=
X
g
M
es un endomorsmo de M. Entonces
(gu
1
h f )(gu
1
h f ) = (gu
1
)(h f g)(u
1
h f ) = (gu
1
)u(u
1
h f ) = gu
1
h f
es un idempotente. Como M es indescomponible, esto implica que gu
1
h f =0 o gu
1
h f =
id
M
. Pero gu
1
h f = 0 implica h f = 0, lo que es imposible, porque h f g es un isomorsmo.
Por lo tanto gu
1
h f = id
M
. An alogamente se prueba que el endomorsmo f gu
1
h de N es
un idempotente no nulo, de donde f gu
1
h = id
N
. Por lo tanto f es inversible a izquierda y a
derecha, o sea, es un isomorsmo. 2
Es f acil probar que para cada par de m odulos M, N, el conjunto rad
A
(M, N) es un subgrupo
de Hom
A
(M, N) y, m as a un, que estos subgrupos denen un ideal rad
A
de modA (ver [AuRS]
(V.7.1) p. 178).
Entonces podemos denir las potencias de este ideal de la manera usual. En particular,
para dos Am odulos M, N, se dene rad
2
A
(M, N) = f Hom
A
(M, N) [ existen X modA
y morsmos g rad
A
(M, X), h rad
A
(X, N) tales que f = hg.
Ahora se puede probar que un morsmo f : M N entre m odulos indescomponibles es
irreducible si y s olo si f rad
A
(M, N) rad
2
A
(M, N) (ver [AuRS] (V.7.3) p. 179 o [ASS]
(IV.1.6) p. 100). Esta observaci on lleva a considerar el cociente
Irr(M, N) = rad
A
(M, N)/rad
2
A
(M, N).
Notas de Algebra y An alisis, Vol 21, 2008
i i
i i
13
Es claro que Irr(M, N) est a munido de una estructura de EndM(EndN)
op
bim odulo.
Pero nosotros queremos m as. Supongamos que M, N son indescomponibles y pongamos:
K
M
= EndM/rad EndM, K
N
= EndN/rad EndN.
Como EndM y EndN son anillos locales, K
M
y K
N
son anillos de divisi on. Por otro lado, el
radical del anillo EndM coincide con rad
A
(M, M), de donde
rad EndN. rad
A
(M, N) rad
2
A
(M, N), rad
A
(M, N). rad EndM rad
2
A
(M, N).
Luego Irr(M, N) est a dotado de una estructura de K
M
K
op
N
bim odulo, y lo llamamos
bim odulo de los morsmos irreducibles.
Ahora podemos denir el carcaj de Auslander-Reiten de A.
Denici on. Sea A un algebra de artin. El carcaj de Auslander-Reiten (modA) de A se
dene como sigue:
(a) Los puntos de (modA) son los objetos de indA.
(b) Hay una (y s olo una) echa M N si y s olo si existe un morsmo irreducible de
M a N. Esta echa est a munida de un par de enteros (a, b), llamado su valuaci on, donde
a = dim
K
M
Irr(M, N) y b = dim
K
N
Irr(M, N).
Observaciones 3.2. (a) Supongamos que N en indA no es proyectivo, y que (a, b) es la
valuaci on de la echa M N. Por (2.9), existe una echa N M. Se prueba que esta
echa tiene valuaci on (b, a) (ver [AuRS] (VII.1.5) p. 231).
(b) Como no existen morsmos irreducibles de un indescomponible en s mismo,
el carcaj de Auslander-Reiten no tiene lazos.
(c) Resulta de la denici on que (modA) es un carcaj nito si y s olo si indA
tiene s olo un n umero nito de objetos, es decir, si y s olo si el algebra A es de representaci on
nita.
(d) Describimos ahora la estructura local del carcaj de Auslander-Reiten. Sea
M un Am odulo indescomponible no proyectivo. Entonces existe una sucesi on que casi se
parte
0 M
n

i=1
E
m
i
i
M 0,
donde los E
i
son indescomponibles, y E
i
E
j
si i ,= j. Tenemos una malla
M
E
1
E
n
M
(b
1
,a
1
)

o
o
o
o
o
o
o
o
o
(b
n
,a
n
)
O
O
O
O
O
O
O
O
O
(a
1
,b
1
)

O
O
O
O
O
O
O
O
O
O
(a
n
,b
n
)

o
o
o
o
o
o
o
o
o
o
y el carcaj de Auslander-Reiten es la uni on de estas mallas. Esto implica que cada com-
ponente conexa del carcaj de Auslander-Reiten es nita o numerable. Generalmente, un
carcaj de Auslander-Reiten admite innitas componentes conexas. Por otra parte, si una
componente conexa de (modA) es nita, entonces = (modA) y en particular A es de
Notas de Algebra y An alisis, Vol 21, 2008
i i
i i
14
representaci on nita. Este enunciado es conocido bajo el nombre de teorema de Auslander
(ver [AuRS] (VII.2.1) p. 233 o [ASS] (IV.5.4) p. 141).
Ahora analizamos la denici on precedente en el siguiente caso particular de gran impor-
tancia. Sea A un algebra de dimensi on nita sobre un cuerpo algebraicamente cerrado k.
Entonces, para todo Am odulo indescomponible M, tenemos que
K
M
= EndM/rad(EndM)

= k.
As, para toda echa M N de (modA) de valuaci on (a, b), los enteros a y b representan
ambos la dimensi on del kespacio vectorial Irr(M, N). Por lo tanto, la informaci on dada
sobre Irr(M, N) por medio de un sola echa munida de una valuaci on (a, a), puede darse
tambi en por medio de a echas, todas de M a N y tenemos, en este caso particular, la siguien-
te denici on.
Denici on. Sea A un algebra de dimensi on nita sobre un cuerpo algebraicamente cerrado
k. El carcaj de Auslander-Reiten (modA) de A se dene como sigue:
(a) Los puntos de (modA) son los objetos de indA.
(b) Las echas MN est an en correspondencia biyectiva con los vectores de una kbase
de Irr(M, N).
Sigue de (3.2) (a) m as arriba que si N no es proyectivo y hay n echas de M a N, entonces
tambi en hay n echas de N a M.
Como en la mayora de los ejemplos que veremos las algebras son de representaci on nita,
el siguiente resultado nos ser a util. La prueba que damos aqu se debe a Bongartz.
Proposici on 3.3. Sea A un algebra de dimensi on nita sobre un cuerpo algebraicamente
cerrado k. Si A es de representaci on nita, entonces (modA) no tiene echas m ultiples.
Demostraci on. Supongamos que existen M, N indA tales que dim
k
Irr(M, N) 2. Como
todo morsmo irreducible es un monomorsmo o un epimorsmo, podemos suponer que
dim
k
M > dim
k
N. En particular N no es proyectivo y existe una sucesi on que casi se parte
de la forma
0 N M
2
E N 0.
Luego dim
k
N = 2dim
k
M +dim
k
E dim
k
N > dim
k
M > dim
k
N. Por otro lado, en vir-
tud de la observaci on de m as arriba, dim
k
Irr(N, M) = dim
k
Irr(M, N) 2. Entonces, por
recurrencia, dim
k
N < dim
k
N < dim
k

2
N < ... y la componente conexa de (modA) que
contiene a N es innita, lo que contradice la hip otesis. 2
De manera equivalente, (3.3) dice que si A verica la hip otesis del enunciado, entonces
cada echa de (modA) tiene valuaci on (1, 1).
La raz on por la cual el carcaj de Auslander-Reiten es tan util es que puede ser considera-
do como una primera aproximaci on de la categora de m odulos. En efecto, denimos por
recurrencia el ideal
rad
n
A
= rad
n1
A
. rad
A
Notas de Algebra y An alisis, Vol 21, 2008
i i
i i
15
de modA, para cada n > 1. Entonces, para A - m odulos M y N,
rad
n
A
(M, N) =
_

i
g
i
f
i
: g
i
rad
n1
A
(X
i
, N), f
i
rad
A
(M, X
i
), X
i
indA
_
.
Denimos el radical innito rad

A
de modA como el ideal
rad

A
=

n1
rad
n
A
.
Tenemos el teorema siguiente (ver [AuRS] (V.7) p.178 o [ASS] (IV.5.6) p. 143).
Teorema 3.4. Sea f : M N un morsmo. Si rad

A
(M, N) = 0, entonces f es suma de
composiciones de morsmos irreducibles.
En particular, se puede probar que un algebra A es de representaci on nita si y s olo si
rad

A
= 0. En este caso, cada morsmo es suma de composiciones de morsmos irreducibles
(entonces, se puede describir a partir del carcaj de Auslander-Reiten).
En general, el carcaj de Auslander-Reiten de un algebra arbitraria A contiene esencial-
mente la informaci on de la categora cociente modA/rad

A
.
El lema siguiente ser a empleado en el captulo III.
Lema 3.5. Sean A un algebra de artin y M, N dos A - m odulos indescomponibles tales que
rad

A
(M, N) ,= 0. Entonces, para cada i 0, existen
(a) un camino
M = M
0
f
1
M
1
...
f
i
M
i
de morsmos irreducibles entre m odulos indescomponibles y un morsmo g rad

A
(M
i
, N)
tales que g f
i
..... f
1
,= 0, y
(b) un camino
N
i
g
i
... N
1
g
1
N
0
= N
de morsmos irreducibles entre m odulos indescomponibles y un morsmo f rad

A
(M, N
i
)
tales que g
1
.....g
i
f ,= 0.
Demostraci on.
Basta probar (a), porque (b) es dual. Consideremos el morsmo minimal que casi se parte
a izquierda
h =
_
_
h
1
.
.
.
h
t
_
_
: M
t

i=1
E
i
donde los m odulos E
i
son indescomponibles. Como A es un algebra de artin, su centro
Z(A) es un anillo artiniano, por lo que el Z(A)-m odulo nitamente generado Hom
A
(E
i
, N) es
artiniano. Por lo tanto existe m
i
tal que rad

A
(E
i
, N) = rad
m
i
A
(E
i
, N) (ver [AuRS] (V.7.2)). Sea
m el m aximo de los m
i
y sea f rad

A
(M, N) un morsmo no nulo. Entonces, en particular,
Notas de Algebra y An alisis, Vol 21, 2008
i i
i i
16
f rad
m+1
A
(M, N), de donde f =
i
g
i
f
i
: f
i
rad
A
(M, X
i
), g
i
rad
m
A
(X
i
, N), con los g
i
f
i
,= 0
y X
i
en indA (ver [AuRS] (V.7.4)).
Como f
1
no es un isomorsmo, existe
k =
_
k
1
k
t

:
t

i=1
E
i
X
1
tal que f
1
= kh =
t

i=1
k
i
h
i
. Como g
1
f
1
,= 0, existe i tal que g
1
k
i
h
i
,= 0, con g
1
k
i
: E
i
N en
rad
m
(E
i
, N) = rad

(E
i
, N), y h
i
irreducible. El enunciado sigue por recurrencia. 2
Ahora pasamos a la construcci on del carcaj de Auslander-Reiten. Esto es, en general, muy
difcil, pues requiere informaci on sobre todas las sucesiones que casi se parten de modA.
Existe sin embargo una t ecnica de construcci on llamada del tejido que consiste en utilizar
de manera sistem atica ciertos hechos ya probados, a saber:
(1) Las fuentes de (modA), esto es, los puntos que no son n de ninguna echa, son los
m odulos simples proyectivos.
(2) Toda echa que sale de un simple proyectivo llega a un proyectivo.
(3) Toda echa que llega a un proyectivo, sale de un sumando directo de su radical.
(4) Si un m odulo indescomponible L no es inyectivo, y si conocemos el morsmo minimal
que casi se parte a izquierda f : L M, entonces
1
L

= Coker f , y para cada indescom-

ponible X, existe una echa X
1
L si y s olo si existe una echa L X.
Tambi en tenemos a nuestra disposici on los enunciados duales.
Ilustramos la t ecnica con ejemplos. La misma funciona a la perfecci on con los carcajes de
Auslander-Reiten nitos y acclicos.
Ejemplos 3.6. (a) Sea A el algebra de caminos del carcaj

3

4

O
O
O
O
O
O
O
o
o
o
o
o
o
o
.
Los m odulos indescomponibles proyectivos son
P
1
= 1, P
2
= 2, P
3
=
3
1 2
y P
4
=
4
3
2 1
.
Aqu A es hereditaria, por ser un algebra de caminos (ver [AuRS] (III.1.4) p. 54 o [ASS]
(VII.1.7) p. 248). Por lo tanto el radical de cada m odulo indescomponible proyectivo es
tambi en proyectivo. En efecto, rad P
3
= P
1
P
2
y rad P
4
= P
3
. Ahora se deduce de los pasos
(1) y (3) de arriba que hay un subcarcaj pleno de (modA) de la forma
Notas de Algebra y An alisis, Vol 21, 2008
i i
i i
17
3
1 2
4
3
1 2
1
2

O
O
O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o
o
o
.
Como ya est an presentes todos los proyectivos, veremos c omo utilizando la propiedad (2)
y aplicando sistem aticamente la propiedad (4) podemos llegar a los inyectivos, con lo que
completaremos el carcaj de Auslander-Reiten. As , en virtud de (2), el morsmo minimal
que casi se parte a izquierda que sale de 1 es la inclusi on 1
3
1 2
. Por lo tanto,
1
1 es el
con ucleo en la sucesi on que casi se parte
0 1
3
1 2

3
2
0 .
An alogamente,
1
2 es el con ucleo en la sucesi on que casi se parte
0 2
3
1 2

3
1
0 .
As tenemos el subcarcaj de (modA):
3
1 2
4
3
1 2
1
3
2
2
3
1
.

G
G
G
G
G
G
G
G
G
G
G

w
w
w
w
w
w
w
w
w
w
w

w
w
w
w
w
w
w
w
w
w
w

G
G
G
G
G
G
G
G
G
G
Veamos que el morsmo
3
1 2

3
2

4
3
1 2

3
1
es minimal que casi se parte a izquierda.
Es claro que cada uno de los tres morsmos
3
12

3
2
,
3
1 2

4
3
1 2
,
3
1 2

3
1
es irreducible.
Supongamos que X es indescomponible y que
3
1 2
X es irreducible. Si X es proyectivo,
entonces
3
12
es sumando directo de su radical (y por lo tanto X =
4
3
1 2
). Si X no es proyectivo,
entonces existe un morsmo irreducible X
3
12
(de donde X =1 o X =2, y luego X =
3
2
o X =
3
1
respectivamente). Esto muestra lo que queramos. Por consiguiente,
1 3
1 2
es el
con ucleo en la sucesi on exacta
0
3
1 2

3
2

4
3
1 2

3
1

4
3 3
1 2
0.
Repitiendo varias veces el procedimiento anterior, obtenemos
Notas de Algebra y An alisis, Vol 21, 2008
i i
i i
18
3
1 2
4
3
1 2
1
3
2
2
3
1
4
3 3
1 2
3
4
3
1
4
3
2
4
3
4

G
G
G
G
G
G
G
G
G
G
G

w
w
w
w
w
w
w
w
w
w
w

w
w
w
w
w
w
w
w
w
w
w

G
G
G
G
G
G
G
G
G
G
G

G
G
G
G
G
G
G
G
G
G
G

w
w
w
w
w
w
w
w
w
w
w

w
w
w
w
w
w
w
w
w
w
w

G
G
G
G
G
G
G
G
G
G
G


G
G
G
G
G
G
G
G
G
G
G

w
w
w
w
w
w
w
w
w
w
w

y aqu paramos, porque hemos llegado a los inyectivos indescomponibles.

Al gracar, una convenci on util es ubicar los trasladados de Auslander-Reiten en la misma
lnea horizontal. Hemos ilustrado esto con lneas punteadas (cuando el dibujo lo permite).
(b) Sea A dada por el carcaj

O
O
O
O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o
o
o
o
ligado por =, = 0 y = 0.
Los Am odulos indescomponibles proyectivos son:
P
1
= 1, P
2
= 2, P
3
= 3, P
4
=
4
1 2
, P
5
=
5
2 3
, P
6
=
6
4 5
2
.
Un carcaj ligado acclico siempre admite al menos un m odulo simple proyectivo (en
efecto, estos corresponden a los pozos del carcaj, esto es, a los puntos que no son inicio
de ninguna echa). En este ejemplo tenemos tres: P
1
, P
2
y P
3
. Por (2), toda echa que sale
de un simple proyectivo llega a un proyectivo y, en virtud de (3), este ultimo admite al simple
proyectivo como sumando de su radical. Esto nos da los morsmos irreducibles
P
1
P
4
P
2
P
5
P
3
.
Como ninguno de los m odulos de arriba es inyectivo, aplicamos (4). As
1
1 es el con ucleo
en la sucesi on que casi se parte
0 1
4
1 2

4
2
0
y an alogamente obtenemos
1
2 y
1
3 :
Notas de Algebra y An alisis, Vol 21, 2008
i i
i i
19
2
1
3
4
1 2
5
2 3
4
2
4 5
1 2 3
5
2
.

o
o
o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O

O
O
O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o
o
o
Armamos que
4
1 2

4
2

4 5
1 2 3
es minimal que casi se parte a izquierda: supongamos en
efecto que
4
1 2
X es irreducible con X indescomponible. Si X fuera proyectivo, entonces
4
1 2
sera un sumando directo de radX. Pero esto es imposible, por lo tanto X no es proyectivo
y existe un morsmo irreducible X
4
1 2
. Esto implica que X = 1 o X = 2, y luego
X =
4
2
o X =
4 5
1 2 3
. Por consiguiente
1
(
4
1 2
) es el con ucleo en la sucesi on exacta
0
4
1 2

4
2

4 5
1 2 3

4 5
2 3
0 .
Continuamos de esta manera, construyendo paso a paso los con ucleos hasta llegar a un in-
yectivo o a un sumando directo del radical de un proyectivo (en nuestro caso, este debe ser
4 5
2
=radP
6
, que es indescomponible).
2
1
3
4
1 2
5
2 3
4
2
4 5
1 2 3
5
2
4 5
2 3
4 5
1 2
5
3
4 5
2
4
1
5
4
.

o
o
o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O

O
O
O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o
o

o
o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O
O

O
O
O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o
o
o
Aqu,
5
3
y
4
1
son inyectivos, mientras que
4 5
2
= radP
6
. Luego tenemos un morsmo irre-
ducible
4 5
2

6
4 5
2
. Por otro lado, el mismo razonamiento de m as arriba muestra que el
morsmo
4 5
2

6
4 5
2
5 4 es minimal que casi se parte a izquierda. Entonces podemos
calcular el con ucleo y continuar hasta terminar en los inyectivos:
Notas de Algebra y An alisis, Vol 21, 2008
i i
i i
20
2
1
3
4
1 2
5
2 3
4
2
4 5
1 2 3
5
2
4 5
2 3
4 5
1 2
5
3
4 5
2
4
1
5
4
6
4 5
2
6
4 5
6
4
6
5
6
.

o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O

o
o
o
o
o
o
o

O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o

O
O
O
O
O
O
O

O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o

O
O
O
O
O
O
O

o
o
o
o
o
o

O
O
O
O
O
O

o
o
o
o
o
o
o

o
o
o
o
o
o
o

O
O
O
O
O
O
O

o
o
o
o
o
o
o

O
O
O
O
O
O
O

O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o

o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O

O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o
Como vemos, en tanto no haya inyectivos ni proyectivos en el camino, la construcci on
se hace simplemente calculando los con ucleos (o los n ucleos, si uno empieza por los in-
yectivos). Sabemos que un proyectivo va a aparecer cuando aparezca un sumando directo
de su radical (dualmente, inmediatamente despu es de un inyectivo, aparecen los sumandos
directos del cociente del inyectivo en cuesti on sobre su z ocalo).
(c) Sea A dada por el carcaj

1

2

3

ligado por la relaci on = 0. Aqu P

1
= 1, P
2
=
2
1
, P
3
=
3
2
y P
4
=
4
2
1
.
Calculamos f acilmente (modA) :
1
2
1
2
4
2
1
3
2
4
2
3 4
2
4
3
.

O
O
O
O
O
O
O
O
O
O
o
o
o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O
O
O

o
o
o
o
o
o
o
o
o
o

o
o
o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O
O
O
(d) Sea, como en el Ejemplo 2.12, A el algebra dada por el carcaj
1

ligado por la relaci on = 0. Ya sabemos que (modA) tiene ciclos orientados, por haber
calculado en (2.12) las siguientes sucesiones que casi se parten:
0 2
1
2
1 0
Notas de Algebra y An alisis, Vol 21, 2008
i i
i i
21
0 1
2
1
2 0.
Por lo tanto el m etodo del tejido no se aplica aqu. Sin embargo
1
2
= P
1
= radP
2
. Entonces
podemos ubicar los dos proyectivos:
7654 0123
2
.
.
.
.
.
.
1
7654 0123
2
.
.
.
.
.
.
1
2
2
1
2
1
2

J
J
J
J
J
J
J
J
t
t
t
t
t
t
t
t
J
J
J
J
J
J
J
J
t
t
t
t
t
t
t
t

J
J
J
J
J
J
J
J
(donde identicamos las dos copias de 2). Ahora, se prueba como antes que el morsmo
1
2
1
2
1
2
es minimal que casi se parte a izquierda. Por consiguiente,
1
(
1
2
) es el con ucleo
en la sucesi on exacta
0
1
2
1
2
1
2

2
1
0.
En otros t erminos, el carcaj de Auslander-Reiten est a dado por:
7654 0123
2
.
.
.
.
.
.
1
7654 0123
2
.
.
.
.
.
.
1
2
2
1
2
1
2

J
J
J
J
J
J
J
J
t
t
t
t
t
t
t
t
J
J
J
J
J
J
J
J
t
t
t
t
t
t
t
t

J
J
J
J
J
J
J
J
t
t
t
t
t
t
t
t
(donde identicamos las dos copias de 2). Observemos que
2
1
2
= I
2
es inyectivo y que
2
1
= I
2
/ socI
2
, lo cual conrma que el morsmo
2
1
2

2
1
es irreducible.
Notas de Algebra y An alisis, Vol 21, 2008