UNIVERSIDADE FEDERAL DE SANTA CATARINA

CENTRO DE CI

ENCIAS F

ISICAS E MATEM

ATICAS
Introduc ao ` as

Algebras de Hopf
TRABALHO DE CONCLUS

AO DE CURSO
Luis Augusto Uliana
Florian opolis, 2013
Luis Augusto Uliana
Introduc ao ` as

Algebras de Hopf
Trabalho de Conclus ao de Curso apresentado
ao Curso de Matem atica do Departamento de
Matem atica do Centro de Ci encias Fsicas e
Matem aticas da Universidade Federal de Santa
Catarina para obtenc ao do grau de Licenciado
em Matem atica.
Orientadora:
Virgnia Silva Rodrigues
UNIVERSIDADE FEDERAL DE SANTA CATARINA
Florian opolis
2013
Esta monograa foi julgada adequada como TRABALHO DE CONCLUS

AO DE CURSO
no Curso de Matem atica - Habilitac ao Licenciatura, e aprovada em sua forma nal pela Banca
Examinadora designada pela Portaria n
o
04/CCM/2012.
Prof. Nereu Estanislau Burin
Professor da disciplina
Banca Examinadora:
Prof. Virgnia Silva Rodrigues
Orientadora
Prof. Luiz Augusto Saeger
Prof. Giuliano Boava
Agradecimentos
Primeiramente, agradeco minha m ae Romy, por ter acreditado em mim e por conar em
minha dedicac ao. Agradeco aos meus tios Harry, Vera e Lilian, por se manterem sempre
pr oximos de minha m ae e por me apoiarem.
Agradeco minha namorada, Josyanne Pasetti, por me aguentar. Voc e certamente foi um
ponto est avel para mim durante a graduac ao, principalmente nos momentos mais difceis.
Agradeco ` a minha orientadora, Prof.
a
Virgnia Silva Rodrigues, por ter me aberto uma porta.
Tive a oportunidade de cursar muitas disciplinas na area de algebra com a Prof
a
Virgnia, que
sempre se mostrou dedicada ao seu trabalho e incentivada por uma paix ao clara pela pesquisa
em sua area. Acredito que essa vontade tenha me contagiado. E claro, n ao posso deixar de
mencionar que foi algu em que me deu uma oportunidade e acreditou em meu potencial, sou
muito grato por isso.
Agradeco aos professores Luiz Augusto Saeger e Giuliano Boava por terem aceito o convite
de fazer parte da banca deste trabalho e pela paci encia na correc ao do mesmo.
Agradeco aos meus colegas de graduac ao, n ao irei escrever o nome de cada um aqui, mas
queria dizer que tive a oportunidade de estudar com pessoas otimas, dedicadas e que levaram
bastante a s erio as disciplinas. Muitas pessoas estiveram comigo em v arios momentos da
graduac ao, inclusive como colegas de PET. Tenho certeza que essas pessoas ter ao um futuro
otimo, pois s ao dedicadas e s erias, e isso a longo prazo, faz diferenca.
Agradeco meus colegas Deividi e Sara, por serem pessoas muito abertas e me receberem
muito bem. Voc es me ajudaram bastante em compreender o que est a escrito nesse trabalho e
muito mais. Espero que possamos ter mais caf es juntos para podermos conversar. Posso dizer
que ambos me inuenciaram nas areas de estudos que eu escolhi. Tive otimas indicac oes de
voc es.
Agradeco ao Professor Jos e Luiz Rosas Pinho, por ser n ao apenas um otimo docente, mas
tamb em por ser o melhor coordenador que o PET poderia ter.
N ao posso deixar de lembrar de meus colegas de moradia, com os quais estive junto por
anos na graduac ao. Comeles pude aprender muito, principalmente comquest oes de conviv encia
e limpeza. S ao os melhores companheiros de apartamentos que eu poderia ter tido, cada um
com seu jeito. Mas no m todos n os nos entendamos. N ao menos importante, e valido lembrar
que eu quei bom no Guitar Hero gracas a voc es.
Por m, mas n ao menos importante,agradeco meus colegas de inf ancia e adolesc encia,
Leonardo, Jo ao Felipe, Ketson e Marcelo. Sempre nos encontramos em perodos de f erias para
jogar futebol de areia na praia de Balne ario Cambori u. Voc es zeram parte de um perodo
importante em minha vida, e s ao pessoas muito engracadas, aprendi muitas piadas com voc es.
Espero que o Ketson tenha avisado. Leonardo, nunca esquecerei do jogo, isso mudou minha
vida.
Contents
1

Algebras e Co algebras 6
1.1

Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2 Co algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.1 Notac ao de Sweedler, subco algebras e co algebras quociente . . . . . . 14
1.2.2 A (co) algebra dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2 Com odulos 28
2.1 M odulos racionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3

Algebras de Hopf 43
Conclus ao 64
6
1

Algebras e Co algebras
O objetivo desse captulo e denir a estrutura de uma co algebra sobre um corpo k, apresen-
tar alguns exemplos de co algebras e provar algumas propriedades. Para motivar a denic ao de
uma co algebra, inicialmente denimos o que e uma algebra sobre um corpo k via diagramas.
Essa denic ao ser a equivalente ` a denic ao tradicional como ser a mostrado. Com essa denic ao,
via diagramas, podemos inverter o sentido das setas dos diagramas e obter uma noc ao dual, que
chamamos co algebra. Todos os produtos tensoriais s ao sobre k a menos de menc ao contr aria,

k
.
1.1

Algebras
Denic ao 1. Uma k- algebra e uma tripla (A, M, u), em que A e um k-espaco vetorial, M :
AA A e u : k A s ao morsmos de k-espacos vetoriais tais que os seguintes diagramas
s ao comutativos:
AAA
I
A
M

MI
A

AA
M

AA
M

A
AA
M

k A
uI
A

Ak
I
A
u
_
A

em que I
A
e a identidade em A e
: A k A
a 1
k
a
: A Ak
a a1
k
s ao os isomorsmos can onicos.
A func ao M e chamada multiplicac ao da algebra e u e chamada unidade. A comutatividade
7
do primeiro diagrama e exatamente a associatividade da multiplicac ao da algebra e podemos
escrever como
M(MI
A
)(abc) = M(abc) = (ab)c
= a(bc) = M(abc) = M(I
A
M)(abc)
para quaisquer a, b, c A. A comutatividade do segundo diagrama nos fornece
(M(uI
A
) )(a) = (M(uI
A
))(1
k
a) = M(u(1
k
) a)
= 1
A
a = a = a1
A
= M(au(1
k
)) = (M(I
A
u) )(a),a A.
Classicamente, uma algebra e denida como a seguir. No entanto, essa denic ao pr evia via
diagramas nos possibilita visualizar algo a mais como ser a observado posteriormente.
Denic ao 2. Uma k- algebra unit aria A e um anel (A, +, .) com unidade que possui uma estru-
tura de k-espaco vetorial e e satisfeita uma relac ao de compatibilidade da estrutura de anel
com a estrutura de espaco vetorial
(a
1
a
2
) = (a
1
)a
2
= a
1
(a
2
) , k e a
1
, a
2
A.
Proposic ao 1. As denic oes de k- algebra dadas acima s ao equivalentes.
Demonstrac ao: () Seja (A, M, u) uma k- algebra segundo a Denic ao 1, ou seja, A e um k-
espaco vetorial, M : AA A e u : k A s ao morsmos de k-espacos vetoriais que comutam
os diagramas da denic ao. Consideremos o seguinte produto
: AA A
(a, b) a b = M(ab) = ab.
A partir dessa operac ao, vericamos alguns axiomas de anel. Claramente, a associatividade
de e dada pela comutatividade do primeiro diagrama.
A distributividade ` a esquerda e v alida, pois dados a, b, c A temos que a(b +c) = M(a
(b +c)) = M(a b +a c) = M(a b) +M(a c) = ab +ac. A distributividade ` a direita e
analogamente provada.
O elemento u(1
k
) e a unidade. De fato, como o segundo diagrama comuta a = I
A
(a) =
M(uI
A
) (a) = M(uI
A
)(1
k
a) = M(u(1
k
) a) = u(1
k
)a e analogamente a = au(1
k
),
8
ou seja, u(1
k
) = 1
A
.
Resta-nos vericar a relac ao de compatibilidade. Dados r k e a, b A temos que
r(ab) = rM(ab) = M(r(ab))
= M(rab) = (ra)b
= M(ar b) = M(arb)
= a(rb)
usando a k-linearidade de M e propriedades do produto tensorial. Portanto vale r(ab) = (ra)b =
a(rb), r k e a, b A.
() Seja agora A uma k- algebra segundo a Denic ao 2, ou seja, A e um k-espaco vetorial
com uma estrutura de anel (A, +, .) e unidade 1
A
que satisfaz a relac ao de compatibilidade
mencionada. Precisamos exibir M : AA A e u : k A morsmos de k-espacos vetoriais
que comutem os diagramas da primeira denic ao.
Denimos u : k A como sendo u(r) = r1
A
, r k.

E f acil notarmos que u e k-linear
e u(1
k
) = 1
k
1
A
= 1
A
. Notemos tamb em que : AA A e uma func ao k-bilinear pois A e
um anel. Portanto, pela propriedade universal do produto tensorial, existe um unico homomor-
smo de k-espacos vetoriais M : AA A tal que M(a b) = ab , a, b A. Para maiores
informac oes sobre produto tensorial veja ([?], p.208).
Nos resta vericar a comutatividade dos diagramas. Para o primeiro, dados a, b, c A temos
M (MI
A
)(a b c) = M(M(a b) I
A
(c)) = M(ab c) = (ab)c e M (I
A
M)(a b
c) = M(I
A
(a) M(b c)) = M(a bc) = a(bc). Como A e um anel, (ab)c = a(bc) e assim,
M(MI
A
) = M(I
A
M).
Para o segundo diagrama, dado a A temos M (u I
A
) (a) = M(u I
A
)(1
k
a) =
M(u(1
k
)I
A
(a)) =M(1
A
a) =1
A
a =a e analogamente obtemos M(I
A
u)(a) =a1
A
=
a. Portanto, o segundo diagrama tamb em comuta e temos a equival encia demonstrada.
Exemplo 1. Todo corpo k e uma k- algebra .
Exemplo 2. (

Algebra de grupo) Seja G um grupo escrito com a operac ao de multiplicac ao.

Ent ao podemos escrever a algebra de grupo
A = kG =
gG
kg.
9
Dado um elemento x A temos que x =
gG

g
g em que
g
=0, a menos de uma quantidade
nita de g G. Nesse conjunto podemos denir as seguintes operac oes:
Soma:
gG
r
g
g +
gG
s
g
g =
gG
(r
g
+s
g
)g.
Produto: (
gG
r
g
g)(
hG
s
h
h)=
zG
t
z
z em que t
z
=
g,hG
r
g
s
h
e z = gh G.
Produto por escalar: dado r k, r
gG
r
g
g =
gG
rr
g
g.
Com essas operac oes, A possui uma estrutura de k- algebra. Vale observarmos que a unidade
dessa algebra e o elemento 1
k
e emque e G e o elemento neutro do grupo. De fato, (
gG
r
g
g)(1
k
e) =

gG
(r
g
1
k
)g =
gG
r
g
g. Analogamente, (1
k
e)(
gG
r
g
g) =
gG
r
g
g.
Exemplo 3. (

Algebra das s eries de pot encias formais) Consideremos o conjunto k[[X]] ={

nN
a
n
X
n
:
a
n
k}. Podemos denir nesse conjunto as operac oes de
Soma:
nN
a
n
X
n
+
nN
b
n
X
n
=
nN
(a
n
+b
n
)X
n
.
Produto por escalar: dado r k temos r
nN
a
n
X
n
=
nN
(ra
n
)X
n
.

E simples vericar que com a soma e o produto por escalar denidos acima, k[[X]] e um
k-espaco vetorial. Consideremos a func ao m : k[[X]] k[[X]] k[[X]] dada por
m(

nN
a
n
X
n
,

nN
b
n
X
n
) =

nN
(

i+j=n
a
i
b
j
)X
n
.

E possvel vericar que m denida assim e k-bilinear. Logo, pela propriedade universal do
produto tensorial, existe um unico morsmo de k-espacos vetoriais:
M : k[[X]] k[[X]] k[[X]]
(
nN
a
n
X
n

nN
b
n
X
n
)
nN
(
i+j=n
a
i
b
j
)X
n
.
Podemos denir tamb em uma func ao u : k k[[X]] por u(1
k
) =
nN

n,0
X
n
em que
n,0
e
o delta de Kronecker e que por linearidade estende-se a k. Veriquemos que os diagramas da
10
denic ao de algebra comutam. Notemos que
M(MI
k[[X]]
)(

nN
a
n
X
n

nN
b
n
X
n

nN
c
n
X
n
) = M(

nN
(

i+j=n
a
i
b
j
)X
n

nN
c
n
X
n
)
=

nN
(

j+i+k=n
a
i
b
j
c
k
)X
n
e
M(I
k[[X]]
M)(

nN
a
n
X
n

nN
b
n
X
n

nN
c
n
X
n
) = M(

nN
a
n
X
n

nN
(
n

j+k=n
b
j
c
k
)X
n
)
=

nN
(

j+i+k=n
a
i
b
j
c
k
)X
n
.
Portanto, temos a igualdade desejada. Para o segundo diagrama, temos M (u I
K[[X]]
)
(
nN
a
n
X
n
) =M(uI
K[[X]]
)(1
k

nN
a
n
X
n
) =M(
nN

n,0
X
n

nN
a
n
X
n
) =
nN
a
n
X
n
. Analoga-
mente, M(I
k[[X]]
u) (
nN
a
n
X
n
) =
nN
a
n
X
n
. Logo, k[[X]] e uma k- algebra.
Exemplo 4. (

Algebra oposta) Seja (A, M, u) uma algebra. Podemos denir uma nova algebra
A
op
que, como conjunto, e exatamente o conjunto A com a ressalva de que a multiplicac ao e
dada por M
op
= M : AA A em que : AA AA e a aplicac ao chamada twist
dada por (a b) = b a. Denotamos a tripla como A
op
= (A, M
op
, u). A vericac ao da
comutatividade dos diagramas da denic ao de algebra s ao imediatos. Sejam a, b, c A. Ent ao
(M
op
(M
op
I))(abc) = M
op
(bac) = c(ba)
(M
op
(I M
op
))(abc) = M
op
(acb) = (cb)a.
A igualdade vale, pois a algebra (A, M, u) e associativa. Logo, M
op
(M
op
I) = M
op

