Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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.
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.
1.1. ÁLGEBRAS.
(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
1.2. MÓDULOS.
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
2. Algebras de Carcaj
2.1. CARCAJ.
ε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
. ε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
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
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.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
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α λα
α:ı→
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
(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
Entonces
X X
ea λa = − xa µa − ϕ(y) ∈ radA.
a∈(QA )0 α∈(QA )1