ALGEBRAS DE CARCAJ

JOHN STEWART FABILA CARRASCO

Introducción.
El objeto de las siguientes notas sobre las Algebras de Carcaj,es
poner al alcance de un estudiante de Matemáticas que quiera tener un
primer acercamiento a este tema tan importante e interesante, y en-
cuentre en estas notas una breve introducción. Es importante destacar
que por tanto los unicos prerequisitos para entender estas notas este
son un haber llevado un curso de Algebra Lineal y un curso de Teorı́a
de Anillos.

La realización de las notas fue en el marco del septimo Verano de

La Investigación organizado por la AMC (Asociación Mexicana de la
Ciencia) y bajo la dirrección de la Dra. Edith Corina Saénz Valadez,
investigadora de la UNAM.

México, Agosto del 2008

1
2 JOHN STEWART FABILA CARRASCO

1. Preliminares
En este primer capitulo presentaremos la terminologı́a necesaria de
algebras y módulos, además de otros conceptos importantes, y algunos
ejemplos.

Es importante notar que a lo largo de estas notas K denotara siem-

pre un campo algebraicamente cerrado.

1.1. ALGEBRAS.

Definicion 1.1. Sea K un campo.Una K-algebra es un anillo A (con

uno) tal que A posee estructura de K-espacio vectorial y satisface
α(xy) = (αx)y = x(αy)
para cualesquiera x, y ∈ A y para cualquiera α ∈ K

Una K-algebra A es dimensionalmente finita si la dimensión de

A como K-espacio vectorial es finita.

Sean A y B dos K-algebras,un homomorfismo de K-algebras es

f : A → B tal que f es homomorfismo de anillos y f es transformacion
lineal.
Ejemplo 1.2.
(a) El anillo K[t] de polinomios con variable t con coeficientes y el
anillo K[x1 , ..., xn ] de los polinomios con variables conmutativos
t1 , ..., tn con coeficientes en K son K-algebras dimensionalmente
infinita.

(b) El anillo Khx, yi de polinomios con variables x,y no conmu-

tativos es una K-algebra dimensionalmente infinita. Sea I el
ideal generado por el elemento xy − yx, entonces la K-algebra
Khx, yi/I es isomorfa a K[x, y].

(c) Sea A una K-algebra, podemos construir su álgebra de matrices

Mn [A], que es el conjunto de matrices de n × n con entradas
en A, tienes estructura de K-algebra, mediante la suma y mul-
tiplicacion de matrices usual, y con la acción evidente de K.
 ALGEBRAS DE CARCAJ 3

(d) Sea (G, ·) un grupo finito con identidad e y sea A una K-algebra.
El algebra de grupo de G con coeficientes en A,Pes el K-
espacio vectorial AG consistente en todas las sumas g∈G gλg ,
con λg ∈ A y g ∈ G, y con la multiplicación definida como sigue
X X X
( gλg ) · ( hµh ) = f λg µh .
g∈G h∈G f =gh∈G

(e) Sean B y C dos K-algebra. El producto de algebras de B y

C es el algebra A = B ×C con la suma y multiplicacion entrada
a entrada.
Decimos que una K-algebra A es conexa si no es producto de
2 algebras.
Definicion 1.3. El Radical (rad A) de una K-algebra A es la inter-
sección de todos los ideales maximales de A
La siguientes es una importante equivalencia del rad A
Lemma 1.4. Sea A una K-algebra y sea a ∈ A.Son equivalentes
(a) a ∈ radA;
(a’) a pertenece a la intersección de todos los ideales maximales
izquierdos de A;
(b) para todo b ∈ A, 1 − ab tiene inverso;
(b’) para todo b ∈ A, 1 − ab tiene inverso derecho;
(c) para todo b ∈ A, 1 − ba tiene inverso;
(c’) para todo b ∈ A, 1 − ba tiene inverso izquierdo;
Prueba.
(a) ⇒ (b0 ) Sea b ∈ A, si 1 − ab no tiene inverso derecho, entonces
existe un ideal maximal derecho I tal que 1 − ab ∈ I, pero a ∈ radA ⊆
I, ab ∈ I entonces 1 ∈ I, que es una contradicción. Ası́ 1 − ab tiene
inverso derecho.
(b0 ) ⇒ (a) Si a ∈/ radA, entonces existe ideal maximal derecho tal
que a ∈ / I, entonces A = I + aA y existe x ∈ I y b ∈ A tal que
1 = x + ab, asi 1 − ab = x ∈ I asi 1 − ab no tiene inverso derecho,
contradiciendo nuestra hipotesis.
(a0 ) ⇒ (c0 ) Analogo al anterior
(b) ⇔ (c) Se demuestran facilmente usando las siguientes implica-
ciones:
(i) Si (1 − cd)x = 1, entonces (1 − dc)(1 + dxc) = 1
(ii) Si y(1 − cd) = 1, entonces (1 + dyc)(1 − dc) = 1
(b0 ) ⇒ (b). Sea b ∈ A, por (b’) entonces existe c ∈ A talque (1 −
ab)c = 1, asi c = 1 − a(−bc) nuevamente por (b’) existe d ∈ A talque
4 JOHN STEWART FABILA CARRASCO

1 = cd = d + abcd = d + ab, y entonces d = 1 − ab y c es el inverso de

1 − ab.
(c0 ) ⇒ (c) Similar a la anterior.
(b) ⇒ (b0 ) y (c) ⇒ (c0 ) es trivial. 2

A partir de ahora para abreviar escribiremos algebra A en lugar de

una K-algebra A si no hay confusión.

Corolario 1.5. Sea rad A el radical de una algebra A

(a) rad A es la intersección de todos los ideales maximales de A
(b) rad A es un ideal bilateral
(c) rad(A/rad A)=0
(d) Si I es un ideal bilaterial nilpotente de A, entonces I ⊆ radA.
Si además el algebra A/I es isomorfa al producto K × ... × K
de copias de K, entonces I=rad A

