Está en la página 1de 24

ÁLGEBRAS DE CARCAJ

JOHN STEWART FABILA CARRASCO

Introducción.
Las siguientes notas tratarán un tema muy particular sobre la Teorı́a
de Representaciones, que son las Álgebras de Carcaj, y su objetivo prin-
cipal es poner al alcance de un estudiante de Matemáticas una breve
introducción a este tema tan interesante. Es importante destacar que
los únicos prerrequisitos para entender estas notas son un haber llevado
un curso de Álgebra Lineal y un curso de Teorı́a de Anillos.

Las notas se dividen en dos secciones, en la primer sección se trató


de reunir todo el material de la teorı́a de álgebras y de módulos que se
necesitan para el desarrollo de los temas posteriores.

Finalmentente en la segunda sección estudiaremos las álgebras de


carcaj, sus ideales admisibles y el cociente del álgebra de caminos por
estos ideales. Finalmente asociaremos un carcaj a cada K-álgebra A de
dimensión finita, donde K denotará un campo algebraicamente cerrado.

Para concluir quiero agradecer a la AMC (Asociación Mexicana de


la Ciencia) ya que la realización de estas notas fue en el marco del
septimo Verano de la Investigación organizado por esta institución y
en particular a la Dra. Edith Corina Saénz Valadez, investigadora de
la UNAM, bajo cuya dirección se ralizó este trabajo.

México, Agosto del 2008

1
2 JOHN STEWART FABILA CARRASCO

1. Preliminares
En este primer capı́tulo presentaremos la terminologı́a necesaria de
álgebras 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. ÁLGEBRAS.

Definicion 1.1. Sea K un campo. Una K-álgebra 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-álgebra A es dimensionalmente finita si la dimensión de


A como K-espacio vectorial es finita.

Un K-subespacio vectorial B de una K-álgebra A es una K -subálgebra


de A si la identidad de A pertenece a B y bb0 ∈ B para todo b, b0 ∈ B.
Un K-subespacio vectorial I de una K -álgebra es un ideal derecho
de A (o ideal izquierdo de A) si xa ∈ I (o ax ∈ I, respectivamente)
para todo x ∈ I y a ∈ A. Un ideal bilateral de A (o simplemente ideal
de A) es un K-subespacio vectorial I de A tal que es ideal derecho e
ideal izquierdo de A.

Si I es un ideal bilateral de A y m ≥ 1 es un entero, denotamos por


I m el ideal bilateral de A generado por los elementos x1 x2 · · · xm , donde
x1 , x2 , . . . , xm ∈ I, es decir, I m consiste en todas las sumas finitas de
los elementos de la forma x1 x2 · · · xm donde x1 , x2 , . . . , xm ∈ I. Defini-
mos I 0 = A. El ideal I se dice nilpotente si I m = 0 para algun m ≥ 1.

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


f : A → B tal que f es homomorfismo de anillos y f es transformación
lineal simultaneamente. Dos K-álgebras A y B son isomorfas se existe
un f : A → B tal que f es homomorfismo de K-álgebras y además es
biyectivo.
Ejemplo 1.2.
ÁLGEBRAS DE CARCAJ 3

(a) El anillo K[t] de polinomios con variable t con coeficientes en


K y el anillo K[x1 , ..., xn ] de los polinomios con variables con-
mutativos t1 , ..., tn con coeficientes en K son K-álgebras dimen-
sionalmente infinita.

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


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

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


Mn [A], que es el conjunto de matrices de n × n con entradas
en A, que tienes estructura de K-álgebra, mediante la suma y
multiplicación de matrices usual, y con la acción evidente de K.

(d) Sea (G, ·) un grupo finito con identidad e y sea A una K-álgebra.
El álgebra 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-álgebra. El producto de álgebras de B y


C es el álgebra A = B ×C con la suma y multiplicacián entrada
a entrada.
Decimos que una K-álgebra A es conexa si no es producto de
2 álgebras.
(f) Para cualquier K-álgebra A, podemos definir el álgebra op-
uesta AOP de A cuya álgebra tiene la misma estructura de K-
espacio vectorial, pero la multiplicación * en AOP esta definida
por a ∗ b = ba.
Definicion 1.3. El Radical de una K-álgebra A es la intersección de
todos los ideales maximales de A. Denotaremos por rad A al radical
del álgebra A.
La siguientes es una importante equivalencia del rad A
Lema 1.4. Sea A una K-álgebra y sea a ∈ A. Las siguientes condi-
ciones son equivalentes
(a) a ∈ radA;
4 JOHN STEWART FABILA CARRASCO

(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 ) Análogo al anterior
(b) ⇔ (c) Se demuestran fácilmente 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 tal que
(1 − ab)c = 1, asi c = 1 − a(−bc) nuevamente por (b’) existe d ∈ A tal
que 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 álgebra A en lugar de