(I M
op
). O axioma da unidade e imediato. Portanto, A
op
e uma algebra.
Denic ao 3. Uma algebra (A, M, u) e dita comutativa se o seguinte diagrama comuta
AA

AA
M

A.
A func ao e a aplicac ao twist dita acima. Em outras palavras, a, b A temos que M(a
b) = ab = ba = M(ba).
11
Sejam A e B duas k- algebras unit arias. Dizemos que f : A B e um morsmo de algebras
se f e um morsmo de an eis, de k-espacos vetoriais e f (1
A
) = 1
B
. Uma maneira equivalente de
denir morsmo de algebras e mais interessante para o nosso prop osito e dada a seguir.
Denic ao 4. Sejam (A, M
A
, u
A
) e (B, M
B
, u
B
) algebras. Uma func ao k-linear f : A B e um
morsmo de algebras se os seguintes diagramas s ao comutativos
AA
f f

M
A

BB
M
B

A
f

B
A
f

B
k.
u
A

u
B

O primeiro diagrama nos diz que f (ab) = f (a) f (b), a, b A e o segundo diagrama que
f (1
A
) = 1
B
.
Proposic ao 2. Sejam (A, M
A
, u
A
) e (B, M
B
, u
B
) duas algebras. Sabemos que AB tem uma
estrutura de k-espaco vetorial. Assim, denindo func oes
M
AB
: ABAB AB e u
AB
: AB k
como sendo M
AB
= (M
A
M
B
)(I
A
I
B
) e u
AB
= (u
A
u
B
)
1
, em que e a aplicac ao
twist e : k k k e o isomorsmo can onico, segue que AB e uma k- algebra.
Demonstrac ao: Sejam a, c, x A e b, d, y B. Ent ao
(M
AB
(M
AB
I))(abc d x y) = M(ac bd x y) = (ac)x (bd)y
(M
AB
(I M
AB
))(abc d x y) = M(abcx dy) = a(cx) b(dy).
Como A e B s ao algebras temos que (M
AB
(M
AB
I)) = (M
AB
(I M
AB
)). Agora,
u
AB
(1) = (u
A
u
B
)
1
(1) = (u
A
u
B
)(11) = u
A
(1) u
B
(1) = 1
A
1
B
. Portanto, AB
e uma k- algebra.
1.2 Co algebras
Aimport ancia da denic ao de uma k- algebra via diagramas est a em sua natureza categ orica.
Agora, podemos dualizar a denic ao de uma k- algebra invertendo o sentido das echas nos
diagramas e obter uma nova estrutura a qual chamamos uma k-co algebra.
12
Denic ao 5. Uma k-co algebra e uma tripla (C, , ), em que C e um k-espaco vetorial, :
C CC e : C k s ao morsmos de k-espacos vetoriais tais que os diagramas abaixo s ao
comutativos
C

CC
I
C

CC
I
C

CCC
C

k C

Ck

_
CC.
I
C
_
I
C

Em que I
C
e a identidade em C e as aplicac oes e s ao chamadas de comultiplicac ao
e counidade da co algebra C, respectivamente. Os isomorsmos can onicos e s ao dados
por ( c) = c e (c ) = c, c C e k. A comutatividade do diagrama do
lado esquerdo e chamada axioma da coassociatividade, isto e, (I
C
) = (I
C
) . J a a
comutatividade do segundo diagrama e chamada axioma da counidade e nos d a ( I
C
)=
I
C
= (I
C
) .
Notemos que em uma algebra, a multiplicac ao funciona como uma esp ecie de contrac ao
interna entre seus elementos, enquanto que em uma co algebra, a comultiplicac ao funciona
como uma esp ecie de explos ao de seus elementos que d a essa noc ao abstrata dual. Fi-
cando subentendido o corpo k, escrevemos apenas C uma co algebra, ao inv es de k-co algebra e
A uma algebra, ao inv es de k- algebra. Vamos agora ver alguns exemplos de co algebras.
Exemplo 5. Sejam S um conjunto n ao-vazio e kS o k-espaco vetorial com base S. Para denir
uma estrutura de co algebra em kS, basta denirmos e nos elementos da base e estendermos
por linearidade. Assim, kS e uma co algebra com comultiplicac ao e counidade dadas por (s) =
s s e (s) = 1 , s S.
Observac ao 1. Decorre desse primeiro exemplo que em todo k-espaco vetorial V podemos
introduzir uma estrutura de co algebra. Basta tomar S como sendo uma base de V j a que todo
espaco vetorial possui base. Em particular, o corpo k e uma co algebra, basta tomar S = {1
k
}.
Nesse caso, temos k que () = 1
k
, o isomorsmo can onico, e () =, a identidade
em k.
Exemplo 6. Seja C um k-espaco vetorial com base {c
m
: mN}. Ent ao C e uma co algebra com
comultiplicac ao e counidade dadas por (c
m
) =
m

i=0
c
i
c
mi
e (c
m
) =
0,m
, em que
0,m
e
o delta de Kronecker. Vamos mostrar que C e de fato uma co algebra.
13
Notemos que
(c
m
) =
m

i=0
c
i
c
mi
=
m

i=0
c
mi
c
i
, para todo m N.()
Tamb em temos que
(I) (c
m
) = (I)(
m

i=0
c
i
c
mi
) =
m

i=0
(c
i
) c
mi
=
m

i=0
(
i

j=0
c
j
c
ij
) c
mi
(I ) (c
m
) = (I )(
m

i=0
c
mi
c
i
) =
m

i=0
c
mi
(c
i
) =
m

i=0
c
mi
(
i

j=0
c
j
c
ij
).
Devido ` a (), chegamos que (I) = (I ) . Mostremos a comutatividade do
segundo diagrama. Para m N, temos
( ( I) )(c
m
) = (( I)(
m

i=0
c
i
c
mi
)) = (
m

i=0
(c
i
) c
mi
)
=
m

i=0
(c
i
)c
mi
=
m

i=0

0,i
c
mi
= c
m
.
Analogamente, mostra-se a outra igualdade. Logo, C e uma co algebra. Esta co algebra e
chamada co algebra da pot encia dividida.
Exemplo 7. Sejam n 1 inteiro e M
c
(n, k) um k-espaco vetorial de dimens ao n
2
. Denotamos
por {e
i j
}
1i, jn
uma base de M
c
(n, k) e denimos em M
c
(n, k) uma comultiplicac ao (e
i j
) =
n

p=1
e
ip
e
pj
e uma counidade (e
i j
) =
i, j
. Dessa maneira, M
c
(n, k) e uma co algebra, chamada
co algebra de matrizes. De fato, temos que
((I ) )(e
i j
) = (I )(
n

p=1
e
ip
e
p j
) =
n

p=1
e
ip
(e
p j
)
=
n

p=1
e
ip

q=1
e
pq
e
qj
=

1p,qn
e
ip
e
pq
e
qj
.
Por outro lado,
((I) )(e
i j
) = (I)(
n

p=1
e
ip
e
pj
) =
n

p=1
(e
ip
) e
p j
=

1p,qn
e
iq
e
qp
e
p j
=

1p,qn
e
ip
e
pq
e
q j
.
14
Portanto, o primeiro diagrama comuta. Mostremos que ( I) = I
M
c
(n,K)
. De fato,
( ( I) )(e
i j
) = (( I)(
n

p=1
e
ip
e
pj
)) = (
n

p=1
(e
ip
) e
pj
)
=
n

p=1
(e
ip
)e
p j
=
n

p=1

i,p
e
pj
= e
i j
.
Analogamente mostra-se o outro lado. Assim, M
c
(n, K) e uma co algebra.
Exemplo 8. Sejam G um grupo e kG como vimos no exemplo da algebra de grupo. Podemos
introduzir nesse conjunto uma estrutura de co algebra, basta observarmos que {1
k
g}
gG
e uma
base para kG. Por abuso de notac ao, escrevemos {g}
gG
para denotar tal base. Assim, podemos
denir
: kG kGkG
g gg
e
: kG k
g 1.
e estender por linearidade.
1.2.1 Notac ao de Sweedler, subco algebras e co algebras quociente
Nosso objetivo aqui, e apresentar uma notac ao nova que ir a facilitar os c alculos futuros com
longas composic oes que envolvam a comultiplicac ao. Essa notac ao e chamada de notac ao de
Sweedler. Para maiores detalhes, o leitor pode consultar ([?] , p.4-8).
Dada uma co algebra (C, , ), podemos denir recursivamente uma sequ encia de aplicac oes
(
n
)
n1
como segue:

1
=

n
: C C C ( n+1 vezes), em que
n
= (I
n1
)
n1
, para todo n 2.
Quando aplicamos em um elemento de C temos o elemento (c) =
n

i=0
c
i
c

i
. Na notac ao
de Sweedler, aplicada em um elemento e escrita como (c) =c
1
c
2
, para qualquer c C.
A vantagem est a em suprimir os ndices. Indutivamente, temos que
n
(c) = c
1
c
n+1
,
n 1.
15
Pela denic ao de
n
, quanto maior o n, mais carregada torna-se a escrita de
n
(c),
qualquer que seja c C. Para n = 2, temos que
((I ) )(c) =

c
1
c
2
1
c
2
2
((I) )(c) =

c
1
1
c
1
2
c
2
.
Da comutatividade do primeiro diagrama temos

2
(c) =

c
1
1
c
1
2
c
2
=

c
1
c
2
1
c
2
2
.
Portanto, podemos escrever

2
(c) =

c
1
c
2
c
3
.
Do fato de que o segundo diagrama da denic ao da coalgebra comuta, temos
c =

(c
1
)c
2
=

c
1
(c
2
).
Tendo em mente a notac ao de Sweedler, apresentamos mais um importante exemplo de
co algebra.
Exemplo 9. (Co algebra cooposta) Utilizando a algebra oposta vista no Exemplo 4, podemos
dar uma noc ao dual de uma co algebra cooposta. Seja (C, , ) uma co algebra, denimos C
cop
,
como sendo exatamente o conjunto C, mas com comultiplicac ao denida por : C CC
em que e a aplicac ao twist j a comentada. Denotamos a tripla como (C,
cop
, ). Seja c C.
Ent ao
((
cop
I)
cop
)(c) = (
cop
I)(

c
2
c
1
) =

c
2
2
c
2
1
c
1
=

c
3
c
2
c
1
.
((I
cop
)
cop
)(c) = (I
cop
)(

c
2
c
1
) =

c
2
c
1
2
c
1
1
=

c
3
c
2
c
1
.
A comutatividade do segundo diagrama n ao e difcil de ser vericada. Portanto, (C,
cop
, ) e
de fato uma co algebra.
Se olharmos as denic oes de comutatividade de uma algebra (Denic ao 3) e morsmo de
algebra (Denic ao 4) podemos dar denic oes duais para co algebras.
16
Denic ao 6. Uma co algebra (C, , ) e dita cocomutativa se o diagrama
C

CC

CC
e comutativo. Isto signica que, para todo c C, (c) =

c
1
c
2
= ( )(c) =

c
2
c
1
.
Denic ao 7. Sejam (C,
C
,
C
) e (D,
D
,
D
) duas co algebras. Uma func ao k-linear f : C D
e um morsmo de co algebras se os seguintes diagramas s ao comutativos
C

CC
f f

DD
C
f

k.
A comutatividade do primeiro diagrama pode ser reescrita como

D
( f (c)) =

f (c)
1
f (c)
2
=

f (c
1
) f (c
2
) = ( f f )((c)), c C.
Essa igualdade nos diz em outras palavras que num morsmo de co algebras podemos tirar
o ndice de dentro ou colocar o ndice para dentro , dependendo se a explos ao via foi
feita antes ou depois de aplicar o morsmo em um elemento da co algebra.
J a a comutatividade do segundo diagrama pode ser reescrita como
(
D
f )(c) =
C
(c).
Agora, estudamos um pouco subestruturas e estruturas quociente.
Denic ao 8. Seja (C, , ) uma co algebra. Um k-subespaco vetorial DC e dito uma subco al-
gebra de C se (D) DD.
Denic ao 9. Sejam (C, , ) uma co algebra e I um k-subespaco vetorial de C. Dizemos que I
i) e um coideal ` a esquerda (` a direita) se (I) CI (respectivamente, (I) I C);
ii) e um coideal se (I) I C+CI e (I) ={0}.
Exemplo 10. Vejamos um exemplo de um coideal I, que n ao e coideal ` a direita nem ` a es-
querda, basta considerar o anel de polin omios k[X] que e uma co algebra com comultiplicac ao e
17
counidade dadas por
(X
n
) = (X 1+1X)
n
, (X
n
) = 0 para n 1
(1) = 11 e (1) = 1.
De fato, consideremos I = kX o subespaco gerado por X. Mostremos que I e um coideal.

E
claro que (X) =X 1+1X I k[X] +k[X] I e que (X) =0. Suponhamos, por absurdo,
que I seja coideal ` a esquerda, ou seja, (X) k[X] I. Assim, temos (X) =c
i

i
X , com
c
i
k[X] e
i
X I. Notemos que,
X = ( (I
k[X]
) )(X)
= ((I
k[X]
)(

c
i

i
X))
= (

c
i
(
i
X))
=

c
i

i
(X) = 0,
o que e absurdo. Uma conta an aloga mostra que I n ao e coideal ` a direita.
Embora seja bastante util o pr oximo lema, n ao apresentamos aqui sua demonstrac ao. No
entanto, o leitor pode encontr a-la em ([?], Lemma 1.4.8 , p.25).
Lema 1. Sejam f : V
1
V
2
e g : W
1
W
2
morsmos de k-espacos vetoriais. Ent ao Ker( f
g) = Ker( f ) W
1
+V
1
Ker(g).
A pr oxima proposic ao mostra uma situac ao muito semelhante ao que ocorre com an eis,
grupos e m odulos.
Proposic ao 3. Seja f : C D um morsmo de co algebras. Ent ao s ao v alidas as armac oes.
i) Im( f ) = f (C) e uma subco algebra de D.
ii) ker( f ) e um coideal de C.
Demonstrac ao: i) Como f e um morsmo de co algebras o seguinte diagrama comuta
C

CC
f f

DD.
Ent ao
D
(Im( f )) =
D
( f (C)) = ( f f )
C
(C) ( f f )(CC) =Im( f )Im( f ). Logo,
Im( f ) e uma subco algebra de D.
18
Agora, como f (ker( f )) =0 temos (
D
f )(ker( f )) =0 o que implica (( f f )
C
)(ker( f )) =
0. Portanto,
C
(ker( f )) ker( f f ) = ker( f ) C+Cker( f ), pelo lema acima. Como f e
um morsmo de co algebras, f comuta o diagrama
C
f

D
/
k
Portanto,
C
(ker( f )) = (
D
f )(ker( f )) = 0. Assim ker( f ) e um coideal de C.
Mostramos agora uma proposic ao que ser a importante no nosso estudo sobre

Algebras de
Hopf. Conseguimos, a partir de duas algebras dar uma estrutura de algebra para o produto
tensorial das mesmas. Isso ser a possvel tamb em para co algebras.
Proposic ao 4. Sejam (C,
C
,
C
) e (D,
D
,
D
) duas co algebras. Ent ao CD e tamb em uma
co algebra.
Demonstrac ao: Sabemos que C D tem uma estrutura de k-espaco vetorial. Denimos
func oes

CD
: CD CDCD e
CD
: CD k
por
CD
= (I
C
I
D
) (
C

D
) e
CD
= (
C

D
), em que e a aplicac ao twist e
: k k k e o isomorsmo can onico. Vale observarmos que
CD
e
CD
assim denidas
s ao morsmos de k-espacos vetoriais pois s ao composic oes de func oes k-lineares. Veriquemos
agora que os diagramas da denic ao de co algebra comutam. Sejam c C e d D. Ent ao
(
CD
I
CD
) (
CD
)(c d) = (
CD
I
CD
)(

c
1
d
1
c
2
d
2
)
= (

(c
1
)
1
(d
1
)
1
(c
1
)
2
(d
1
)
2
c
2
d
2
)
=

c
1
d
1
c
2
d
2
c
3
d
3
e ainda,
(I
CD

CD
) (
CD
)(c d) = ((I
CD

CD
)(

c
1
d
1
c
2
d
2
)
= (

c
1
d
1
(c
2
)
1
(d
2
)
1
(c
2
)
2
(d
2
)
2
=

c
1
d
1
c
2
d
2
c
3
d
3
19
Vale a comutatividade do primeiro diagrama. Agora,
(c d) = (

c
1

C
(c
2
)) (

d
1

D
(d
2
))
=

(c
1
d
1
)
C
(c
2
)
D
(d
2
)
=

(c
1
d
1
)
CD
(c
2
d
2
).
Analogamente, pode-se mostrar que (c d) =
CD
(c
1
d
1
)(c
2
d
2
). Logo, CD e
uma co algebra.
Teorema 2. Sejam C uma co algebra, I um coideal e p : C C/I a projec ao can onica de k-
espacos vetoriais. Ent ao
i) Existe uma unica estrutura em C/I (chamada de co algebra quociente) tal que p e um mor-
smo de co algebras.
ii) Se f : C D e um morsmo de co algebras com I Ker( f ), ent ao existe um unico morsmo
de co algebras

f : C/I D tal que

f p = f .
Demonstrac ao: i) Como I e um coideal temos que (I) I C+CI e (I) ={0}. Assim,
temos ((p p) )(I) (p p)(I C+CI) = 0, por causa da denic ao de p. Portanto,
I Ker((pp) ) e dessa maneira, e possvel denir unica : C/I C/I C/I por (c) =
(pp) (c) para todo c C. Tal e claramente um morsmo de k-espacos vetoriais, pois e
composta de func oes k-lineares. Logo, o diagrama comuta
C
p

C/I

CC
pp

C/I C/I.
(1.1)
Seja c C. Ent ao p(c) = c e (c) = (p p)((c)) = (p p)(c
1
c
2
) = c
1
c
2
.
Notemos que
((I) )(c) = (I)(

c
1
c
2
) =

c
1
1
c
1
2
c
2
=

c
1
c
2
c
3
e
((I ) )(c) = (I )(

c
1
c
2
) =

c
1
c
2
1
c
2
2
=

c
1
c
2
c
3
.
Portanto, (I) = (I ) o que corresponde ` a comutatividade do primeiro dia-
grama. Como (I) = {0}, segue que I Ker() e da, podemos denir : C/I k tal que
20
p = , isto e, (p(c)) = (c) = (c) para todo c C e tal e k-linear. O diagrama comuta
C
p

C/I

k.
(1.2)
Como (c) = (c), c C, segue que o diagrama
C/I

k C/I

C/I k

_
C/I C/I.
I
C/I
_
I
C/I

comuta, pois ((I

C/I
))((c)) =c
1
(c
2
) =c
1
(c
2
) =p(c
1
)(c
2
) =p(c
1
(c
2
)) =
p(c
1
(c
2
)) = p(c) = c. Analogamente, ( I
C/I
) = I
C/I
.
Portanto, (C/I,

, ) e uma co algebra. Segue, de imediato, dos diagramas comutativos (1.1)
e (1.2) que p e um morsmo de co algebras.
ii) Como I Ker( f ), isso equivale a dizermos que f (I) = 0. Novamente, existe um unico
morsmo k-linear