Prueba.
(a) y (b) se siguen facilmente de 1.4
(c) Sea (a + radA) ∈ A/radA, por 1.4, (1 + radA) − (r + radA)(a +
radA) = (1 − ra) + I es invertible asi existe (b + radA) ∈ A/radA
tal que (b + radA)((1 − ra) + I) = 1 + radA, asi 1 − (b − bra) ∈
radA nuevamente por 1.4, b − bra tiene inverso, existe c ∈ A tal que
c(b − bra) = (cb)(1 − ra) = 1, asi 1 − ra tiene inverso para todo r ∈ A,
por 1.4, a ∈ radA. Entonces a + radA = radA, concluyendo que
rad(A/radA) = 0.
(d) Por ser I nilpontente I m = O con m > 0. Sea x ∈ I y a ∈ A,
entonces ax ∈ I y por tanto (ax)r = 0 para algún r > 0. Ası́
(1 + ax + (ax)2 + ... + (ax)r−1 )(1 − ax) = 1 − (ax)r = 1 para todo
a ∈ A entonces por 1.4, x ∈ radA, y en consecuencia I ⊆ radA.
Para la otra contensión, supongamos el algebra A/I es isomorfa al pro-
ducto de copias de K, entonces rad(A/I) = 0, Ahora nos fijamos en
el homomorfismo canonico de algebras (que es sobre) π : A → A/I
que lleva radA al rad(A/I) = 0, si a ∈ radA y sea b ∈ A, entonces
π(b) = b + I ∈ A/I y por 1.4 , 1 − ba es intertible en A y entonces
π(1−ba) = 1−π(a)π(B) es invertible en A/I; ası́ π(a) ∈ rad(A/I) = 0
por 1.4, asi radA ⊆ ker π = I que concluye la prueba. 2

En el estudio de modulos sobre K-algebras dimesnsionalmente finito

sobre un campo K algebraicamente cerrado juega un papel muy impor-
tante el siguiente teorema, conocido como el teorema de Wedderburn-
Malcev.Omitiremos la demostración.
 ALGEBRAS DE CARCAJ 5

Teorema 1.6. Sea A una K-algebra dimensionalmente finita. Si K es

un campo algebraicamente cerrado, entonces existe una K-subalgebra
B de A tal que esiste una descomposición de K-espacios vectoriales
A = B ⊕ radA tal que la restricción del homomorfismo canocio de al-
gebras π : A → A/radA a B es un isomorfismo de K-algebras.

1.2. MODULOS.

Definicion 1.7. Sea A una K-algebra. Un A-modulo derecho (o un

modulo derecho sobre A) es una pareja (M, ·) donde M es un K-espacio
vectorial y · : M × A → M , (m, a) 7→ ma, es una operación binaria
satisface las siguientes condiciones:
(a) (x + y)a = xa + ya;
(b) x(a + b) = xa + xb;
(c) x(ab) = (xa)b;
(d) x1 = 1;
(e) (αx)a = x(αa) = α(xa)
para todo x, y ∈ M , a, b ∈ A y α ∈ K
La definición de A-modulo izquierdo es análoga. Además escribire-
mos M o MA en lugar de (M, ·) y AA o A A para ver a la algebra A
como A-modulo derecho o izquierdo respectivamente.

Una M modulo es dimensionalmente finito si la dimensión de

M como K-espacio vectorial es finita.

Un A-modulo derecho se dice generado por los elelmentos m1 , ..., ms

de M, si cada elemento m ∈ M es de la forma m = m1 a1 +...+ms as para
algunos a1 , ..., as ∈ A, si es el caso escribiremos M = m1 A + ... + ms A.
Un modulo M es finitamente generado si sus generadores son un
subconjunto finito de M .

Es facil notar que un modulo derecho M sobre una algebra dimen-

sionalmente finita A, es finitamente generado si y solo si M es dimen-
sionalmente finito.

A continuación mencionaremos un lemma que utilizaremos con fre-

cuencia y se conoce como el lemma de Nakayama.
Lemma 1.8. Sea A una K-algebra, M un A-modulo derecho finita-
mente generado, e I ⊆ radA un ideal bilateral de A. Si M I = M
entonces M = 0
6 JOHN STEWART FABILA CARRASCO

Prueba. Supongamos que M 6= 0, consideremos el sistema de gen-

eradores m1 , ..., mn del A-modulo M, de cardinalidad mı́nima. Como
M I = M , podemos escribir m1 = m1 a1 + ... + mn an con ai ∈ I, asi
m1 (1 − a1 ) = m2 a2 ... + mn an , como ai ∈ I ⊆ radA entonces 1 − a1 es
invertible y entonces m1 = m2 A... + mn A ası́ m2 , ..., mn es un sistema
de generadores de M, que es una contradicción pues el minimo era de
n elementos. 2
Corolario 1.9. Sea A una K-algebra dimensionalmetne finita, en-
tonces el radA es nilpotenete.
Prueba. Como la dimK A < ∞, entonces la cadena
A ⊇ radA ⊇ (radA)2 ⊇ ... ⊇ (radA)m ⊇ (radA)m+1 ⊇ ...
se estaciona, entonces (radA)m = (radA)m (radA) para algun m, y por
el lemma de Nakayama 1.8 tenemos (radA)m = 0 2

Diremos que un A-modulo derecho M no nulo es inescindible si no

tiene sumandos directos no triviales. Es decir que si
M∼ =N ⊕L
entonces N = 0 o L = 0.
Teorema 1.10. Teorema de descomposición única
Sea A una K-algebra dimesnionalmente finita.
(a) Cada M modulo tiene una descompsocición M ∼ = M1 ⊕ ... ⊕ Mm
donde M1 , ..., Mm son modulos inescindibles.
(b) Si
m n
∼ ∼
M M
M= Mi = Nj ,
i=1 j=1
donde Mi y Nj son inescindibles, entonces m=n y existe una
permutación σ de {1, ..., n} tal que Mi ∼
= Nσ(i) para cada i =
1, ...n.
Una demostración del teorema anterior puede verse en [?] pp.23-24.

En el estudio de modulos indescidibles sobre una K-algebra A, los

elementos idempotentes de A juegan un papel muy importante.Un sis-
tema completo de idempotentes ortogonales primitivos de A, es
{e1 , ..., en } un subconjunto de A, tal que es completo (e1 +...+en = 1),
de idempontes (e2i = ei ), ortogonales (ei ej = 0 si i 6= j) y primi-
tivos (si ei = a + b con a y b idempotentes otrogonales, entonces a = 0
o b = 0).Un idempotente e es central si ea = ae para todo a ∈ A.
 ALGEBRAS DE CARCAJ 7