una K-álgebra A si no hay confusión.
Corolario 1.5. Sea rad A el radical de una álgebra 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 álgebra A/I es isomorfa al producto K × ... × K
de copias de K, entonces I = radA.
Prueba.
(a) y (b) se siguen fácilmente de ??
(c) Sea (a + radA) ∈ A/radA, por ??, (1 + radA) − (r + radA)(a +
radA) = (1 − ra) + I es invertible asi existe (b + radA) ∈ A/radA tal
ÁLGEBRAS DE CARCAJ 5

que (b + radA)((1 − ra) + I) = 1 + radA, asi 1 − (b − bra) ∈ radA


nuevamente por ??, b − bra tiene inverso, entonces existe c ∈ A tal
que c(b − bra) = (cb)(1 − ra) = 1, ası́ 1 − ra tiene inverso para todo
r ∈ A, por ??, a ∈ radA. Entonces a + radA = radA, concluyendo que
rad(A/radA) = 0.
(d) Por ser I nilpontente I m = 0 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 ??, 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 canónico de álgebras (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 − ba es invertible en A y entonces
π(1−ba) = 1−π(a)π(B) es invertible en A/I; ası́ π(a) ∈ rad(A/I) = 0
por ??, asi radA ⊆ ker π = I que concluye la prueba. 2

En el estudio de módulos sobre K-álgebras dimensionalmente finito


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

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


un campo algebraicamente cerrado, entonces existe una K-subálgebra
B de A tal que esiste una descomposición de K-espacios vectoriales
A = B ⊕ radA tal que la restricción del homomorfismo canónico de
álgebras π : A → A/radA a B es un isomorfismo de K-álgebras.

1.2. MÓDULOS.

Definicion 1.7. Sea A una K-álgebra. Un A-módulo derecho (o un


módulo 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
6 JOHN STEWART FABILA CARRASCO

La definición de A-módulo izquierdo es análoga. Además escribire-


mos M o MA en lugar de (M, ·) y AA o A A para ver a la álgebra A
como A-módulo derecho o izquierdo respectivamente.

Una M módulo es dimensionalmente finito si la dimensión de


M como K-espacio vectorial es finita.

Un A-módulo derecho se dice generado por los elementos 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 módulo M es finitamente generado si sus generadores son un
subconjunto finito de M .

Es facil notar que un módulo derecho M sobre una álgebra dimen-


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

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


cuencia y se conoce como el lema de Nakayama.
Lema 1.8. Sea A una K-álgebra, M un A-módulo derecho finitamente
generado, e I ⊆ radA un ideal bilateral de A. Si M I = M entonces
M =0
Prueba. Supongamos que M 6= 0, consideremos el sistema de gen-
eradores m1 , ..., mn del A-módulo 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-álgebra dimensionalmente finita, en-
tonces el radA es nilpotente.
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 lema de Nakayama ?? tenemos (radA)m = 0 2

Diremos que un A-módulo derecho M no nulo es inescindible si no


tiene sumandos directos no triviales. Es decir que si
M∼ =N ⊕L
ÁLGEBRAS DE CARCAJ 7

entonces N = 0 ó L = 0.
Teorema 1.10. Teorema de descomposición única
Sea A una K-álgebra dimesionalmente finita.
(a) Cada M módulo tiene una descomposición M ∼ = M1 ⊕ ... ⊕ Mm
donde M1 , ..., Mm son módulos inescindibles.
(b) Si
m n
M∼ ∼
M M
= M i = 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.

Es importante notar que una álgebra A puede ser vista como un A-


módulo gracias a la multiplicación del anillo. De esta forma, A tiene
una descomposición única en inescindibles por el teorema anterior
m
AA ∼
M
= Pi
i=1

En el estudio de módulos indescidibles sobre una K-álgebra 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 ortogonales, entonces a = 0
o b = 0).Un idempotente e es central si ea = ae para todo a ∈ A.

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


P1 ⊕ ... ⊕ Pn su descomposición como módulo 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 álgebra A es conexa (o inescidible) si no es producto directo


de dos álgebras, o equivalentemente, A es conexa si y solo si los únicos
idempotentes centrales son 0 y 1.
8 JOHN STEWART FABILA CARRASCO

Teorema 1.11. Un idempotente e ∈ A es primitivo si y solo si el


álgebra eAe tiene dos idempotentes 0 y e.
Una demostración de este teorema puede encontrarse [?] pp 8
Definicion 1.12. Sea A una K-álgebra con un conjunto completo de
ortogonales idempotentes primitivos {e1 , ..., en }. El álgebra A es lla-
mada básica si ei A  ej A para todo i 6= j
ÁLGEBRAS DE CARCAJ 9

2. Algebras de Carcaj

En esta sección, mostraremos que a cada álgebra dimensionalmente


finita sobre un campo algebraicamente cerrado K corresponde una
gráfica, llamada carcaj. Y a cada carcaj le corresponde una K-álgebra
asociativa, que es dimensionalmete finita y tiene identidad bajo ciertas
condiciones.

2.1. CARCAJ.

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


conjuntos: Q0 (puntos o vértices) y Q1 (flechas), y dos funciones
s, f : Q1 → Q0 que a cada flecha α ∈ Q1 le asigna un vértice 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 gráfica
conexa.
10 JOHN STEWART FABILA CARRASCO

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

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 vértice inicial y el


vértice final 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 álgebra de caminos KQ de Q
es una K-álgebra 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 básicos (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.
Es fácil ver que el producto de los básicos se puede extender a
cualquier elemento arbitrario de KQ por la propiedad distributiva.
Ejemplo 2.3.
(a) Sea Q el siguiente carcaj

La base del álgebra de caminos de KQ es {ε1 , α, α2 , ..., αk , ...}


y su mulpilicación 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
ÁLGEBRAS DE CARCAJ 11

donde ε1 = α0 . Ası́ KQ es isomorfa al álgebra 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

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 siguiente 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:
12 JOHN STEWART FABILA CARRASCO

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
Lema 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.
Prueba.
(a) Claramente
P cada camino estacionario εa es idempotente en KQ.
Si Q0 es finito, a∈Q0 εa es claramente 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 fuera infinito, entonces podemos escoger un
vértice en Q0 tal que no es vértice inicial de ωi , para alguna i, entonces
εa · 1 = 0, que es una contradicción.

(b) Si Q es finito y aciclico, existe un número 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, tendrı́amos 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,Pdel lema anterior {εa |a ∈ Q} es completo y por ser finito Q0 ,
1 = a∈Q0 εa es la identidad de KQ.
Sólo falta demostrar que son primitivos εa que por ?? basta ver que
los únicos 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
ÁLGEBRAS DE CARCAJ 13

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 ortog-
onales primitivos.

El siguiente lema reduce la conexidad de una álgebra a la partición


de un conjunto completo de idempotentes ortogonales primitivos.
Lema 2.6. Sea A una álgebra asociativa con identidad y sea {e1 , ..., en }
un conjunto completo (finito) de idempotentes ortogonales primitivos.
A es una álgebra conexa si y sólo 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
Prueba.
P Asumamos que existe una partición no trivial, y sea c =
j∈J ej , entonces c 6= 0, 1. Como ej son idempotentes ortogonales,
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 hipótesis,
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 )
j,k∈J j∈J i∈I k∈J
= ac
Ası́ c es idempotente central, y A = cA×(1−c)A es una descomposición
en producto no trivial en de A, contradiciendo la hipotesis de que A es
conexa.
Para el regreso supongamos que A no es conexa, entonces contiene
un idempotente central c 6= 0, 1. Ası́ tenemos
n
X 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
14 JOHN STEWART FABILA CARRASCO

Lema 2.7. Sea Q un carcaj finito. El álgebra 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 álgebra
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

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
ÁLGEBRAS DE CARCAJ 15

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.
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 ?? R ⊆ radKQ. Como
KQ/I es isomorfo a un producto de copias de K, se sigue de ?? que
radKQ=R. 2
16 JOHN STEWART FABILA CARRASCO

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.

Lema 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 triangu-
lares 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.
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.
ÁLGEBRAS DE CARCAJ 17

(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

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 ω .
18 JOHN STEWART FABILA CARRASCO

Lema 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 ?? 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
m ≥ 2 tenemos que ω ∈ 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
Lema 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
ÁLGEBRAS DE CARCAJ 19

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.
Lema 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 ?? 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
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.
20 JOHN STEWART FABILA CARRASCO

Lema 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 ??. Por otro lado, el mismo teorema nos dice que los
factores de la descomposición es unica salvo isomorfismos, es decir:
Mn Mn
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).

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 .
Lema 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)
ÁLGEBRAS DE CARCAJ 21

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α λα
α:ı→

modulo ea (rad2 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
P las expresiones
de la forma x0c = 0
P
x
β:a→c β βλ y y c = γ: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
Lema 2.24. Sea Q un carcaj finito conexo, I un ideal ideal admisiblede
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
22 JOHN STEWART FABILA CARRASCO

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

(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
ÁLGEBRAS DE CARCAJ 23

(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
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,
24 JOHN STEWART FABILA CARRASCO

se sigue del teorema de Wedderburn-Malcev ?? 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
escribirlo de esta forma
X X
x= εa λa + αµa + y
a∈(QA )0 α∈(QA )1
2
Donde λa , µα ∈ K y y ∈ R . 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