f : C/I D tal que

f p = f . Dado c C,

f (c) = f (c). Da,
(
D

f )( c) =
D
( f (c)) =

f (c)
1
f (c)
2
=

f (c
1
) f (c
2
) =

f (c
1
)

f (c
2
) = (

f

f )((c)).
Finalmente,
(
D

f )( c) =
D
( f (c)) = (c) = (c)
Portanto,

f e um morsmo de co algebras.
Corol ario 1. (Teorema fundamental do isomorsmo para co algebras) Seja f : C D um mor-
smo de co algebras. Ent ao existe um isomorsmo can onico de co algebras entre C/Ker( f ) e
Im( f ).
Demonstrac ao: Fazendo I =Ker( f ) em ii) da proposic ao acima e observando que f e injetiva,
segue o resultado, pois Im( f ) = Im( f ).
21
1.2.2 A (co) algebra dual
Nessa sec ao, construmos a algebra dual de uma co algebra dada. No caso em que a algebra
possui dimens ao nita, contrumos a co algebra dual dessa algebra. Algumas propriedades e
construc oes que podem ser feitas com essa estrutura dual s ao desenvolvidas.
Dado um k-espaco vetorial V, usamos a notac ao V

para representar o espaco Hom(V, k).

Para o pr oximo lema, seguimos a refer encia ([?], Lemma 1.3.2 , p.16). Esse lema tem
participac ao importante exatamente na parte em que, a partir de uma algebra de dimens ao nita,
a estrutura de co algebra dual e apresentada.
Lema 2. Sejam k um corpo, M, N e V k-espacos vetoriais e as func oes lineares : M

V
Hom(M,V),

: Hom(M, N

) (MN)

e : M

(MN)

denidas por
( f v)(m) = f (m)v, para f M

, v V, m M;

(g)(mn) = g(m)(n), para g Hom(M, N

), m M, n N;
( f g)(mn) = f (m)g(n), para f M

, g N

, m M, n N.
Ent ao s ao v alidas as armac oes.
(i) e injetiva. Se V for nito dimensional, ent ao e um isomorsmo.
(ii)

e um isomorsmo.
(iii) e injetiva. Se N for nito dimensional, ent ao e um isomorsmo.
Usando induc ao e o item (iii) do lema anterior enunciamos o resultado que segue.
Corol ario 2. Sejam M
1
, M
2
, ..., M
n
k-espacos vetoriais, a func ao : M

1
... M

n
(M
1

... M
n
)

denido por ( f
1
... f
n
)(m
1
... m
n
) = f
1
(m
1
)... f
n
(m
n
) e injetiva. Al em disso,
se todos os espacos M
i
, i {1, ..., n} forem nito dimensionais, ent ao e um isomorsmo.
Exigimos, no corol ario, que todos os espacos tenham dimens ao nita pois e importante no
processo de induc ao.
Observac ao 3. Dados dois espacos vetoriais X e Y, v : X Y uma func ao k-linear. Denotamos
por v

: Y

a func ao k-linear denida por v

( f ) = f v para toda f Y

.
Com esses resultados e denic oes em posse, podemos agora dar um passo adiante. Dada
uma co algebra (C, , ) , vamos introduzir uma estrutura de algebra no k-espaco vetorial C

=
22
Hom(C, k). Para isso, e necess ario denir func oes k-lineares M : C

e u : C

k tais
que os diagramas da denic ao de algebra comutem.
Denimos
M : C

(CC)

e u : k

k

isto e, M =

e u =

em que ()() = , , k. Claramente, M e u s ao

k-lineares.
Vejamos que u(1
k
) =. De fato, u(1
k
)(c) = ((

)(1
k
))(c) = (

((1
k
)))(c) =(1
k
)((c)) =
1
k
(c) = (c) , c C. Logo, u(1
k
) = , isto e, a unidade da algebra C

e exatamente
C
= .
Observac ao 4. Denotamos M( f g) por f g. Segue da denic ao de M que ( f g)(c) =
((

)( f g))(c) =

(( f g))(c) =( f g)((c)) = f (c
1
)g(c
2
) para f , g C

e c C.
Da denic ao de u, segue que u(r)(c) = (

((r)))(c) = (r)((c)) = r(c).

Proposic ao 5. (C

, M, u) e uma algebra.
Demonstrac ao: Precisamos vericar a comutatividade dos diagramas de algebra. Sejam f , g, h
C

e c C. Ent ao
(( f g) h)(c) =

( f g)(c
1
)h(c
2
)
=

f (c
1
1
)g(c
1
2
)h(c
2
)
=

f (c
1
)g(c
2
)h(c
3
)
=

f (c
1
)g(c
2
1
)h(c
2
2
)
=

f (c
1
)(gh)(c
2
)
= ( f (gh))(c).
Portanto, a associatividade vale. Mostremos que u(1
k
) e o elemento identidade na multiplicac ao
denida por M. Sejam f C

e c C. Ent ao
( f )(c) =

(c
1
) f (c
2
)
= f (

(c
1
)c
2
)
= f (c).
Portanto, f = f e analogamente, f = f . Logo, C

e uma algebra.
A algebra C

e chamada algebra dual da co algebra C. A multiplicac ao denida em C

e
23
chamada convoluc ao. Vejamos alguns exemplos de algebras duais de co algebras dadas.
Exemplo 11. Seja S um conjunto n ao vazio e kS a co algebra denina no Exemplo 5. Ent ao a
algebra dual e (kS)

= Hom(kS, k) com multiplicac ao dada por

( f g)(s) = f (s)g(s) para f , g (kS)

e s S.
Exemplo 12. Seja H a co algebra denida no Exemplo 6. Ent ao a algebra H

tem multiplicac ao
denida por
( f g)(c
n
) =
n

i=0
f (c
i
)g(c
(ni)
)
para f , g H

, n N e unidade u : k H

onde u(r)(c
n
) = r
0,n
para r k e n N.
Essa algebra H