Ası́ dada A una K-algebra dimensionalmente finita, y sea AA =

P1 ⊕ ... ⊕ Pn su descomposición como modulo AA en indescindibles.
Descompongamos, en esta suma directa el uno de A, 1 = e1 + ... + en ,
entonces {e1 , ..., en } forman un sistema completo de idempotentes or-
togonales primitivos, y análogamente, si dado {e1 , ..., en } un sistema
completo de idempotentes ortogonales (con ei 6= 0 para toda i), en-
tonces AA = Ae1 ⊕ ... ⊕ Aen es una descomposición en inescindibles.

Una algebra A es conexa (o inescidible) si no es producto directo

de dos algebras, o equivalentemente, A es conexa si y solo si los únicos
idempotentes centrales son 0 y 1.
Teorema 1.11. Un idempotente e ∈ A es primitivo si y solo si el
algebra eAe tiene dos idempotentes 0 y e.
Una demostración de este teorema puede encontrarse [?] pp 8
Definicion 1.12. Sea A una K-algebra con un conjunto completo de
ortogonales idempotentes primitivos {e1 , ..., en }. El algebra A es lla-
mada basica si ei A  ej A para todo i 6= j
8 JOHN STEWART FABILA CARRASCO

2. Algebras de Carcaj

2.1. CARCAJ.

Definicion 2.1. Un carcaj es un cuarteto Q = (Q0 , Q1 , s, t) de dos

conjuntos: Q0 (puntos o vertices) y Q1 (flechas), y dos funciones
s, f : Q1 → Q0 que a cada flecha α ∈ Q1 le asigna un vertice inical
s(α) ∈ Q0 y un vértice final t(α) ∈ Q0 .
Una flecha α ∈ Q1 con vértice inical a = s(α) y vértice final b = t(α)
es usualmente denotada por α : a → b, y el carcaj es denotado solo por
Q.

Son ejemplos de carcajes

Un carcaj es finito si Q0 y Q1 son conjuntos finitos. La gráfica

subyacente Q de un carcaj Q se obtiene de Q olvidandonos de la
orientación de las flechas. El carcaj Q es conexo si Q es una grafica
conexa.

Sea Q = (Q0 , Q1 , s, t) un carcaj y a, b ∈ Q0 . Un camino de longi-