e isomorfa ` a algebra das s eries de pot encias formais k[[X]] vista no Exem-
plo 3 , o isomorsmo e dado por
: H

k[[X]]
f

n=0
f (c
n
)X
n
.
.
De fato, n ao e difcil ver que e k-linear. Lembrando da Denic ao 4, precisamos vericar
que comuta os seguintes diagramas:
H

M
H

k[[X]] k[[X]]
M
k[[X]]

k[[X]]
H

k[[X]]
K
u
H

u
k[[X]]

Assim,
M
k[[X]]
( )( f g) = M
k[[X]]
(

n=0
f (c
n
)X
n

n=0
g(c
n
)X
n
)
=

n=0
(

i+j=n
f (c
i
)g(c
j
))X
n
=

n=0
(
n

i=0
f (c
i
)g(c
(ni)
))X
n
=

n=0
( f g)(c
n
)X
n
= ( M
H
)( f g).
24
Portanto, M
k[[X]]
( ) = ( M
H
), ou seja, o primeiro diagrama comuta. Veriquemos
a unidade
(u
H
(1)) =

n=0
u
H
(1)(c
n
)X
n
=

n=0

0,n
X
n
= 1
k[[X]]
.
Nesse momento podemos nos fazer uma pergunta dual: dada uma algebra (A, M, u) con-
seguimos denir em A

= Hom(A, k) uma estrutura de co algebra? A resposta e, nem sempre.

Notemos que, para denir a estrutura de algebra dual de uma co algebra C, foi impor-
tante utilizar : C

(C C)

para denir a multiplicac ao. Agora, queremos denir

a comultiplicac ao e, para isso, necessitamos que seja um isomorsmo. Exigindo que A seja
de dimens ao nita, e um isomorsmo pelo Lema 2.
Sabemos que a func ao T : k

k denida por T() =(1) k

e umisomorsmo. Seja
ent ao uma algebra (A, M, u) nito dimensional. Podemos denir =
1
M

: A

e = T u

: A

k tal que ( f ) = (T u

)( f ) = T(u

( f )) = u

( f )(1) = f (u(1)) = f (1
A
).
Lema 3. Seja f A

tal que ( f ) =
i
g
i
h
i
para i N e g
i
, h
i
A

. Ent ao f (ab) =

i
g
i
(a)h
i
(b) a, b A. Al em disso, se f (ab) =
j
g

j
(a)h

j
(b) para g

j
, h

j
A

ent ao
i
g
i
h
i
=

j
g

j
h

j
, isto e, g
i
h
i
e univocamente determinada pela condic ao f (ab) =
i
g
i
(a)h
i
(b), a, b
A.
Demonstrac ao: Notemos que
i
g
i
(a)h
i
(b) =(( f ))(ab) , mas pela denic ao de =
1

, temos que
i
g
i
(a)h
i
(b) = M

( f )(ab) = f (M(ab)) = f (ab).

Agora, se existir uma outra famlia nita de func oes g

j
, h

j
A

tal que f (ab) =

j
g

j
(a)h

j
(b),
ent ao
(

i
g
i
h
i
)(ab) =

i
g
i
(a)h
i
(b)
= f (ab)
=

j
g

j
(a)h

j
(b)
= (

j
g

j
h

j
)(ab).
Como e injetiva, veja Lema 2, temos que
i
g
i
h
i
=
j
g

j
h

j
.
25
Proposic ao 6. Seja (A, M, u) uma algebra de dimens ao nita. Ent ao (A

, , ) e uma co algebra.
Demonstrac ao: Seja f A

com ( f ) =
i
g
i
h
i
. Denotamos (g
i
) =
j
g

i, j
g

i, j
e (h
i
) =

j
h

i, j
h

i, j
. Vericamos a comutatividade dos diagramas da denic ao de uma co algebra.
((I) )( f ) = (I)(

i
g
i
h
i
) =

i, j
g

i, j
g

i, j
h
i
((I ) )( f ) = (I )(

i
g
i
h
i
) =

i, j
g
i
h

i, j
h

i, j
.
Utilizando a func ao : A

(AAA)

denida por (uvw)(abc) =

u(a)v(b)w(c) para u, v, w A

e a, b, c A, segue que e injetiva pelo Corol ario 2. Notemos

que,
(

i, j
g

i, j
g

i, j
h
i
)(abc) =

i, j
g

i, j
(a)g

i, j
(b)h
i
(c)
=

i
g
i
(ab)h
i
(c)
= f ((ab)c)
= f (abc).
Tamb em,
(

i, j
g
i
h

i, j
h

i, j
)(abc) =

i, j
g
i
(a)h

i, j
(b)h

i, j
(c)
=

i
g
i
(a)h
i
(bc)
= f (a(bc))
= f (abc).
Como a func ao e injetiva, temos que

i, j
g

i, j
g

i, j
h
i
=

i, j
g
i
h

i, j
h

i, j
e isso nos d a que
((I) )( f ) = ((I ) )( f ), f A

.
Logo, e coassociativa.
26
Agora, vejamos que
( ( I
A
) ( f ))(a) = (

i
(g
i
)h
i
)(a)
=

i
g
i
(1
A
)h
i
(a)
= f (1
A
a)
= f (a).
Portanto,
i
(g
i
)h
i
= f e analogamente,
i
(h
i
)g
i
= f . Assim (A

, , ) e uma co algebra.
Vamos mostrar agora que essas construc oes duais que zemos permanecem bem com re-
speito a morsmos.
Proposic ao 7. SejamC e D co algebras e A e B algebras de dimens ao nita.
i) Se f : C D e um morsmo de co algebras ent ao f

: D

e um morsmo de algebras.
ii) Se g : A B e um morsmo de algebras ent ao g

: B

e um morsmo de co algebras.
Demonstrac ao:
i) Sejam d

, e

e c C. Ent ao
( f

(d

))(c) = (d

)( f (c))
=

d

( f (c)
1
)e

( f (c)
2
)
=

d

( f (c
1
))e

( f (c
2
))
=

( f

(d

))(c
1
)( f

(e

))(c
2
)
= ( f

(d

) f

(e

))(c).
Portanto, temos f

(d

) = f

(d

) f

(e

). A unidade da algebra D

e
D
, da f

(
D
) =

D
f =
C
pois f e morsmo de co algebras.
ii) Precisamos vericar que os seguintes diagramas comutam
B

k
27
Seja b

. Lembrando do que foi mostrado no Lema 3, podemos escrever (

A

g

)(b

) =
A
(b

g) =
i
g
i
h
i
e
B
(b

) =
j
p
j
q
j
. Usamremos a func ao denida no
Lema 2 com M = N = A, que e injetiva. Sejam a, b A. Ent ao
((
A
g

)(b

))(ab) =

i
g
i
(a)h
i
(b) = (b

g)(ab) = b

(g(ab))
e ainda,
((g

)
B
(b

))(ab) = (

j
p
j
gq
j
g)(ab)
=

j
(p
j
g)(a)(q
j
g)(b)
=

j
p
j
(g(a))q
j
(g(b))
= b

(g(a)g(b))
= b

(g(ab)).
Pela injetividade de temos que (
A
g

)(b

) = (g

)
B
(b

). Portanto, o primeiro
diagrama comuta. Finalmente, (
A
g

)(b

) =
A
(b

g) = (b

g)(1) = b

(g(1)) = b

(1) =

B
(b

), ou seja, o segundo diagrama comuta. Logo, g

e um morsmo de co algebras.
28
2 Com odulos
Da mesma forma que denimos algebras via diagramas para obtermos a noc ao dual de
co algebra, e possvel darmos uma denic ao via diagramas de um A-m odulo para obtermos a
noc ao dual de um C-com odulo, em que (A, M, u) e uma algebra e (C, , ) e uma co algebra. A
denic ao de m odulo sobre uma algebra unit aria e uma exig encia necess aria e um pouco maior
do que pedir que A seja apenas um anel. Temos a denic ao tradicional de um A-m odulo,
apresentada abaixo:
Denic ao 10. Seja (A, m, u) uma algebra. Dizemos que um conjunto M = / 0 e um A-m odulo ` a
esquerda se M e um k-espaco vetorial e est a denida uma multiplicac ao externa que a cada
par (, m) AM associa um elemento m M, de forma que, para quaisquer
1
,
2
A e
m
1
, m
2
M, valem as seguintes propriedades:
i)
1
(
2
m
1
) = (
1

2
)m
1
;
ii)
1
(m
1
+m
2
) =
1
m
1
+
1
m
2
;
iii) (
1
+
2
)m
1
=
1
m
1
+
2
m
1
;
iv) 1
A
m
1
= m
1
.
De maneira an aloga denimos a noc ao de um A-m odulo ` a direita. Vamos agora apresentar
uma nova denic ao via diagramas e provar que e equivalente ` a denic ao acima.
Denic ao 11. Seja (A, m, u) uma algebra. Um A-m odulo ` a esquerda e um par (M, ) em que
M e um k-espaco vetorial e : AM M e um morsmo de k-espacos vetorias tais que os
diagramas
AAM
I
A

mI
M

AM

AM

M
AM

k M
uI
M
_
comutam, em que : M k M e o isomorsmo can onico.
29
A comutatividade do primeiro diagrama nos diz que
1
(
2
x) = (
1

2
)x, para quaisquer

1
,
2
A e x M. J a a comutatividade do segundo diagrama nos diz que 1
A
x = x, x M.
Observac ao 5. De maneira an aloga, podemos denir um A-m odulo ` a direita sobre uma algebra
A, sendo o morsmo da forma : MA M.
Armac ao 1. As Denic oes 10 e 11 dadas acima s ao equivalentes.
Demonstrac ao: Suponhamos M nas condic oes da Denic ao 11. Precisamos denir uma
multiplicac ao por escalar que satisfaca as propriedades da Denic ao 10. Denimos
: AM M
(, m) m = ( m) = m.
As propriedades i) e iv) seguem imediatamente da comutatividade do primeiro e segundo
diagramas da Denic ao 11, respectivamente. Sejam
1
,
2
A e m
1
, m
2
M. Ent ao
ii)

1
(m
1
+m
2
) = (
1
(m
1
+m
2
))
= (
1
m
1
+
1
m
2
))
= (
1
m
1
) +(
1
m
2
)
=
1
m
1
+
1
m
2
.
iii)
(
1
+
2
)m
1
= ((
1
+
2
) m
1
)
= ((
1
m
1
+
2
m
1
)
= (
1
m
1
) +(
2
m
1
)
=
1
m
1
+
2
m
1
.
Logo, M e um A-m odulo ` a esquerda segundo a Denic ao 10. Agora mostremos que a
Denic ao 10 implica a Denic ao 11. Suponhamos M nas condic oes da Denic ao 10. Assim,
existe uma func ao

: AM M
(, m) m
tal que satisfaz todas as propriedades da Denic ao 10. Essa func ao

e claramente k-bilinear.
30
Pela propriedade universal do produto tensorial existe um unico morsmo de k-espacos vetoriais
: AM M tal que ( m) = m para A e m M. Veriquemos a comutatividade
dos diagramas da Denic ao 11. Notemos que,
( (uI
M
) )(x) = ( (uI
M
))(1x) = (u(1) x) = 1
A
x = x , x M
e assim, o segundo diagrama comuta. Para o primeiro, sejam a
1
, a
2
A e m M. Ent ao
( (I
A
))(a
1
a
2
m) = (a
1
a
2
m) = a
1
(a
2
m)
e
( (mI
M
))(a
1
a
2
m) = (a
1
a
2
m) = (a
1
a
2
)m
e, por hip otese, a
1
(a
2
m) = (a
1
a
2
)m. Logo, (I
A
) = (mI
M
). Portanto, M e um
A-m odulo ` a esquerda segundo a Denic ao 11.
Com essa denic ao de A-m odulo via diagramas, podemos dualiz a-la para obtermos a noc ao
de umC-com odulo, em que (C, , ) e uma co algebra.
Denic ao 12. Um C-com odulo ` a direita e um par (M, ), em que M e um k-espaco vetorial,
: M MC e um morsmo de k-espacos vetoriais tal que os seguintes diagramas comutam
M

MC
I
M

MC
I
C

MCC
MC
I
M

Mk

em que : Mk M e o isomorsmo can onico.

De maneira similar, podemos denir um C-com odulo ` a esquerda. Podemos introduzir a
notac ao de Sweedler para com odulos tamb em. Seja M umC-com odulo ` a direita, coma estrutura
dada por : M MC. Ent ao m M temos que
(m) =

m
(0)
m
(1)
em que os elementos m

(0)
s M e os m

(1)
s C. Se M e um C-com odulo ` a esquerda com a
estrutura dada por : M CM, denotamos
(m) =

m
(1)
m
(0)
.
A comutatividade dos diagramas da denic ao de um com odulo ` a direita pode ser escrita,
31
com notac ao de Sweedler, assim

(m
(0)
)
(0)
(m
(0)
)
(1)
m
(1)
=

m
(0)
(m
(1)
)
1
(m
(1)
)
2
e

(m
(1)
)m
(0)
= m.
Exemplo 13. Toda co algebra C e umC-com odulo ` a direita e ` a esquerda. A func ao que lhe d a a
estrutura de C-com odulo (` a direita e ` a esquerda) e a comultiplicac ao : C CC.
Exemplo 14. Se C e uma co algebra e X e um k-espaco vetorial, ent ao X C e umC-com odulo
` a direita com a estrutura dada pela func ao : X C X CC em que = I
X
, ou seja,
(x c) =x c
1
c
2
, para quaisquer x X e c C.
Veriquemos que os seguintes diagramas comutam
X C
I
X

I
X

X CC
I
XC

X CC
I
X
I
C

X CCC
X C
I
X

X Ck

X CC.
I
XC

Para o primeiro diagrama, sejam x X e c C. Ent ao

((I
X
I
C
) (I
X
))(x c) = (I
X
I
C
)(x (c))
= (I
X
I
C
)(x (

c
1
c
2
))
=

x (c
1
) c
2
=

x c
1
1
c
1
2
c
2
=

x c
1
c
2
c
3
e
((I
XC
) (I
X
))(x c) = (I
XC
)(x (c))
= (I
XC
)(x (

c
1
c
2
))
=

(I
XC
)(x c
1
c
2
)
=

x c
1
(c
2
)
=

x c
1
c
2
1
c
2
2
=

x c
1
c
2
c
3
.
32
Para o segundo diagrama,
( (I
XC
) (I
X
))(x c) = ( (I
XC
))(x (

c
1
c
2
))
= ( (I
XC
))(

x c
1
c
2
)
=

(I
XC
)(x c
1
c
2
)

x c
1
(c
2
)

=

x c
1
(c
2
)
= x

c
1
(c
2
)
= x c.
Denimos agora a noc ao de morsmo para com odulos, isso e importante para termos uma
vis ao mais categ orica dessa estrutura.
Denic ao 13. i) Sejam A uma algebra e (X,
X
),(Y,
Y
) dois A-m odulos ` a esquerda. Uma
func ao k-linear f : X Y e dita um morsmo de A-m odulos se o seguinte diagrama comuta
AX
I
A
f

AY

X
f

Y.
A comutatividade do diagrama acima nos diz que
f (ax) = af (x).
ii) Sejam C uma co algebra e (M,
M
), (N,
N
) dois C-com odulos ` a direita. Uma func ao
k-linear g : M N e dita um morsmo de C-com odulos se o seguinte diagrama comuta
M
g

MC
gI
C

NC.
A comutatividade desse ultimo diagrama nos diz que

g(m)
(0)
g(m)
(1)
=

g(m
(0)
) m
(1)
.
33
Podemos falar agora na categoria dos com odulos ` a direita sobre uma co algebra C, cujos
objetos s ao todos os C-com odulos ` a direita e os morsmos entre dois objetos quaisquer dessa
categoria s ao morsmos de C-com odulos ` a direita. Denotamos tal categoria por M
C
. De
maneira an aloga, e denida a categoria dos C-com odulos ` a esquerda como
C
M.
Denic ao 14. Seja (M, ) um C-com odulo ` a direita. Um k-subespaco vetorial N de M e
chamado umC-subcom odulo ` a direita se (N) NC.
Observemos que N sendo umC-subcom odulo ` a direita de M, N e umC-com odulo ` a direita,
cuja estrutura e a restric ao de a N.
Sejam (M, ) um C-com odulo ` a direita e N um C-subcom odulo de M. Sejam M/N o k-
espaco vetorial quociente e : M M/N, a projec ao can onica dada por (m) = m, para todo
m M.
Teorema 6. Sejam (M, ) umC-com odulo ` a direita e N umC-subcom odulo de M. Ent ao existe
uma unica estrutura de C-com odulo ` a direita em M/N tal que : MM/N e um morsmo de
com odulos.
Demonstrac ao: Temos que (( I
C
) )(N) ( I
C
)(N C) (N) C = 0, pois N =
ker(). Logo, N Ker(( I
C
) ). Portanto, existe um unico morsmo de k-espacos
vetoriais tal que o diagrama abaixo
M

M/N

MC
I
C

(M/N) C
e comutativo, isto e, = ( I
C
) . Ent ao, para qualquer m M,
(m) = ( )(m) = (( I
C
) )(m) = ( I
C
)(

m
(0)
m
(1)
)
=

(m
(0)
) m
(1)
=

m
(0)
m
(1)
.
Mostremos que (M/N, ) e um C-com odulo ` a direita, ou seja, temos que mostrar que
34
(I
M/N
) = ( I
C
) . De fato, seja m M/N. Ent ao
((I
M/N
) )(m) = (I
M/N
)(

m
(0)
m
(1)
)
=

m
(0)
m
(1)
1
m
(1)
2
=

m
(0)
m
(1)
m
(2)
e
(( I
C
) )(m) = ( I
C
)(

m
(0)
m
(1)
)
=

(m
(0)
) m
(1)
=

(m
(0)
)
(0)
(m
(0)
)
(1)
m
(1)
=

m
(0)
m
(1)
m
(2)
.
Logo, (I
M/N
) = ( I
C
) . A comutatividade do segundo diagrama e v alida pois
( (I
M/N
) )(m) = ( (I
M/N
))(

m
(0)
m
(1)
)
=

m
(0)
(m
(1)
)
=

m
(0)
(m
(1)
)
=

m
(0)
(m
(1)
) = m.
Do fato do diagrama do incio da demonstrac ao ser comutativo conclumos que : M
M/N e um morsmo de com odulos.
O com odulo M/N com a estrutura denida acima e chamado com odulo quociente de M
com respeito ao subcom odulo N.
Proposic ao 8. SejamM e N dois C-com odulos ` a direita e f : MN ummorsmo de com odulos.
Ent ao Im( f ) e umC-subcom odulo de N e Ker( f ) e umC-subcom odulo de M.
Demonstrac ao: Sejam
M
: M MC e
N
: N NC as aplicac oes de estrutura dos dois
C-com odulos. Como f e um morsmo de com odulos, temos que (( f I
C
)
M
)(Ker( f )) =

N
( f (Ker( f ))) = 0. Dessa maneira,
M
(Ker( f )) Ker( f I
C
) = Ker( f ) C, a ultima igual-
dade decorre do Lema 1. Assim, Ker( f ) e um subcom odulo de M.
Por outro lado,
N
(Im( f )) =
N
( f (M)) = (
N
f )(M) = (( f I
C
)
M
)(M) Im( f ) C
e portanto, Im( f ) e um subcom odulo de N.
Teorema 7. (Teorema fundamental do isomorsmo para com odulos) Sejam f : M N um
35
morsmo de C-com odulos ` a direita, : M M/Ker( f ) e i : Im( f ) N, a projec ao e a
inclus ao can onicas, respectivamente. Ent ao existe um unico isomorsmo de C-com odulos
f : M/Ker( f ) Im( f ) tal que o diagrama abaixo comuta
M
f

N
M/Ker f
f

Imf .
i

Demonstrac ao: Pelo teorema do isomorsmo de espacos vetoriais, existe um unico isomor-
smo f : M/Ker( f ) Im( f ) de k-espacos vetoriais tal que f (m) = (i f )(m) = f (m) ,
m M. Resta mostrarmos que f e um morsmo de com odulos.
Sejam : M/Ker( f ) (M/Ker( f )) C e : Im( f ) Im( f ) C as aplicac oes de estru-
tura dos respectivos com odulos. Temos que
(( f I
C
) )(m) = ( f I
C
)(

m
(0)
m
(1)
)
=

f (m
(0)
) m
(1)
=

f (m
(0)
) m
(1)
=

f (m)
(0)
f (m)
(1)
=

f (m)
(0)
f (m)
(1)
= ( f )(m),
ou seja, o diagrama abaixo comuta
M/Ker( f )
f

Im( f )

(M/Ker( f )) C
f I
C

Im( f ) C
e isso nos diz que f e um morsmo de C-com odulos ` a direita.
36
2.1 M odulos racionais
Todas as construc oes nessa sec ao t em por objetivo demonstrar um isomorsmo entre cate-
gorias, a saber as categorias M
c
e Rat(
c
M), essa ultima ser a denida mais adiante no texto.
Sejam C uma co algebra e C

sua algebra dual. Consideremos M um k-espaco vetorial e

: M MC k-linear, dada por (m) =
i
m
i
c
i
, para todo m M. Denimos

: C

M M
c

m
i
c

(c
i
)m
i
em que

= ( I
M
) (I
C
) (I
C
), em que e a aplicac ao twist (j a vista no
Captulo 1),
: C

C k
c

c c

(c)
e
: k M M
m m.
Proposic ao 9. (M, ) e um C-com odulo ` a direita se, e somente se, (M,

) e um C

-m odulo ` a
esquerda.
Demonstrac ao: () Escrevemos, para todo m M, (m) =
i
m
i
c
i
= m
(0)
m
(1)
. De-
notamos, para todo c

, c

m =

(c

m) = c

(m
(1)
)m
(0)
. Mostremos que

e uma
ac ao. Primeiro, observemos que
1
C
m = m =

(m
(1)
)m
(0)
= m
e, para quaisquer c

, d

e m M,
c

(d

m) = c

(m
(1)
)m
(0)
)
=

d

(m
(1)
)c

(m
(0)
(1)
)m
(0)
(0)
()
=

d

(m
(1)
2
)c

(m
(1)
1
)m
(0)
=

c

(m
(1)
1
)d

(m
(1)
2
)m
(0)
=

(c

)(m
(1)
)m
(0)
= (c

) m
em que a igualdade () segue do fato de que (M, ) e C-com odulo ` a direita. Logo, (M,

) e
umC

-m odulo ` a esquerda.
37
() Temos que (M,

) e um C

-m odulo ` a esquerda e denotamos (m) = m

(0)
m
(1)
,
m M e

(c

m) =c

(m
(1)
)m
(0)
= c

m. Temos que vericar que os seguintes diagra-

mas comutam
M

MC
I
M

MC
I
C

MCC
MC
I
M

Mk

M.

Para o segundo diagrama, notemos que m = 1

C
m = m = (m
(1)
)m
(0)
= ( (I
M

) )(m), m M. Sabemos, por hip otese, que (c

) m = c

(d

m), c

, d

e
m M. Assim,
c

(d

m) =

d

(m
(1)
)c

(m
(0)
(1)
)m
(0)
(0)
=

c

(m
(0)
(1)
)d

(m
(1)
)m
(0)
(0)
= (I
M
c

)(( I) (m))
em que : Mk k M e o isomorsmo can onico dado por (m ) = m(). Al em
disso,
(c

) m =

(c

(m
(1)
))m
(0)
=

c

(m
(1)
1
)d

(m
(1)
2
)m
(0)
= (I
M
c

)((I ) (m)).
Logo, (I
M
c

)((I
C
) (m)) =(I
M
c

)((I
M
) (m)). Escrevemos
y = ( I
C
) (m) (I
M
) (m). Sabemos que C possui base e chamamos uma delas de
{e
i
}
iI
. Em vista disso, podemos escrever y =m
i, j
e
i
e
j
MCC. Para quaisquer i
0
, j
0
xados, podemos considerar e

i
0
e e

j
0
em C

tais que e

i
0
(e
t
) =
i
0
,t
e e

j
0
(e
l
) =
j
0
,l
. Notemos
que, (I
M
c

)(y) =0, c

, d

. Em particular, 0 =(I
M
e

i
0
e

j
0
)(y) =m
i
0
, j
0
o que
implica que y = 0. Logo, ( I
C
) (m) = (I
M
) (m), m M e assim,( I
C
) =
(I
M
) .
Sejam M umC

-m odulo ` a esquerda e

: C

M M a aplicac ao que fornece sua estru-

tura de m odulo. O conjunto Hom(C

, M) e o k-espaco vetorial das transformac oes k-lineares de

38
C

em M. Denimos

M
: M Hom(C

, M)
m
M
(m)(c

) = c

m.
Sejam j : C C

e f
M
: MC

Hom(C

, M) denidas por j(c)(c

) = c

(c) e f
M
(m
c

)(c

) = c

(c

)m, respectivamente. Mostremos que j e f

M
s ao injetoras.
Fato 1: j e injetora. De fato, seja c Ker( j). Ent ao j(c) = 0. Assim, 0 = j(c)(c

) = c

(c)
para qualquer c

e isso implica que c = 0.

Fato 2: f
M
e injetora. De fato, seja
i
m
i
c

i
Ker( f
M
) em que os m

i
s s ao linearmente
independentes (esse fato segue de [?], p.16). Ent ao 0 = f
M
(
i
m
i
c

i
)(c

) =
i
c

i
(c

)m
i
para
qualquer c

, o que implica, c

i
(c

) = 0, c

, ou seja, c

i
= 0 e da
i
m
i
c

i
= 0.
Segue disso, que a func ao

M
: MC Hom
k
(C

, M)
denida por
M
= f
M
(I
M
j) e injetora. Da denic ao, temos

M
(mc)(c

) = ( f
M
(I
M
j)(mc))(c

)
= ( f
M
(m j(c)))(c

)
= j(c)(c

)m
= c

(c)m
para quaisquer c C, c

e m M.
Denic ao 15. UmC

-m odulo ` a esquerda M e dito racional se

M
(M)
M
(MC).
Vejamos algumas observac oes que seguem imediatamente dessa denic ao.
Observac ao 8. M e um C

-m odulo ` a esquerda racional se, e somente se, c

m =
i
c

(c
i
)m
i
,
para famlias nitas (c
i
)
iI
C e (m
i
)
iI
M (I e um conjunto nito), m M e c

.
De fato,
M
(m)
M
(MC) se, e somente se,
M
(m) =
M
(
iI
m
i
c
i
) para famlias
nitas (c
i
)
iI
C e (m
i
)
iI
M se, e somente se,
M
(m)(c

) = c

m =
M
(
iI
m
i
c
i
)(c

) =

iI
c

(c
i
)m
i
, c

.
Observac ao 9. Seja M umC

-m odulo ` a esquerda racional. Se, para m M, existem dois pares

de famlias nitas (c
i
)
iI
C e (m
i
)
iI
M, (c

j
)
jJ
C e (m

j
)
jJ
M ent ao
iI
m
i
c
i
=
39

jJ
m

j
c

j
, pois
M
e injetora.
Exemplo 15. Seja C uma co algebra. Ent ao C e um C

-m odulo ` a esquerda e ` a direita racional

cujas ac oes s ao dadas por c

c =c

(c
2
)c
1
e c c

=c

(c
1
)c
2
.
Exemplo 16. Se C e uma co algebra de dimens ao nita, ent ao o C

-m odulo ` a esquerda C

e
racional. De fato, nesse caso temos que j : C C

e f
C
: C

Hom(C

,C

) s ao
isomorsmos de k-espacos vetoriais, para o isomorsmo j, veja ([?], Proposition 1.3.14, p.22)
e para f
C
notemos que e um caso particular do Lema 2 item (i), a menos de twist. Segue
da denic ao de
C
que
C
(C

C) = Hom(C

,C

), pois nesse caso

C
e um isomorsmo.
Portanto,
C
(C

)
C
(C

C), ou seja, C

e um C

-m odulo ` a esquerda racional.

Denotamos por Rat(
c
M) a categoria dos C

-m odulos ` a esquerda racionais. Falamos sobre

categorias e n ao colocamos a denic ao propriamente dita de uma categoria. Isso se deve ao fato
de que as categorias trabalhadas aqui s ao as categorias M
c
cujos objetos e morsmos j a foram
ditos anteriormente e a categoria Rat(
c
M), categoria dos C

-m odulos ` a esquerda racionais,

cujos objetos s ao todos os C

-m odulos ` a esquerda racionais e os morsmos entre dois objetos

quaisquer dessa categoria s ao morsmos de C

-m odulos ` a esquerda.
O leitor interessado pode consultar sobre o tema num contexto mais geral em ([?], p.52-
53) e ([?], p.361-362). Entretanto, para o pr oximo teorema, e conveniente citarmos a seguinte
denic ao, que diz respeito ` a duas categorias serem isomorfas.
Denic ao 16. Duas categorias C e D s ao ditas isomorfas se existem funtores F : C D e
G : D C tais que I
C
= G F e I
D
= F G, em que I
C
e I
D
s ao os funtores identidade nas
respectivas categorias, isto e, I
C
: C C e tal que I
C
(C) =C, para qualquer objeto C em C
e, para qualquer morsmo f : C C

em C, I
C
( f ) = f e da mesma forma tem-se I
D
.
Teorema 10. As categorias M
c
e Rat(
c
M) s ao isomorfas.
Demonstrac ao: Seja (M, ) um C-com odulo ` a direita. Mostremos que (M,

) e um C

-
m odulo ` a esquerda racional. Pela Proposic ao 9 e, com sua notac ao, (M,

) e um C

-m odulo
` a esquerda. Como c

m =

(c

m) =c

(m
(1)
)m
(0)
segue, da Observac ao 8, que M e um
C

-m odulo ` a esquerda racional.

Sejam M, N dois C-com odulos e f : MN um morsmo de C- com odulos. Provemos que
40
f e um morsmo de C

-m odulos ` a esquerda racionais. De fato,

f (c

m) = f (

(m
(1)
)m
(0)
) =

(m
(1)
) f (m
(0)
)
=

c

( f (m)
(1)
) f (m)
(0)
= c

f (m).
Assim, podemos denir o funtor T : M
c
Rat(
c
M) tal que T(M, ) = (M,

) e T( f ) =
f , para todo morsmo de C-com odulos f .
Seja (M, ) um C

-m odulo ` a esquerda racional. Como

M
: MC Hom(C

, M) e in-
jetora, segue que,
M
: MC
M
(MC) e um isomorsmo de k-espacos vetoriais. Temos
que (c

m) = c

m =
M
(m)(c

), c

e podemos denir

: M MC
m

(m) =
M
1
(
M
(m)).
Portanto,

(m) =
M
1
(
M
(m)) =
M
1
(
M
(
i
m
i
c
i
)) =
i
m
i
c
i
, m M, em que
(c
i
)
iI
C e (m
i
)
iI
M s ao famlias nitas tais que c

m =
i
c

(c
i
)m
i
.
Queremos ver que (M,

) e umC-com odulo ` a direita e para isso mostremos que

=,
pois se assim o zermos, teremos pela Proposic ao 9 que (M,

) e umC-com odulo ` a direita se,

e somente se, (M,

) e umC

-m odulo ` a esquerda. Temos que