tud ` ≥ 1 con inicio a y fin b (de a a b) es una secuencia
(a|α1 , ..., α` |b)
donde αk ∈ Q0 para todo 1 ≤ k ≤ ` y tenemos que s(α1 ) = a, t(αk ) =
s(αk+1 ) para todo 1 ≤ k < ` y t(α` ) = b. El camino lo denotaremos
brevemente como α1 α2 ...α` y se visualara
1α 2 α 3 `α α
a = a0 −→ a1 −→ a2 −→ ... −→ a` = b
 ALGEBRAS DE CARCAJ 9

Q` denotara el conjunto de todos los caminos de longitud `. A cada

vértice a ∈ Q0 le asociaremos un camino de longitud ` = 0, llamado el
camino trivial o estacionario en a, y lo denotaremos por
εa = (a||a)

Un camino de longitud ` ≥ 1 es un ciclo si el inicio y fin coinciden.

Un ciclo de longitud 1 es llamado loop. Un carcaj es aciclico si no
tiene ciclos.
Definicion 2.2. Sea Q un carcaj. El algebra de caminos KQ de Q
es una K-algebra cuya base como K-espacio vectorial es el conjunto de
todos los caminos (a|α1 , ..., α` |b) con ` ≥ 0 en Q y el producto de dos
vectores basicos (a|α1 , ..., α` |b) · (c|β1 , ..., βk |d) de QK se define como
cero si b 6= d y (a|α1 , ..., α` , β1 , ..., βk |d) si b = d. El producto de
cualquier elemento de KQ se extiende por distrı́butiva.
Ejemplo 2.3.
(a) Sea Q el siguiente carcaj

La base del algebra de camino KQ es {ε1 , α, α2 , ..., αk , ...} y

su mulpilicacion esta dada por

ε1 α k = α k ε1 = α k para todo k ≥ 0 y
k j k+j
α α = α ; l, k ≥ 0 para todo l, k ≥ 0
donde ε1 = α0 .Asi KQ es isomorfa al algebra de polinomios
K[t] con variable t, y el isomorfismo esta dado por
ε1 7→ 1 y α 7→ t
.
(b) Sea Q el siguiente carcaj
10 JOHN STEWART FABILA CARRASCO

La base de KQ son todas las palabras formadas con {α, β},

con identidad ε1 . Ası́ KQ es isomorfa a la algebra asociativa de
variables no conmutativa Kht1 , t2 i, con el ismorfismo
ε1 7→ 1 , α 7→ t1 y β 7→ t2
(c) Sea Q el suguiente carcaj

la base del algebra de caminos KQ es {ε1 , ε2 , α} con la tabla de

multiplicar

. ε1 ε2 α
ε1 ε1 0 0
ε2 0 ε2 α
α α 0 0
Es fácil ver que KQ es isomorfo al algebra de matrices triangu-
lares, con el siguiente isomorfismo:
     
1 0 0 0 0 0
ε1 7→ , ε2 7→ , α 7→ .
0 0 0 1 1 0
(d) Sea Q el sigueinte carcaj:

Análogamente al ejemplo anterior podemos ver el siguiente

isomorfismo de K-algebras
 
K 0 0 0
 K K 0 0 
KQ ∼=  K 0 K 0 

K 0 0 K
Lemma 2.4. Sea Q un carcaj y KQ su algebra de caminos. Entonces
(a) KQ tiene elemento identidad si y solo si Q0 es finita
(b) KQ es dimensionalmente finita si y solo si Q es finita y aciclica.
 ALGEBRAS DE CARCAJ 11

Prueba.
(a)ClaramenteP cada camino estacionario εa es idempotente en KQ.
Si Q0 es finito, a∈Q0 εa es la identidad de KQ.
Si 1 = m
P
i=1 λi ωi (donde λi es escalar y ωi son caminos de Q) es la
identidad de KQ, y si Q0 fueran infinito, existe podemos escoger un
vertice en Q0 tal que no es vertice inicial de ωi , para alguna i, entonces
εa · 1 = 0, que es una contradicción.

(b) Si Q es finito y aciclico, existe un numero finito de caminos de

KQ, entonces KQ es dimensionalemente finita.
Si Q fuera infinito, la base de KQ serı́a infinita y por tanto KQ di-
mensionalmente infinita, ahora si tuviera un ciclo, digamos ω = α1 ...αk ,
para cada t ≥ 0, tendriamos un básico ω t , lo que haria de KQ dimen-
sionalmente infinito. 2

P
Corolario 2.5. Sea Q un carcaj finito. El elemento 1 = a∈Q0 εa es
la identidad de KQ y el conjunto {εa |a ∈ Q} es un sistema completo
de idempotentes ortogonales primitivos de KQ.
Prueba. Claramente εa son elementos idempotentes ortogonales de
KQ, del lemma anterior {εa |a ∈ Q} es completo. Solo falta demostrar
que son primitivos, que por 1.11 basta ver que los unicos idempotentes ε
de εa (KQ)εa son 0 y εa . De hecho cualquier idempotente de εa (KQ)εa
es de la forma ε = λεa + ω, donde λ ∈ K y ω es combinacion lineal de
ciclos que pasan por a y de longitud ` ≥ 0. Asi la desigualdad
0 = ε2 − ε = (λ2 − λ)εa + (2λ − 1)ω + ω 2
que da ω = 0 y por tanto λ2 = λ, y ası́ λ = 0 o λ = 1. en el primer
caso, ε = 0 y en el segundo ε = εa 2

Claramente, {εa |a ∈ Q} no es el único conjunto completo de idem-

potentes ortogonales primitivos de KQ. En el ejemplo ??(c), {ε1 , 2 } y
{1 + α, ε2 − α} son dos conjuntos completos de idempotentes ortogo-
nales primitivos.

El siguiente lemma reduce la conexidad de una algebra a la partición

de un conjunto completo de idempotentes ortogonales primitivos.
Lemma 2.6. Sea A una algebra asociativa con uno y sea {e1 , ..., en } un
conjunto completo (finito) de idempotentes ortogonales primitivos. A
es una algebra conexa si y solo si no existe una partición trivial I ∪J del
conjunto {1, 2, .., n} tal que i ∈ I y j ∈ J implica que ei Aej = 0 = ej Aei
12 JOHN STEWART FABILA CARRASCO

Prueba.
P Asuma que existe una partición no trivial, y sea c =
e
j∈J j , entonces c 6= 0, 1. Como ej son idempotentes ortogoonales,
entonces c es ortogonal. Mas aún, cei = ei c = 0 para todo i ∈ I y
cej = ej c = ej para cada j ∈ J. Sea a ∈ A arbitrario. Por hipotesis,
ei aej = 0 = ej aei donde i ∈ I y j ∈ J. En consecuencia
X X X X X
ca = ej )a = ( ej a) · 1 = ( ej a)( ei + ek )
j∈J j∈J j∈J i∈I k∈J
X X X X
= ej aek = ( ej + ei )a( ek ) = ac
j,k∈J j∈J i∈I k∈J

Ası́ c es idempotente central, y A no es conexa.

Si A no es conexa, contiene un idempotente central c 6= 0, 1. Ası́
tenemos
Xn Xn n
X n
X
c=1·c·1=( ei )c( ej ) = ei cej = ei cei
i=1 j=1 i,j=1 i=1

pues c es central. Sea ci = ei cej ∈ ei Aei . Entonces c2i = (ei cei )(ei cei ) =
ei c2 ei = ci , y ası́ ci es idempotente de ei Aei . Como ei es primitivo en-
tonces ci = 0 o ci = ei . Sea I = {i|ci = 0} y J = {j|cj = ej }. Como
c 6= 0, 1, esta es un partición no trivial. Mas aún si i ∈ I, tenemos
ei c = cei = 0 y, si j ∈ J, tenemos ej c = cej = ej . por lo tanto, si i ∈ I
y j ∈ J, tenemos que ei Aej = ei Acej = ei cAej = 0 y similarmente
ej Aei = 0 . 2

Lemma 2.7. Sea Q un carcaj finito. El algebra de caminos KQ es

conexa si y solo si Q es un carcaj conexo
Prueba. Suponga que Q no es conexa, SPG tiene dos componentes
conexos Q0 y Q00 . Sea a ∈ Q0 y b ∈ Q00 . Como Q no es conexa existe
un camino ω totalmente contenido en Q0 o en Q00 .En el primer caso
ωεb = 0 y entonces εa ωεb = 0, en el otro caso tenemos que εa ω = 0 y
entonces εa ωεb = 0. Esto muestra que εa (KQ)εb = 0 y similarmente
εb (KQ)εa = 0 y por ??,KQ es no conexa.
Ahora supongamos que Q es un carcaj conexo pero KQ no es un algebra
conexa. Por ref1.6 existe una unión disjunta que da una partición con
Q0 = Q00 ∪ Q000 tal que, se x ∈ Q00 y y ∈ Q000 entonces ex (KQ)ey =
0 = ey (KQ)ex . Como Q es conexo, existe a ∈ Q0 y b ∈ Q00 tal que
α : a → b. Asi tenemos
α = εa αεb ∈ εa (KQ)εb = 0
siendo una contradicción. 2
 ALGEBRAS DE CARCAJ 13

Definicion 2.8. Sea Q un carcaj finito y conexo. El ideal bilatera del

algebra de camino de KQ generada por las flechas de Q es llamada
ideal flecha de KQ y se denota como RQ . Si no hay ambiguedad
notamos a RQ simplemente como R.
En el siguiente teorema caracterizamos la propiedad universal.
Teorema 2.9. Sea A un carcaj finito y conexo y A una K-algebra
asociativa con identidad. Para cada par de funciones ϕ0 : Q0 → A tal
que ϕ1 : Q1 → A que satisface las siguientes condiciones:
(i) 1 = a∈Q0 ϕ0 (a), ϕ0 (a)2 = ϕ0 (a), y ϕ0 (a) · ϕ0 (b) = 0 para todo
P
a 6= b
(ii) si α : a → b entonces ϕ1 (α) = ϕ0 (a)ϕ1 (α)ϕ1 (b)
existe un unico homomorfismo de K-algebras ϕ : KQ → A tal que
ϕ(εa ) = ϕ0 (a) para cada a ∈ Q0 y ϕ(α) = ϕ1 (α) para cada α ∈ Q1
Prueba. Sea µ ∈ KQ, entonces
X X
µ= λa εa + λb b
a∈Q0 b∈RQ

y como b ∈ RQ entonces b = α1 · · · α` con ` ≥ 1 y αi ∈ Q1 . Definamos

ϕ : KQ → A, dada por
X X
ϕ(µ) = λa ϕ0 (εa ) + λb (ϕ1 (α1 ) · · · ϕ1 (α` ))
a∈Q0 b∈RQ