(m) =

i
m
i
c
i
=
M
1
(
M
(m))
M
(

i
m
i
c
i
) =
M
(m)

M
(m
i
c
i
) =
M
(m)
e claramente segue que
i

M
(m
i
c
i
) =
M
(m).
Portanto,
M
(m)(c

) =
i

M
(m
i
c
i
)(c

) =
i
c

(c
i
)m
i
=(c

m). Por outro lado,

(c

m) =
i
c

(c
i
)m
i
= (c

m) e isso implica que

= . Logo, (M,

) e um C-com odulo ` a
direita.
Sejam (M,
M
) e (N,
N
) C

-m odulos ` a esquerda racionais e f : M N um morsmo de

C

-m odulos ` a esquerda. Mostremos que f e um morsmo de C-com odulos ` a direita com as

estruturas (M,

M
) e (N,

N
). Precisamos mostrar que o seguinte diagrama comuta
M
f

MC
f I
C

NC.
41
Seja m M. Ent ao

M
(m) =
i
m
i
c
i
e

N
(( f I
C
)

M
(m))(c

) =
N
(

i
f (m
i
) c
i
)(c

)
=

i
c

(c
i
) f (m
i
)
= f (

i
c

(c
i
)m
i
)
= f (c

m)
e

N
((

N
f )(m))(c

) =
N
(((
N
1

N
) f )(m))(c

)
=
N
( f (m))(c

)
= c

f (m)
= f (c

m).
Como
N
e injetiva segue que ( f I
C
)

M
(m) = (

N
f )(m), m M e isso nos diz
que ( f I
C
)

M
=

N
f .
Denimos agora, S : Rat(
c
M) M
c
tal que S(M, ) = (M,

) e S( f ) = f , para toda f
um morsmo de C

-m odulos ` a esquerda. Temos que

(T S)(M, ) = T(S(M, )) = T(M,

)
= (M,

) = (M, )
e ainda (T S)( f ) = f . Portanto, T S = I
Rat(
c
M)
. Para nalizarmos, observemos que

: M MC
m
M
1
(
M
(m)) =

(m) ().
Aplicando
M
=
M
` a (), temos

M
(

(m))(c

) =
M
(m)(c

)
= c

m
42
e por outro lado,

M
((m))(c

) =
M
(

m
(0)
m
(1)
)(c

)
=

c

(m
(1)
)m
(0)
=

(c

m)
= c

m.
Sendo
M
injetora,

(m) = (m), m M. Portanto,

= . Logo,
(ST)(M, ) = S(T(M, )) = S(M,

)
= (M,

) = (M, )
e tamb em (S T)( f ) = f . Assim, S T = I
M
c . Portanto, as categorias M
c
e Rat(
c
M) s ao
isomorfas.
43
3

Algebras de Hopf
Nessa sec ao, denimos algebra de Hopf e apresentamos alguns exemplos e propriedades.
Para isso, e necess ario denir bi algebras. Em particular, algebras de Hopf s ao bi algebras. Al em
disso, para que se tenha uma algebra de Hopf e necess aria a exist encia de uma func ao chamada
antpoda, a qual desempenha um papel fundamental em todo esse contexto.
Seja H um k-espaco vetorial que possui uma estrutura de algebra (H, M, u) e tamb em uma
estrutura de co algebra (H, , ). Abaixo, mostramos um resultado que e uma compatibilidade
entre as estruturas de algebra e de co algebra de H. Lembramos que HH possui uma estrutura
de co algebra e de algebra.
Proposic ao 10. As seguintes armac oes s ao equivalentes.
i) As func oes M e u s ao morsmos de co algebras.
ii) As func oes e s ao morsmos de algebras.
Demonstrac ao: Temos que M : HH H e um morsmo de co algebras se, e somente se, os
seguintes diagramas s ao comutativos
HH
M

HHHH
II

HHHH
MM

HH.
Lembrando que a composic ao (I I) () =
HH
e a estrutura de co algebra em
44
HH. Tamb em,
HH
M

k k

k
I

k.
Observemos que ( ) =
HH
. A func ao u e um morsmo de co algebras se, e somente
se, os seguintes diagramas comutam
k

k k
uu

HH
k
u

I
k

H

k.
Notemos que e morsmo de algebras se, e somente se, o primeiro e o terceiro diagramas
comutam, e e morsmo de algebras se, e somente se, o segundo e o quarto diagramas comutam
e segue a equival encia.
Observac ao 11. O fato de e serem morsmos de algebras, possibilita-nos expressar em
notac ao de Sweedler os fatos abaixo

(hg)
1
(hg)
2
=(hg) =(h)(g) = (

h
1
h
2
)(

g
1
g
2
) =

h
1
g
1
h
2
g
2
(hg) = (h)(g) para quaisquer h, g H.
Al em disso, (1
H
) = 1
H
1
H
e (1
H
) = 1
K
.
Denic ao 17. Umk-espaco vetorial Hque possui estruturas de algebra (H, M, u) e de co algebra
(H, , ) e uma bi algebra se e s ao morsmos de algebras.
Observac ao 12. Diremos que uma bi algebra H possui uma propriedade P, se sua estrutura de
algebra ou de co algebra tiver a propriedade P. Assim, por exemplo, podemos falar de bi algebras
comutativas (se sua estrutura de algebra for comutativa) ou cocomutativas (se sua estrutura de
co algebra for cocomutativa).
Proposic ao 11. Seja H uma bi algebra. Ent ao s ao v alidas as seguintes proposic oes.
i) Se H e comutativa ent ao M e morsmo de algebras.
ii) Se H e cocomutativa ent ao e morsmo de co algebras.
45
Demonstrac ao: i) Temos que vericar que os diagramas abaixo comutam.
HHHH
MM

M
HH

HH
M

HH
M

H
HH
M

H
k.
u
HH

Sejam a, b, c, d H. Ent ao
(M(MM))(abc d) = M(abcd) = (ab)(cd) = abcd.
(MM
HH
)(abc d) = M(ac bd) = (ac)(bd) = acbd
()
= abcd.
A igualdade () e satisfeita, pois H e comutativa. Agora, veriquemos a comutatividade do
segundo diagrama:
Mu
HH
(1) = M(1
H
1
H
) = 1
H
1
H
= 1
H
= u(1).
Logo, M e um morsmo de algebras.
ii) Veriquemos a comutatividade dos diagramas abaixo.
H

HH

HH

HH

HHHH
H

HH

HH

k.
Seja h H. Ent ao
(
HH
)(h) =
HH
(

h
1
h
2
)
=

h
1
1
h
2
1
h
1
2
h
2
2
=

h
1
h
3
h
2
h
4
= ()
(() )(h) = ()(

h
1
h
2
)
=

h
1
1
h
1
2
h
2
1
h
2
2
=

h
1
h
2
h
3
h
4
= ()
Temos () = (), pois H e cocomutativa. Para o segundo diagrama, temos
HH
(h) =
46

HH
(h
1
h
2
) = (h
1
)(h
2
) = (h
1
(h
2
)) = (h), para todo h H. Portanto, e mor-
smo de co algebras.
Exemplo 17. O corpo k e uma bi algebra. Lembremos que k possui uma estrutura de algebra e
de co algebra, em que : k k k e o isomorsmo can onico e : k k e a identidade em k.
Resta-nos vericar que tais func oes s ao morsmos de algebras. Sejam , k. Ent ao
() = () 1 = ( 1)( 1) =()() , (1) = 11 = 1
kk
e
() = ()() e (1) = 1.
Exemplo 18. Sejam G um grupo e kG a algebra de grupo vista no Exemplo 2 cuja estrutura de
co algebra e dada por
: kG kGkG
g gg
e
: kG k
g 1.
Veriquemos que e s ao morsmos de algebras. Sejam g, h kG elementos da base.
Ent ao temos que (gh) = ghgh = (gg)(hh) =(g)(h) e ainda (gh) = 1 = (g)(h).
Portanto, kG e uma bi algebra.
Vejamos algumas maneiras de construir novas bi algebras a partir de bi algebras j a conheci-
das.
Exemplo 19. Seja H uma bi algebra. Ent ao H
op
, H
cop
e H
op,cop
s ao bi algebras, em que H
op
possui a estrutura de algebra oposta e mant em a estrutura de co algebra de H, H
cop
possui
a estrutura de co algebra cooposta e mant em a estrutura de algebra de H e H
op,cop
possui a
estrutura de co algebra cooposta e algebra oposta de H. Denotamos por .
op
a multiplicac ao em
H
op
. Sejam g, h H. Ent ao
(x.
op
y) = (yx) =(y)(x)
= y
1
x
1
y
2
x
2
= (x
1
x
2
).
op
(y
1
y
2
)
= (x).
op
(y)
47
e
(x.
op
y) = (yx)
= (y)(x)
= (x)(y).
Portanto, H
op
e uma bi algebra. Agora,

cop
(hg) =

(hg)
2
(hg)
1
=

(h
2
g
2
h
1
g
1
)
e

cop
(h)
cop
(g) = (

h
2
h
1
)(

g
2
g
1
) = (

h
2
g
2
h
1
g
1
).
Portanto, H
cop
e uma bi algebra. N ao e difcil vericar que H
op,cop
e uma bi algebra.
Proposic ao 12. Seja H uma bi algebra de dimens ao nita. Ent ao H

com a estrutura de algebra

dual da co algebra H e com a estrutura de co algebra dual da algebra H e uma bi algebra,
chamada bi algebra dual de H.
Demonstrac ao: Denotamos por e a comultiplicac ao e a counidade de H e por e E a
comultiplicac ao e counidade de H

. Lembremos que para f H

temos E( f ) = f (1
H
) e ( f ) =
f
1
f
2
com a propriedade que f (ab) = f
1
(a) f
2
(b) para quaisquer a, b H.
Mostremos que e um morsmo de algebras. Sejam a, b H. Ent ao
( f g)(ab) =

f ((ab)
1
)g((ab)
2
)
=

f (a
1
b
1
)g(a
2
b
2
)
=

f
1
(a
1
) f
2
(b
1
)g
1
(a
2
)g
2
(b
2
)
=

f
1
(a
1
)g
1
(a
2
) f
2
(b
1
)g
2
(b
2
)
=

( f
1
g
1
)(a)( f
2
g
2
)(b),
em que ( f ) = f
1
f
2
e (g) =g
1
g
2
. Assim,
( f g) =

( f
1
g
1
) ( f
2
g
2
)
=

( f
1
f
2
)(g
1
g
2
)
= ( f )(g).
48
Sejam h, g H. Ent ao (hg) = (h)(g) e isso nos diz que () = . Logo, e
morsmo de algebras. Mostremos agora que E e um morsmo de algebras.
E( f g) = ( f g)(1
H
) = f (1
H
)g(1
H
) = E( f )E(g)
e ainda E() = (1
H
) = 1. Portanto, H

e uma bi algebra.
Denic ao 18. Sejam H e L duas bi algebras. Uma func ao k-linear f : H L e dita um morsmo
de bi algebras se f e um morsmo de algebras e um morsmo de co algebras com respeito ` as
estruturas de algebra e de co algebra de H e L, respectivamente.
Teorema 13. Sejam H uma bi algebra e I um k-subespaco vetorial de H que e um ideal (da
estrutura de algebra presente em H) e e um coideal (da estrutura de co algebra presente em H).
Ent ao a estrutura de algebra e de co algebra quociente H/I dene uma bi algebra e a projec ao
p : H H/I e um morsmo de bi algebras.
Demonstrac ao: Primeiro lembremos que a estrutura de co algebra em H/I vista no Teorema
2 e denida por (h) = h
1
h
2
e (h) = (h) para todo h H. Veriquemos que e s ao
morsmos de algebras.
(hg) =

(hg)
1
(hg)
2
=

h
1
g
1
h
2
g
2
=

(h
1
h
2
)(g
1
g
2
) =(h)(g).
Claramente, (1) = 11. Agora,
(hg) = (hg)
= (h)(g)
= (h)(g).
Tamb em, (1) = (1
H
) = 1. Portanto, H/I e uma bi algebra.
O pr oximo resultado e imediato.
Corol ario 3. Se H e uma bi algebra comutativa (respectivamente cocomutativa) ent ao a bi algebra
quociente H/I e comutativa (respectivamente cocomutativa).
Falta-nos um ultimo preparativo para denirmos o que e uma algebra de Hopf, e este e, por
sua vez, muito importante. Dessa pr oxima estrutura de algebra que denimos abaixo, extramos
a ideia do que chamamos antpoda, uma func ao que destaca um tipo especco de bi algebra.
49
Sejam (C, , ) uma co algebra e (A, M, u) uma algebra. Denimos sobre Hom(C, A) uma
estrutura de algebra na qual a multiplicac ao denotada por e dada como segue. Se f , g
Hom(C, A), ent ao
( f g)(c) = (M( f g) )(c) =

f (c
1
)g(c
2
)
para todo c C. Essa multiplicac ao denida e associativa pois, para quaisquer f , g, h Hom(C, A)
e c C, segue que
(( f g) h)(c) =

( f g)(c
1
)h(c
2
)
=

f (c
1
1
)g(c
1
2
)h(c
2
)
=

f (c
1
)g(c
2
)h(c
3
)
=

f (c
1
)g(c
2
1
)h(c
2
2
)
=

f (c
1
)(gh)(c
2
)
= ( f (gh))(c).
A unidade de Hom(C, A) e o elemento u Hom(C, A), pois notemos que, para todo
c C,
( f (u))(c) =

f (c
1
)(u)(c
2
)
=

f (c
1
)u(1)(c
2
)
= f (

c
1
(c
2
))
= f (c)
e portanto, f (u ) = f . Analogamente, e possvel mostrar que (u ) f = f . Reparemos
que se A = k, temos que Hom(C, A) = Hom(C, k) =C

e e o produto de convoluc ao denido

na algebra dual de uma co algebra C. Por essa raz ao, chamamos esse produto de produto de
convoluc ao.
Consideremos um caso particular dessa construc ao de algebra que acabamos de fazer. Seja
H uma bi algebra, denotamos H
c
a estrutura de co algebra de H e H
a
a estrutura de algebra de
H. Nessas condic oes, temos uma estrutura de algebra em Hom(H
c
, H
a
). Notemos que a func ao
identidade I : H H pertence ` a algebra Hom(H
c
, H
a
).
Denic ao 19. Seja H uma bi algebra. Uma func ao k-linear S : H H e chamada antpoda de
H se S for a inversa da func ao identidade I : H H com respeito ao produto de convoluc ao da
algebra Hom(H
c
, H
a
).
50
Denic ao 20. Uma bi algebra H e dita uma algebra de Hopf se H possui uma antpoda.
Observac ao 14. Algumas observac oes podem ser levantadas de imediato dessa denic ao.
i) A antpoda em uma algebra de Hopf e unica, pois e o inverso do elemento I da algebra
Hom(H
c
, H
a
).
ii) Nem toda bi algebra e uma algebra de Hopf, ou seja, nem sempre e garantida a exist encia
de uma antpoda em uma bi algebra. Mais adiante, apresentamos um exemplo de bi algebra que
n ao tem antpoda.
iii) Uma algebra de Hopf tem uma propriedade P se satiszer as mesmas condic oes vistas na
Observac ao 12, ou seja, se sua estrutura de algebra ou de co algebra tiver a propriedade P.
iv) De SI = I S = u, segue que
(SI)(h) =