Es fácil ver que ϕ es un homomorfismo de K-algebras que extiende a

ϕ0 y ϕ1 .
Además para todo ω1 · · · ωk camino de Q, tenemos que
(1) ϕ(ω1 · · · ωk ) = ϕ(ω1 ) · · · ϕ(ωk )
(2) = ϕ1 (ω1 ) · · · ϕ1 (ωk )
que demustra la unicidad de ϕ. Por otro lado, ϕ es compatible con la
composición de caminos (y entonces preserva el producto) y es tal que
preserva la identidad, pues
X X X
ϕ(1) = ϕ( εa ) = ϕ(εa ) = ϕ0 (εa ) = 1
a∈Q0 a∈Q0 a∈Q0

asi es entonces un homomorfismo de K-algebras 2

Proposicion 2.10. Sea Q un carcaj finito y conexo, R el ideal flecha
de KQ y εa = (a||a) para a ∈ Q0 . el conjunto {εa = εa + R|a ∈ Q0 } es
un conjunto completo de idempotentes ortogonales de KQ/R, y KQ/R
es isomorfo a un producto de copias de K. Si además Q es aciclico,
entonces radKQ = R.
14 JOHN STEWART FABILA CARRASCO

Prueba. Claramente, existe una descomposición directa

M
KQ/R = εa (KQ/R)εb
a,b∈Q0

como K-espacio vectorial, como R contiene todos lo caminos de longitud

` ≥ 1, este se convierte en
M
KQ/R = εa (KQ/R)εa
a,b∈Q0

Entonces KQ/R es generado, como K-espacio vectorial, por las clases

residuales de longitud zero, esto es, por el conjunto {εa = εa + R|a ∈
Q0 }. Claramente este es un conjunto completo de idempotentes ortogo-
nales primitivos del algebra cociente KQ/I. Mas aún, para cada a ∈ Q0 ,
el algebra εa (KQ/R)εb , es generado, como K-espacio vectorial, por εa
y en consecuencia es isomorfa, como K-algebra, a K. Esto muestra que
el algebra cociente es isomorfa al producto de |Q0 | de copias de K.

Ahora suponga que Q es aciclica, entonces KQ es dimensionalemte

finita (por ??. Entonces existe caminos de longitud máxima ` ≥ 1,
implicando que cualquier producto de ` + 1 flechas es cero, es decir,
R`+1 = 0, en consecuencia R es nilpotente y por 1.5 R ⊆ radKQ.
Como KQ/I es isomorfo a un producto de copias de K, se sigue de 1.5
que radKQ=R. 2

Asuma que Q es un carcaj finito y aciclico. Sea n = |Q0 | el numero

de vertices de Q. Es fácil ver que podemos numerar los vértices de Q
del 1 al n tal que, si existe un camino de i a j, entonces j ≤ i. Con
esta observación enunciaremos el siguiente lemma del cual omitiremos
la demostración.

Lemma 2.11. Sea Q un carcaj conexo, finito y aciclico con Q0 =

{1, 2, ..., n} tal que para cada i, j ∈ Q0 ,j ≤ i si existe un camino de
i a j. Entonces el algebra de caminos KQ es isomorfo al algebra de
matrices triangulares inferiores

ε1 (KQ)ε1 0 ··· 0
 
 ε2 (KQ)ε1 ε2 (KQ)ε1 · · · 0 
A=  .
.. .
.. .
..


εn (KQ)ε1 εn (KQ)ε2 · · · εn (KQ)εn
donde εa = (a||a) para cada a ∈ Q0 , la adición es la obvia y la multi-
plicación es inducida por la multiplicación de KQ.
 ALGEBRAS DE CARCAJ 15

2.2. IDEALES ADMISIBLES Y EL COCIENTE DEL ALGE-

BRA DE CAMINOS.
Definicion 2.12. Sea Q un carcaj finito y RQ el ideal flecha del algebra
de caminos de KQ. Un ideal bilateral I de KQ es admisible si existe
m ≥ 2, tal que
m 2
RQ ⊆ I ⊆ RQ
Se sigue directamente de la definición que un ideal I de KQ, cnotenido
2
en RQ , es admisible si y solo si contiene a todos los caminos suficien-
temente grandes. Este es el caso si y solo si, para cada ciclo σ ∈ Q,
existe un s ≥ 1 tal que σ s ∈ I.
2
En particular, si Q es aciclica, cualquier ideal contenido en RQ es
admisible.
Ejemplo 2.13.
m
(a) Sea Q un carcaj finito arbitrario y m ≥ 2, el ideal RQ es ad-
misible.
(b) El ideal cero es admisible en KQ si y solo si Q es aciclico. De
hecho, el ideal cero es admisible si y solo si existe m ≥ 2 tal que
2
RQ = 0, esto es, que cualquier producto de m flechas en KQ es
cero. En este es el caso si y solo si Q es aciclico.
(c) Sea Q el carcaj

El ideal I1 = hαβ − γδi del K-algebra KQ es admisible, pero

I2 = hαβ − γi no lo es.
(d) Sea Q el siguiente carcaj
16 JOHN STEWART FABILA CARRASCO

Es ideal I = hαβ − γδ, βλ, λ3 i es admisible. Claramente I ⊆

2
RQ . Además cada camino de longitud mayor a 5,contiene λ3 ,
5
entonce RQ ⊆ I.
(e) Sea Q el carcaj

Cada uno de los ideales I1 = hαβi y I2 = hαβ − γδi es admisi-

ble, y además las algebras KQ/I1 y KQ/I2 son isomorfas bajo
el isomorfismo KQ/I1 → KQ/I2 inducida por la corresponden-
cia εı 7→ εı para ı = 1, 2, 3; α 7→ α, β 7→ β − γ y γ 7→ γ.
Definicion 2.14. Sea Q un carcaj. Una relación en Q con coefi-
cientes en K es una K-combinacion lineal de caminos de longitud al
menos 2 con el mismo vértice inicial y final. Entonces, la relacion ρ
es un elemento de KQ tal que
Xm
ρ= λı ωı
ı=1

donde los λı son escalares (no cero) y los ωı son caminos en Q de

longitud al menos 2, tal que si ı 6= , donde el vértice inicial (o final,
respectivamente) de ωı coincide con los de ω .
Lemma 2.15. Sea Q un carcaj finito y I un ideal admisible de KQ. El
conjunto {ea = εa +I|a ∈ Q0 } es un conjunto completo de idempotentes
ortogonales del algebra KQ
Prueba. Por ?? es fácil ver que este conjunto es un conjunto completo
de idempotentes ortogonales. Falta ver que cada ea es primitivo, que
por 1.11 basta probar que los unicos idempotentes de ea (KQ/I)ea son
0 y ea . De hecho cada idempotente e de ea (KQ/I)ea se puede escribir
de la forma e = λεa + ω + I, donde λ ∈ K y ω es combinacion lineal de
ciclos que pasan por a y de longitud ` ≥ 1. Asi la desigualdad e2 = e
da que
(λ2 − λ)εa + (2λ − 1)ω + ω 2 ∈ I
2
Sea RQ el ideal flecha de KQ. Como I ⊆ RQ , tenemos λ2 − λ = 0 y
entonces λ = 0 o λ = 1. Si λ = 0, entonces e = ω + I donde ω es
m
idempotente modulo I. Y por otro lado, como RQ ⊆ I para algun
m ≥ 2 tenemos que ω m ∈ I, es decir ω es nilpotente modulo I y en
consecuencia ω ∈ I y e es cero. Por otro lado si λ = 1, entonces
ea − e = −ω + I es idempotente en ea (KQ/I)ea y nuevamente ω es
idempotente modulo I. Igual que el anterior, es nilpotente modulo I,
y pertenece a I. Consecuentemente, ea = e 2
 ALGEBRAS DE CARCAJ 17

Lemma 2.16. Sea Q un carcaj finito e I un ideal admisible de KQ. El

algebra KQ/I es conexa si y solo si Q es un carcaj conexo
Prueba. Si Q no es un carcaj conexo, entonces KQ no es una
algebra conexa por ??. Entonces KQ contiene un idempotente central
γ distinto de 0 y 1, y que por la prueba de ?? puede ser elegido como
sema de caminos de longitud cero, es decir, de puntos. Pero entonces
c = γ + I no es igual a I. Por otro lado, c = 1 + I implica 1 − γ ∈ I, que
2
es imposible (pues I ⊆ RQ ). Como es claro que c es un idempotente
central de KQ/I, entonces inferimos que KQ no es una álgebra conexa.
Si Q es un carcaj conexo pero KQ/I no es una algebra conexa. Por ??
0 00 0
y ?? existe una partición no trivial Q0 = Q0 ∪ Q0 tal que si x ∈ Q0 y
00
y ∈ Q0 entonces ex (KQ/I)ey = 0 = ey (KQ/I)ex . Como Q es conexa,
0
sin perdida de generalidad existe una flecha α : a → b con x ∈ Q0
00
y y ∈ Q0 . Pero entonces α = εa αεb implica que α = α + I satisface
2
α = εa αεb ∈ εa (KQ/I)εb = 0. Asi α 6= I (pues I ⊆ RQ ) que es una
contradicción.
2
Proposicion 2.17. Sea Q un carcaj finito y I un ideal admisible de
KQ. El algebra KQ/I es dimensionalmente fininita
Prueba. Como I es admisible, existe m ≥ 2 tal que Rm ⊆ I, donde R
es el ideal flecha RQ de KQ. Pero esiste un homomorfismo de algebras
sobreyectivo KQ/Rm → KQ/I. Asi es suficiente probar que KQ/Rm
es dimensionalmente finita. Pero las clases residuales de los caminos
de longitud menor que m forman una base de KQ/Rm como K-espacio
vectorial. Como hay un numero finito de estos caminos, se sigue el
resultado. 2

Si I no es admisible, el algebra KQ/I no es necesariamnente dimen-

sionalmente finita.
Lemma 2.18. Sea Q un carcaj finito, RQ el ideal flecha de KQ, e I un
ideal admisible de KQ. Entonces el rad(KQ/I) = RQ /I.
Prueba. Como I es admisible, existe m ≥ 2 tal que Rm ⊆ I, donde
R = RQ . Ası́, (R/I)m = 0 y R/I es ideal nilpotente de KQ/I. Por otro
lado, el algebra (KQ/I)/(R/I) ∼= KQ/I es isomorfo a un producto de
copias de K, por ?? y entonces por 1.5 finalizamos la prueba. 2
Corolario 2.19. Para cada ` ≥ 1, tenemos que el rad` (KQ/I) =
(RQ /I)`
Ası́ el K-espacio vectorial
rad(KQ/I)/rad2 (KQ/I) = (RQ /I)/(RQ /I)2 ∼ 2
= RQ /RQ
18 JOHN STEWART FABILA CARRASCO

admite como base el conjunto α + rad2 (KQ/I), donde α = α + KQ/I

y α ∈ Q1

2.3. EL CARCAJ DE UN ALGEBRA DIMENSIONALMENTE

FINITA.

En este capı́tulo mostraremos que toda K-algebra dimensionalmete