S(h
1
)I(h
2
) =

S(h
1
)h
2
= (u)(h) = u((h)) = (h)1
H
(I S)(h) =

I(h
1
)S(h
2
) =

h
1
S(h
2
) = (u)(h) = u((h)) = (h)1
H
.
Portanto, em notac ao de Sweedler S(h
1
)h
2
= h
1
S(h
2
) = (h)1
H
, para todo h H ou,
via diagramas, M(SI) = M(I S) = u.
Denic ao 21. Sejam H e T duas algebras de Hopf. Uma func ao f : H T e dita um morsmo
de algebras de Hopf se for um morsmo de bi algebras.
Proposic ao 13. Sejam H e T duas algebras de Hopf com antpodas S
H
e S
T
. Se f : H T e
um morsmo de bi algebras, ent ao S
T
f = f S
H
.
Demonstrac ao: Consideremos a algebra Hom(H, T), S
T
f e f S
H
elementos dessa algebra.
Mostremos que S
T
f e o inverso ` a esquerda de f e f S
H
e o inverso ` a direita de f nessa
algebra e isso implica que S
T
f = f S
H
. Seja h H. Ent ao
((S
T
f ) f )(h) =

(S
T
f )(h
1
) f (h
2
)
=

S
T
( f (h
1
)) f (h
2
)
=

S
T
( f (h)
1
) f (h)
2
=
T
( f (h))1
T
=
H
(h)1
T
= u
T
(
H
(h))
= (u
T

H
)(h)
51
tamb em,
( f ( f S
H
))(h) =

f (h
1
)( f S
H
)(h
2
)
=

f (h
1
) f (S
H
(h
2
))
= f (

h
1
S
H
(h
2
))
= f (
H
(h)1
H
)
=
H
(h)1
T
= u
T
(
H
(h))
= (u
T

H
)(h).
Assim, f e invertvel em Hom(H, T) com relac ao ao produto de convoluc ao, disso segue
que sua inversa ` a direita e igual ` a sua inversa ` a esquerda, ou seja, S
T
f = f S
H
.
Antes de vermos alguns exemplos de algebras de Hopf, mostramos algumas propriedades
referentes ` a antpoda para tomarmos mais conhecimento do seu papel nessa estrutura.
Proposic ao 14. Seja H uma algebra de Hopf com antpoda S. Ent ao s ao v alidas as armac oes.
i) S(hg) = S(g)S(h), para quaisquer g, h H.
ii) S(1
H
) = 1
H
.
iii) (S(h)) =S(h
2
) S(h
1
) ou, via diagramas, (SS) = S.
iv) (S(h)) = (h).
As propriedades i) e ii) signicamque S e umantimorsmo de algebras e iii) e iv) signicam
que S e um antimorsmo de co algebras.
Demonstrac ao: i) Considere H H com a estrutura de co algebra vista na Proposic ao 4 e H
com sua estrutura de algebra. Nessas condic oes faz sentido falar na algebra Hom(H H, H),
com a multiplicac ao sendo a convoluc ao. A unidade dessa algebra e o elemento u
H

HH
:
HH H. Consideremos as func oes F, G, M : HH H denidas por
F(hg) = S(g)S(h) , G(hg) = S(hg) e M(hg) = hg
para quaisquer h, g H. Mostremos que M e a inversa ` a esquerda de F e que M e a inversa ` a
52
direita de G, com respeito ao produto de convoluc ao. De fato,
(MF)(hg) =

M((hg)
1
)F((hg)
2
)
=

M(h
1
g
1
)F(h
2
g
2
)
=

h
1
g
1
S(g
2
)S(h
2
)
=

h
1
(g)1
H
S(h
2
)
=

(g)h
1
S(h
2
)
= (g)(h)1
H
=
HH
(hg)1
H
= (u
H

HH
)(hg)
o que nos mostra que MF = u
H

HH
. Tamb em,
(GM)(hg) =

G((hg)
1
)M((hg)
2
)
=

G(h
1
g
1
)M(h
2
g
2
)
=

S(h
1
g
1
)h
2
g
2
=

S((hg)
1
)(hg)
2
= (hg)1
H
= (h)(g)1
H
=
HH
(hg)1
H
= (u
H

HH
)(hg)
e portanto, GM = u
H

HH
. Disso segue que F = G, ou seja, S(hg) = S(g)S(h).
ii) Temos S(1
H
) = (1
H
)1
H
= 1
H
. Portanto, S(1
H
) = 1
H
.
iii) Agora, consideremos H com sua estrutura de co algebra e H H com sua estrutura de
algebra vista na Proposic ao 2. Assim, podemos supor a algebra Hom(H, HH) com o produto
de convoluc ao. O elemento identidade dessa algebra e a func ao u
HH

H
. Sejam as func oes
F, G : H HH denidas por
F(h) =(S(h)) e G(h) =

S(h
2
) S(h
1
)
para todo h H. Provemos que e a inversa de F ` a esquerda e e a inversa de G ` a direita com
53
respeito ao produto de convoluc ao. Seja h H. Ent ao
(F)(h) =

(h
1
)F(h
2
)
=

(h
1
)(S(h
2
))
= (

h
1
S(h
2
))
= ((h)1
H
)
= (h)(1
H
1
H
)
= (u
HH

H
)(h)
e
(G)(h) =

G(h
1
)(h
2
) =

(S((h
1
)
2
) S((h
1
)
1
))((h
2
)
1
(h
2
)
2
)
=

(S(h
2
) S(h
1
))(h
3
h
4
)
=

S(h
2
)h
3
S(h
1
)h
4
=

S((h
2
)
1
)(h
2
)
2
S(h
1
)h
3
=

(h
2
)1
H
S(h
1
)h
3
=

1
H
S(h
1
)((h
2
)
1
)(h
2
)
2
=

1
H
S(h
1
)h
2
= 1
H
(h)1
H
= (u
HH

H
)(h).
Portanto, temos F = G, ou seja, (S(h)) =S(h
2
) S(h
1
).
iv) Basta aplicarmos na igualdade h
1
S(h
2
) =(h)1
H
. Assimobtemos (h
1
)(S(h
2
)) =
(h). Como e S s ao k-lineares, temos (S((h
1
)h
2
)) = (h) e usando a propriedade da
counidade, segue que (S(h)) = (h).
Proposic ao 15. Seja H uma algebra de Hopf com antpoda S. Ent ao as seguintes armac oes
s ao equivalentes.
i) S(h
2
)h
1
= (h)1
H
para todo h H.
ii) h
2
S(h
1
) = (h)1
H
para todo h H.
iii) S
2
= I (S
2
= SS e I e a func ao identidade em H).
Demonstrac ao: i) iii) Por denic ao sabemos que I e o inverso de S pelo produto de
54
convoluc ao. Mostremos que S
2
e o inverso de S ` a direita pelo produto de convoluc ao e pela
unicidade do inverso, podemos garantir a igualdade desejada. Seja h H. Ent ao
(SS
2
)(h) =

S(h
1
)S
2
(h
2
)
=

S(S(h
2
)h
1
)
= S((h)1
H
)
= (h)S(1
H
)
= (h)1
H
= (u)(h).
Portanto, SS
2
= u.
iii) i) Basta aplicarmos S na igualdade S(h
1
)h
2
= (h)1
H
. Temos
S(

S(h
1
)h
2
) =

S(S(h
1
)h
2
)
=

S(h
2
)S
2
(h
1
)
=

S(h
2
)I(h
1
)
=

S(h
2
)h
1
= S((h)1
H
)
= (h)1
H
e portanto, S(h
2
)h
1
= (h)1
H
.
As implicac oes iii) ii) e ii) iii) s ao an alogas ` as implicac oes iii) i) e i) iii),
respectivamente.
Corol ario 4. Seja H uma algebra de Hopf comutativa ou cocomutativa, ent ao S
2
= I.
Demonstrac ao: Suponhamos que H seja comutativa. Ent ao (h)1
H
=S(h
1
)h
2
=h
2
S(h
1
),
ou seja, S
2
= I.
Se H for cocomutativa, ent ao temos que h
1
h
2
=h
2
h
1
. Assim, (h)1
H
=S(h
1
)h
2
=
S(h
2
)h
1
. Portanto, S
2
= I.
Vamos dar noc ao de subestruturas de algebras de Hopf como sub algebras e algebras quo-
ciente de Hopf.
Denic ao 22. Seja H uma algebra de Hopf com antpoda S. Um subespaco vetorial W de H e
55
chamado uma sub algebra de Hopf de H se W e uma sub algebra e uma subco algebra de H e se
S(W) W.
Observamos que se W e uma sub algebra de Hopf ent ao W e uma algebra de Hopf ela mesma
com a estrutura induzida de H.
Denic ao 23. Seja H uma algebra de Hopf com antpoda S, um k-subespaco vetorial I de H e
dito um ideal de Hopf se I e um ideal e um coideal de H e S(I) I.
Teorema 15. Sejam H uma algebra de Hopf e I um ideal de Hopf. Ent ao H/I e uma algebra
de Hopf. A projec ao can onica p : H H/I e um morsmo de algebras de Hopf.
Demonstrac ao: Sabemos do Teorema 13 que H/I tem uma estrutura de bi algebra. Como
S(I) I, podemos denir S : H/I H/I por S(h) = S(h). De fato, S est a bem denida, pois
se h = w ent ao hw I e portanto, S(hw) I pela hip otese, ou seja, S(h) S(w) I o que
implica que S(h) = S(w).
Veriquemos que S e uma antpoda.

S(h
1
)h
2
=

S(h
1
) h
2
=

S(h
1
)h
2
= (h)1
H
= (h)1
H
= (h)1
H
.
De maneira an aloga, mostra-se que h
1
S(h
2
) = (h)1
H
. Portanto, H/I e uma algebra de
Hopf.
Apresentamos agora alguns exemplos de algebras de Hopf. Para o primeiro exemplo,
gostaramos de fazer mais alguns coment arios.
Denic ao 24. Seja C uma co algebra. Um elemento c C e dito grouplike se c e n ao-nulo e
(c) = c c. O conjunto dos elementos grouplike da co algebra C e denotado por G(C). Segue
da propriedade da counidade que (c) = 1, para todo c C.
Proposic ao 16. Seja H uma algebra de Hopf. Ent ao G(H) e um grupo com a multiplicac ao de
H.
56
Demonstrac ao: Notemos que 1
H
G(H), pois (1
H
) = 1
H
1
H
. Se g, h G(H), ent ao
(gh) = (g)(h) = (g g)(h h) = gh gh, ou seja, gh G(H). Finalmente, se g G(H)
ent ao S(g) G(H), pois (S(g)) =S(g
2
) S(g
1
) = S(g) S(g). Por outro lado, (SI)(g) =
S(g)g = (g)1
H
= 1
H
e analogamente, gS(g) = 1
H
. Donde, g
1
= S(g) G(H). Logo, G(H)
e um grupo.
Exemplo 20. (

Algebra de Grupo) Seja G um grupo multiplicativo. Vimos no Exemplo 18

que kG possui uma estrutura de bi algebra. Falta-nos denir uma antpoda para que kG seja
uma algebra de Hopf. Denindo S : kG kG por S(g) = g
1
para g G e estendendo por
linearidade temos S denida em todo kG. Observamos que

S(g
1
)g
2
= S(g)g = g
1
g = 1
G
= (g)1
G
e de maneira an aloga g
1
S(g
2
) = (g)1
G
, para todo g G. Portanto, kG e uma algebra de
Hopf. Observemos que G(kG) = G.
Exemplo 21. Finalmente, apresentamos um exemplo de uma bi algebra que n ao e uma algebra
de Hopf como dissemos na Observac ao 14. Consideremos G um mon oide (conjunto n ao vazio
com uma operac ao associativa com um elemento neutro e G) tal que G n ao e um grupo com
essa operac ao . Nessas condic oes, kG e uma bi algebra, mas n ao e uma algebra de Hopf, pois
caso exista uma antpoda, necessariamente, a mesma ser a denida como no exemplo acima.
Assim, G seria um grupo, o que e uma contradic ao.
Para o pr oximo exemplo, e necess ario que mostremos o seguinte lema.
Lema 4. A igualdade

m+n
l

=
l

i=0

m
i

n
li

e v alida para todos n, m, l N.

Demonstrac ao: De fato,
m+n

l=0

m+n
l

x
l
= (1+x)
m+n
(Pelo teorema binomial)
= (1+x)
m
(1+x)
n
=

l=0

m
l

x
l

l=0

n
l

x
l

=
m+n

l=0

i=0

m
i

n
l i

x
l
,
em que na ultima igualdade utilizamos a denic ao do produto de polin omios de graus m e n,
57
com a convenc ao de que

m
i

= 0 sempre que i > m e

n
li

= 0 sempre que l i > n. Igualando

os coecientes de x
l
conclumos que

m+n
l

=
l

i=0

m
i

n
li

.
Para maiores informac oes, o leitor pode consultar ([?], p. 288).
Exemplo 22. (

Algebra de Hopf das pot encias divididas) Seja H um k-espaco vetorial com base
{c
i
: i N}, j a denimos uma estrutura de co algebra em H no Exemplo 6 em que
(c
m
) =
m