finita, básica e indescomponible, es isomorfa al cociente de un álgerba
de carcaj por algun ideal admisible.
Definicion 2.20. Sea A un K-algebra dimensionalmetnte finita, básica
y conexa y {e1 , e2 , ..., en } un conjunto completo de idempotentes ortog-
onales primitivos de A. El carcaj ordinario de A, denotado por QA ,
es definido como sigue:
(a) Los vértices de QA nuemrados 1,2,...,n están en corresponden-
cia biyectiva con los idempotentes e1 , e2 , ..., en
(b) Dados dos vertices a, b ∈ (QA )0 , las flechas α : a → b estan
en correspondencia biyectiva con los vectores de la base del K-
espacio vectorial ea (radA/rad2 A)eb .
Lo primero que es necesario checar es que el carcaj ordinario no
depende de la elección del conjunto de idempotentes.
Lemma 2.21. Sea A una K-algebra dimensionalmente finita, básica y
conexa. (a) El carcaj QA de A no depende de la elección del conjunto
de idempotentes ortogonales primitivos de A.
Prueba.
(a) El número de vértices de QA esta determinado de manera única,
y es igual al número de sumandos directos indescomponibles de AA , y
este es único por 1.10. Por otro lado, el mismo teorema nos dice que
los factores de la descomposición es unica salvo isomorfismos, es decir:
n
M n
M
AA = ea A = e0b A,
a=1 b=1

entonces podemos enumerar los factores para que ea A ∼ = e0a A, para cada
a con 1 ≤ a ≤ n. Solo falta mostrar que dimK ea (radA/rad2 A)eb =
dimK e0a (radA/rad2 A)e0b para todo pareja (a,b). Es fácil ver que el A-
homomorfismo de módulos ϕ : ea (radA) → ea (radA/rad2 A) dado por
ea 7→ ea (x + rad2 A) admite a ea (rad2 A) como kernel y en consecuencia

ea (radA/rad2 A) ∼
= ea (radA)/ea (rad2 A) ∼
= rad(ea A)/rad2 (ea A).
 ALGEBRAS DE CARCAJ 19

Y entonces tenemos esta sequencia de isomorfismos de K-espacios vec-

toriales
ea (radA/rad2 A) ∼
= [rad(ea A)/rad2 (ea A)]eb
∼
= HomA (eb A, rad(ea A)/rad2 (ea A))
∼
= HomA (e0b A, rad(e0a A)/rad2 (e0a A))
∼
= [rad(e0a A/rad2 (e0a A))]e0b
∼
= e0 (radA/rad2 A)e0
a b

2
Ahora mostraremos que todos los elementos de rad A se pueden
expresar en términos de xα y los caminos de QA .
Lemma 2.22. Para cada flecha α : ı →  en (QA )1 , sea xα ∈ eı (radA)e
tal que el conjunto {xα +rad2 A|α : ı → } es una base de eı (radA/rad2 A)e .
Entonces:
(a) para cada dos pintos a, b ∈ (QA )0 , cada elemento
P x ∈ ea (radA)eb
puede ser escrito de la forma: x = xα1 xα2 ...xα` λα1 α2 ...α` ,
donde λα1 α2 ...α` ∈ K y la suma es tomado sobre todos los caminos
xα1 xα2 ...xα` en QA de a a b; y
(b) para cada flecha α : ı →  el elemento xα determina de manera
única un isomorfismo no cero x fα ∈ HomA (e A, eı A) tal que
x
fα (e ) = xα , Imf xα ⊆ eı (radA) y Imfxα * eı (rad2 A)
Prueba.
(a) Por ser K-espacio vectorial, radA ∼ = (radA/rad2 A) ⊕ rad2 A,
tenemos que ea (radA)eb ∼= ea (radA/rad2 A)eb ⊕ ea (rad2 A)eb .
Entonces x puede ser escrito de la forma
X
x= xα λα
α:ı→
2
modulo ea (rad A)eb (donde λα ∈ K para cada flecha α de a a
b), o más formalmente,
X
x0 = x − xα λα ∈ ea (rad2 A)eb
α:ı→

La descomposición radA = ⊕ı, eı (radA)e implica que

X
ea (rad2 A)eb = [ea (radA)ec ][ec (radA)eb ]
c∈(QA )0

asi que x0 = 0 0 0 0
P
c∈(QA )0 xc yc donde xc ∈ ea (radA)ec y yc ∈
ec (radA)eb . Por la discusión anterior, tenemos las expresiones
20 JOHN STEWART FABILA CARRASCO

de la forma x0c = 0
P P
β:a→c xβ λβ y yc = γ:c→b xγ λγ modulo
2
rad A, donde λβ , λγ ∈ K. Entonces
X X X
x= xα λ α + xβ xγ λ β λ γ
α:a→b β:a→c γ:c→b

modulo ea (rad3 A)eb .

Terminamos la prueba por una inducción y usando que el rad
A es nilpotente.
(b) Por hipótesis, el elemento xα ∈ eı (radA)e es no cero y mapea
al elemento no cero x fα por el isomorfismo K-lineal eı (radA)e ∼
=
HomA (e A, eı (radA)). Se sigue que x fα (e ) = xα , Imfxα ⊆
eı (radA) y Imf xα * eı (rad2 A) que finaliza la prueba.
2
El siguiente es un importante corolario del lemma anterior, del cual
se omite la demostración.
Corolario 2.23. Si A es una álgebra conexa, básica y dimensional-
mente finita, entonces el carcaj QA de A es conexa
Lemma 2.24. Sea Q un carcaj finito conexo, I un ideal ideal admisi-
blede KQ, y sea A=KQ/I. Entonces QA = Q
Prueba. Por ??, el conjunto {ea = εa + I|a ∈ Q0 } es un conjunto
completo de idempotentes ortogonales primitivos de A = KQ/I. Asi
los puntos de QA estan en correspondencia biyectiva con los de Q. Por
otro lado por ?? y como las flechas de a a b en Q están en corre-
spondencia biyectiva con los vectores básicos del K -espacio vectorial
ea (radA/rads A)eb , entonces lo están con las flechas de a a b en QA . 2

Ejemplo 2.25. Ahora veremos algunos ejemplos sobre como construir