i=0
c
i
c
mi
e (c
m
) =
0,m
para todo m N. Agora, denimos uma estrutura de algebra em H. Sejam c
m
, c
n
H. Ent ao
c
n
c
m
=

n+m
n

c
n+m
que pode ser estendida por linearidade. Notemos que,
c
0
c
m
=

m
0

c
m
= c
m
= c
m
c
0
.
Denotamos c
0
= 1
H
o elemento identidade em H. Mostremos que essa multiplicac ao e
associativa, ou seja, (c
n
c
m
)c
p
= c
n
(c
m
c
p
) para quaisquer n, m, p N. De fato,
(c
n
c
m
)c
p
=

n+m
n

c
n+m
c
p
=

n+m
n

n+m+ p
n+m

c
n+m+p
=
(n+m)!
n!m!
(n+m+ p)!
(n+m)!p!
c
n+m+p
=
(n+m+ p)!
n!m!p!
c
n+m+p
=

m+ p
n

c
n
c
m+p
= c
n
(c
m
c
p
).
Assim, H tem uma estrutura de algebra. Veriquemos que H e uma bi algebra mostrando
que e s ao morsmos de algebras.

E claro que (c
m
c
n
) =

n+m
n

(c
n+m
) =

n+m
n

o,m+n
=
58

o,n

o,m
= (c
n
)(c
m
). Agora,
(c
n
)(c
m
) = (
n

t=0
c
t
c
nt
)(
m

j=0
c
j
c
mj
)
=
n

t=0
m

j=0

t + j
t

m+nt j
nt

c
t+j
c
n+mtj
=
n+m

i=0
n

t=0

i
t

n+mi
nt

c
i
c
n+mi
()
=
n+m

i=0

n+m
n

c
i
c
n+mi
=

n+m
n

c
n+m

= (c
n
c
m
).
Em que na igualdade () foi utilizado o Lema 4, com a convenc ao de que

i
t

= 0 sempre
que t > i. Falta-nos denir uma antpoda. Seja S : H H dada por
S(c
0
) = S(1
H
) = 1
H
e S(c
m
) =S(c
0
)c
m
S(c
1
)c
m1
... S(c
m1
)c
1
.
Mostremos que S(h
1
)h
2
= (h)1
H
para todo h pertencente a base de H. Sendo H clara-
mente cocomutativa, valem as condic oes equivalentes da Proposic ao 15. Para c
0
= 1
H
, temos
S(c
0
)c
0
= S(1
H
)1
H
= 1
H
= (c
0
)1
H
.
Para m > 0, temos
(SI)(c
m
) = S(c
0
)c
m
+S(c
1
)c
m1
+... +S(c
m1
)c
1
+S(c
m
)c
0
()
= S(c
0
)c
m
+S(c
1
)c
m1
+... +S(c
m1
)c
1
+(S(c
0
)c
m
S(c
1
)c
m1
... S(c
m1
)c
1
)1
H
= 0 = (c
m
)1
H
,
na igualdade () est ao sendo usados a denic ao de S(c
m
) e que c
0
= 1
H
.
Portanto, H e uma algebra de Hopf.
Exemplo 23. (

Algebra de Hopf de Sweedler de dimens ao 4) Suponhamos k um corpo de car-

acterstica diferente de 2. Seja H uma algebra gerada por elementos c e x de uma algebra
satisfazendo as relac oes: c
2
=1 , x
2
=0 e xc =cx. Ent ao H e um espaco vetorial de dimens ao
59
4 cuja base e {1, c, x, cx}. A estrutura de co algebra e dada por
(c) = c c, (x) = c x +x 1, (c) = 1 e (x) = 0,
em que e s ao multiplicativas.
Notemos que
(I) (x) = (I)(c x +x 1) = c c x +c x 1+x 11 e
(I ) (x) = (I )(c x +x 1) = c c x +c x 1+x 11.
Portanto vale a coassociatividade para x. A vericac ao para c e imediata. Notemos tamb em
que,
(( I) (x)) = (( I)(c x +x 1))
= (((c) x +(x) 1))
= (1x) = x.
Analogamente, mostra-se que ((I ) (x)) = x. Portanto, H possui uma estrutura de
co algebra. Denimos a antpoda S por S(c) = c
1
e S(x) =cx. Assim,
S(c)c = c
1
c = 1
H
= (c)1
H
e
S(c)x +S(x)1
H
= c
1
x cx = cx cx = 0 = (x)1
H
e portanto, H e uma algebra de Hopf. Observemos que G(H) =< c >, em que < c > e o grupo
multiplicativo gerado por c.
Observac ao 16. O exemplo acima e de uma algebra de Hopf que n ao e comutativa nem co-
comutativa. De fato, se cx = xc teramos cx xc = 0, ou seja, cx +cx = 0, o que implica,
(1+1)cx =0 e como k tem caracterstica diferente de dois, 1+1 =0 e da, cx =0, um absurdo.
Logo, n ao e comutativa.
Agora, suponhamos que (x) = c x +x 1 = ( )(x) = x c +1 x. Denotando
por M
H
a multiplicac ao em H, teramos que M
H
(c x +x 1) = M
H
(x c +1 x), ou seja,
cx +x = xc +x, o que implica, cx = xc, o que e uma contradic ao. Logo, H n ao e cocomutativa.
O pr oximo exemplo generaliza o exemplo anterior, s ao as chamadas algebras de Hopf Taft.
Exemplo 24. (

Algebras de Hopf Taft) Sejam n > 1 um inteiro e uma raiz n- esima primitiva
60
da unidade. Consideremos a algebra H
n
2() denida pelos geradores c e x, valendo as relac oes
c
n
= 1, x
n
= 0, xc = cx.
Sobre essa algebra podemos introduzir uma estrutura de co algebra exatamente como no
exemplo acima. Dessa maneira, H
n
2() torna-se uma bi algebra de dimens ao n
2
, tendo como
base {c
i
x
j
: 0 i, j n1}. A antpoda e denida por S(c) = c
1
e S(x) =c
1
x. Para o caso
em que n = 2 e =1, temos a algebra de Hopf de Sweedler de dimens ao 4.
Observac ao 17. Seja H uma algebra de Hopf com antpoda S. Ent ao a bi algebra H
op,cop
e uma
algebra de Hopf com antpoda S. Al em disso, se S e bijetora, ent ao as bi algebras H
op
e H
cop
s ao algebras de Hopf com antpoda S
1
.
De fato, seja h H
op,cop
. Ent ao
(SI)(h) =

S(h
2
).
op
h
1
=

h
1
S(h
2
) = (h)1
H
= (u)(h)
e
(I S)(h) =

h
2
.
op
S(h
1
) =

S(h
1
)h
2
= (h)1
H
= (u)(h).
Portanto, SI = I S = u. Logo, H
op,cop
e uma algebra de Hopf com antpoda S.
Agora, seja h H
op
. Ent ao
(S
1
I)(h) =

S
1
(h
1
).
op
h
2
=

h
2
S
1
(h
1
).
Mas, S(h
2
S
1
(h
1
)) =h
1
S(h
2
) = (h)1
H
= S((h)1
H
). Como S e injetora, temos
h
2
S
1
(h
1
) = (h)1
H
= (u )(h) e assim, S
1
I = u . Similarmente, I S
1
= u .
Portanto, H
op
e uma algebra de Hopf com antpoda S
1
. Com raciocnio an alogo, H
cop
e uma
algebra de Hopf com antpoda S
1
.
Proposic ao 17. Seja H uma algebra de Hopf de dimens ao nita com antpoda S. Ent ao a
bi algebra H

e uma algebra de Hopf com antpoda S

.
Demonstrac ao: Sabemos que H

e uma bi algebra, veja Proposic ao 12. Mostremos que S

e
a antpoda de H

. Sejam h

e (h

) = h

1
h

2
, em que e a comultiplicac ao de H

.
61
Ent ao, para todo h H, temos que

(S

(h

1
)h

2
)(h) =

S

(h

1
)(h
1
)h

2
(h
2
)
=

h

1
(S(h
1
))h

2
(h
2
)
=

h

(S(h
1
)h
2
)
= h

((h)1
H
)
= (h)h

(1
H
)
= E(h

)(h).
Da, S

(h

1
)h

2
= E(h

) . Similarmente, h

1
S

(h

2
) = E(h

).
Proposic ao 18. Se H e L s ao bi algebras, ent ao HL com a estrutura de algebra e de co algebra
j a denidas anteriormente possui uma estrutura de bi algebra. Se H e L s ao algebras de Hopf
ent ao HL e uma algebra de Hopf com antpoda S
H
S
L
.
Demonstrac ao: Temos em H L as operac oes denidas nas Proposic oes 2 e 4. Mostremos
que
HL
e
HL
s ao morsmos de algebras. De fato,

HL
((hl)(wt)) =
HL
(hwlt)
=

(hw)
1
(lt)
1
(hw)
2
(lt)
2
=

(h
1
w
1
l
1
t
1
h
2
w
2
l
2
t
2
)
e

HL
(hl)
HL
(wt) =

(h
1
l
1
h
2
l
2
)(w
1
t
1
w
2
t
2
)
=

(h
1
w
1
l
1
t
1
h
2
w
2
l
2
t
2
).
Agora,

HL
((hl)(wt)) =
HL
(hwlt)
=
H
(hw)
L
(lt)
=
H
(h)
H
(w)
L
(l)
L
(t)
=
H
(h)
L
(l)
H
(w)
L
(t)
=
HL
(hl)
HL
(wt).
62
Logo, H L e uma bi algebra. Agora, suponhamos que H e L s ao algebras de Hopf, veri-
quemos que S
H
S
L
e uma antpoda para a bi algebra HL.

S
H
S
L
(h
1
l
1
)(h
2
l
2
) =

(S
H
(h
1
) S
L
(l
1
))(h
2
l
2
)
=

S
H
(h
1
)h
2
S
L
(l
1
)l
2
=
H
(h)1
H

L
(l)1
L
=
H
(h)
L
(l)(1
H
1
L
)
=
HL
(hl)1
HL
= (u
HL

HL
)(hl).
Analogamente, I
HL
(S
H
S
L
) = u
HL

HL
. Portanto, HL e uma algebra de Hopf.
Lembramos que se A e uma algebra e M e um A-m odulo ` a esquerda, ent ao M e um A
op
-
m odulo ` a direita com a ac ao dada por ma = am para quaisquer a A e m M. A estrutura de
algebra oposta e essencial para que valha a propriedade m(a.
op
b) = (ma)b, ou seja, m(a.
op
b) =
m(ba) = (ba)m = b(am) = (am)b = (ma)b para quaisquer a, b A e m M. Em geral, M n ao
possui uma estrutura natural de A-m odulo ` a direita.
Da mesma forma, se C e uma co algebra e M e um C-com odulo ` a direita, ent ao M e um
C
cop
-com odulo ` a esquerda, mas pode n ao ser um com odulo ` a esquerda sobre C.
Terminamos nosso trabalho provando um resultado que mostra a import ancia da antpoda
no sentido de obtermos estruturas de m odulos e de com odulos nas situac oes explicitadas acima.
Teorema 18. Seja H uma algebra de Hopf com antpoda S. Ent ao as seguintes armac oes s ao
verdadeiras.
i) Se M e um H-m odulo ` a esquerda ent ao M possui uma estrutura de H-m odulo ` a direita com
ac ao dada por mh = S(h)m.
ii) Se M e um H-com odulo ` a direita ( : M MH , (m) = m
(0)
m
(1)
) ent ao M possui
uma estrutura de H-com odulo ` a esquerda com coac ao dada por

: M HM com

(m) =
S(m
(1)
) m
(0)
.
Demonstrac ao: i) Sejam h, p H, m M. Ent ao
m(hp) = S(hp)m = (S(p)S(h))m = S(p)(S(h)m) = S(p)(mh) = (mh)p e
m1
H
= S(1
H
)m = 1
H
m = m.
63
ii) De fato, seja m M. Escrevemos (m) = m
(0)
m
(1)
. Provemos que ( I)

=
(I

.
((I)

)(m) = (I)(

S(m
(1)
) m
(0)
)
=

S(m
(1)
)
1
S(m
(1)
)
2
m
(0)
=

S(m
(1)
2
) S(m
(1)
1
) m
(0)
=

S(m
(2)
) S(m
(1)
) m
(0)
por outro lado,
((I

)(m) = (I

)(

S(m
(1)
) m
(0)
)
=

S(m
(1)
) S(m
(0)
1
) m
(0)
(0)
=

S(m
(2)
) S(m
(1)
) m
(0)
portanto, (I)

= (I

. Al em disso,
( ( I)

)(m) = ( I)(

S(m
(1)
) m
(0)
)
= (

(S(m
(1)
)) m
(0)
)
=

(m
(1)
)m
(0)
= m.
64
Conclus ao
O trabalho foi desenvolvido ao longo do ano de 2012 e podemos fazer algumas observac oes
no que concerne ao conte udo. A disciplina Introduc ao as algebras de Hopf foi um passo
importante para um avanco sistem atico e eciente no que diz respeito ao conte udo de algebras
de Hopf e teoria de com odulos. O presente trabalho n ao tem um nal, possui uma continuac ao
natural dentro do estudo feito. Al em do que foi apresentado nesse trabalho, foram estudados
assuntos como m odulos de Hopf, teoria de integrais para uma bi algebra, ac ao de algebra de
Hopf H numa algebra (H- m odulo algebra) e a coac ao de uma algebra de Hopf H numa algebra
(H-com odulo algebra).
Com relac ao ao andamento do conte udo, pode-se dizer que foi agrad avel e motivador ex-
plorar um assunto novo t ao cativante e belo em sua ess encia. A maior parte das d uvidas foram
sanadas no decorrer dos dois ultimos semestres, pode-se dizer que o assunto foi estudado em
um bom momento.
Vemos algumas conex oes entre as estruturas trabalhadas, por exemplo, no isomorsmo
entre as categorias M
c
e Rat(
c
M). No entanto, o entrelacamento maior de tais estruturas ca
mais evidente com um estudo mais aprofundado que poder a ser feito posteriormente em uma
dissertac ao de mestrado.