de un álgebra su carcaj ordinario.
(a) Si A = K[t]/htm i con m ≥ 1, el único idempotente de A es el 1,
entonces QA tendrá un solo punto. Tenemos que el radA = hti,
donde t = t + htm i;de hecho htim = 0 y asi A/hti ∼ = K. En
2 2 2
consecuencia, rad = ht i y la dimK (radA/rad A) = 1. Una
base del (radA/rad2 A) esta dada por la clase de t del cociente
2
hti/ht i. Asi el carcaj QA es
 ALGEBRAS DE CARCAJ 21

(b) Sea
 
K 0 0
A= K K 0 
K 0 K

el álgebra de las matrices triangulares inferiores [λij ] ∈ M3 (K),

con λ32 = 0 y λpq = 0 para p¿q. Un obvio conjunto de idempo-
tentes ortogonales primitivos de A, esta dada por las matrices:
     
1 0 0 0 0 0 0 0 0
e1 =  0 0 0  , e2 =  0 1 0  , e3 =  0 0 0  .
0 0 0 0 0 0 0 0 1

Entonces el
 
0 0 0
radA =  K 0 0 
K 0 0

y rad2 = 0
Mediante algúnos calculos que se omiten aqui es fácil ver que
e2 (radA)e1 y e3 (radA)e1 son de dimension 1 y los demás es-
pacios de la forma ei (radA)ej son de dimensión cero (pues la
dimK (radA) = 2). Asi QA es el carcaj

(c) Una obvia generalización del anterior es le siguiente. Sea A el

álgebra de matrices triangulartes inferiores de n × n.

K 0 0 ··· 0
 
 K K 0 ··· 0 
K 0 K ··· 0
 
A= 
 .. .. .. .. .. 
 . . . . . 
K 0 0 ··· K
22 JOHN STEWART FABILA CARRASCO

Asi su QA es el carcaj

Ahora llegamos al teorema fundamental de estas notas.

Teorema 2.26. Sea A una K-álgebra dimensionalmente finita conexa
y básica. Entonces exite un ideal I de KQA tal que A ∼
= KQA /I.
Prueba. Asignaremos a cada elemento de la base de KQA otro
elemento de A. Esto dará lugar a un morfismo ϕ : KQA → A de
K-espacios vectoriales, de hecho ϕ será un morfismo de K-algebras, de-
spues mostraremos que ϕ es sobreyectiva y el kernel I = Kerϕ es un
ideal admisible de KQA

Para cada flecha α : ı →  en (QA )1 , sea xα ∈ radA elegida

de tal manera que {xα + rad2 A|α : ı → } forman una base de
eı (radA/rad2 A)e . Sea ϕ0 : (QA )0 → A sea el mapeo definido por
ϕ0 (a) = ea para cada a ∈ (QA )0 y ϕ1 : (QA )1 → A sea el mapeo definido
por ϕ1 (α) = xα para α ∈ (QA )1 . Entonces los elementos ϕ0 (a) forman
un un conjunto completo de idempotentes ortogonales primitivos de A,
y si α : a → b tenemos que ϕ0 (a)ϕ1 (α)ϕ0 (b) = ea xα eb = xα = ϕ1 (α).
Y ası́ por la propiedad universal de algebras de caminos ??, existe
un único homomorfismos de K -Algebras ϕ : KQA → A que extiende
ϕ0 y ϕ1 .
Veremos que ϕ es sobre. Como la imagen es generada por los ele-
mentos ea (con a ∈ (QA )0 y xα (para α ∈ (QA )1 ), es suficiente probar
que estos elementos generan a A. Como K es algebraicamente cerrado,
se sigue del teorema de Wedderburn-Malcev 1.6 que el homomorfismo
canónico A → A/radA se escinde. Asi es claro que el anterior es gen-
erado por ea , es suficiente probar que cada elemento de radA puede ser
escrito como polinomios en xa y se sigue de ?? .
Solo queda demostrar que I = Kerϕ es admisible. R denotara el
ideal flecha del algebra KQA . Por definición de ϕ, tenemos que ϕ(R) ⊆
radA y asi ϕ(R` ) ⊆ rad` A para cada ` ≥ 1. Como rad A es nilpotente,
entonces existe m ≥ 1 tal que radm A = 0 y en consequencia Rm ⊆
Kerϕ = I. Ahora probaremos que I ⊆ R2 . Si x ∈ I, podemos
 ALGEBRAS DE CARCAJ 23

escribirlo de esta forma

X X
x= εa λa + αµa + y
a∈(QA )0 α∈(QA )1

Donde λa , µα ∈ K y y ∈ R2 . Ahora ϕ(x) = 0 da

X X
0= ea λa + xa µa + ϕ(y)
a∈(QA )0 α∈(QA )1

Entonces
X X
ea λa = − xa µa − ϕ(y) ∈ radA.
a∈(QA )0 α∈(QA )1

Como rad A es nilpotente, y los ea son idempotentes ortogonales, se

puede inferir que λa = 0 para cualquier a ∈ (QA )0 . PSimilarmente
2
P
α∈(QA )1 xa µa − ϕ(y) ∈ rad A. Entonces la igualdad α∈(QA )1 (xa +
2 2
rad )µa = 0 se mantiene en radA/rad A. Pero el conjunto {xa +
rad2 A|α ∈ (QA )1 } es, por construcción, una base de radA/rad2 A. En-
tonces µα = 0 para cada α ∈ (QA )1 y entonces x = y ∈ R2
2
References
[1] C. Cibils, F. Larrión, L. Salmerón. Métodos Diagramáticos en Teorı́a de Rep-
resentaciones Monografias del Instituto de Matemáticas, UNAM. 1982.
[2] F.W. Anderson y K.R. Fuller. Rings and Categories of Modules Graduate Text
in Mathematics 13, Spring-Verlag, New York. 1973.
[3] David M. Burton A First Course in Rings an Ideals. Addison-Wesley. 1970.
[4] Ibrahim Assen, Daniel Simson, Andrzej Skowronski. Elements of the Represen-
tation Theory of Associative Algebras I. London Mathematical Society. 2006.

John Stewart Fabila Carrasco:

Facultad de Ciencias, U.A.E.M.
México, D.F. MEXICO.
jer stewart@yahoo.com.mx