Uma Introducao Ao Estudo Dos Aneis Semissimples Ebook PDF

COLQUIOS DE MATEMTICA DAS REGIES
REGIO SUL
IV Colquio de Matemtica
da Regio Sul
UMA INTRODUO AO
ESTUDO DOS ANIS
SEMISSIMPLES
ALVERI SANT'ANA
Um introduo ao estudo dos

anis semissimples
Uma introduo ao estudo dos anis semissimples

Copyright 2016 Alveri Sant'ana
Direitos reservados pela Sociedade Brasileira de Matemtica
A reproduo no autorizada desta publicao, no todo ou em parte,
constitui violao de direitos autorais. (Lei 9.610/98)
Sociedade Brasileira de Matemtica
Presidente: Hilrio Alencar
Vice- Presidente: Paolo Piccione
Diretores: Joo Xavier
Jos Espinar
Marcela de Souza
Walcy Santos
Assessor Editorial
Tiago Costa Rocha
Comit Cientfico
Alexandre Baraviera (UFRGS, Coordenador Geral)
Artur Lopes (UFRGS)
Carmen Mathias (UFSM)
Daniel Gonalves (UFSC)
Elizabeth Karas (UFPR)
Valeria Cavalcanti (UEM)
Membros da Comisso Organizadora (FURG)
Brbara Denicol do Amaral Rodriguez
Cinthya Maria Schneider Meneghetti (Coordenadora Local)
Cristiana Andrade Poffal
Daiane Silva de Freitas
Fabola Aiub Sperotto
Capa: Pablo Diego Regino
Projeto grfico: Cinthya Maria Schneider Meneghetti
Distribuio e vendas
Sociedade Brasileira de Matemtica
Estrada Dona Castorina, 110 Sala 109 - Jardim Botnico
22460-320 Rio de Janeiro RJ
Telefones: (21) 2529-5073 / 2529-5095
http://www.sbm.org.br / email:[email protected]
ISBN (eBook) 978-85-8337-100-7
Flvia Branco
Joo Prolo Filho
Leandro Sebben Bellicanta
Mrio Rocha Retamoso
Rodrigo Barbosa Soares
COLQUIOS DE MATEMTICA DAS REGIES
REGIO SUL
IV Colquio de Matemtica
da Regio Sul
UMA INTRODUO AO
ESTUDO DOS ANIS
SEMISSIMPLES
ALVERI SANT'ANA
1 EDIO
2016
RIO GRANDE
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
Marlia, pelo carinho, apoio e cumplicidade.
Ao Filipe, por estar sempre tentando me mostrar a

(semi) simplicidade da vida.
Sumrio
1
Pr-requisitos
1.1 Anis . . . . . . . . . . . . . . .
1.2 Mdulos. . . . . . . . . . . . . .
1.3 Sequncias exatas e somas diretas
1.4 Lema de Zorn e ideais maximais .
.
.
.
.
7
7
17
25
28
Condies de finitude para anis e mdulos

2.1 Mdulos simples . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Sries de composio e condies de cadeia . . . . . . . . . . . .
2.3 Artinianidade e Noetherianidade em anis e mdulos . . . . . . .
33
33
34
39
Semissimplicidade
3.1 Noes Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 O Teorema de Wedderburn-Artin . . . . . . . . . . . . . . . . . .
47
47
52
Uma Aplicao da semissimplicidade

4.1 Aes de grupos em conjuntos . . . . . . . . . . . . . . . . . . .
4.2 Representaes de grupos finitos . . . . . . . . . . . . . . . . . .
4.3 Representaes irredutveis de S3 sobre C . . . . . . . . . . . . .
61
61
62
67
J-semissimplicidade
5.1 O radical de Jacobson . . . . . . . . . . . . . . . . . . . . . . . .
5.2 J-semissimplicidade . . . . . . . . . . . . . . . . . . . . . . . .
71
71
76
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
6
SUMRIO
Prefcio
Estas notas foram escritas para servir de apoio a um minicurso de mesmo ttulo,
oferecido no IV Colquio de Matemtica da Regio Sul, realizado de 02 a 06 de
maio de 2016, na Universidade Federal de Rio Grande, em Rio Grande, RS. Como
anunciado na divulgao do mesmo, o estudo dos anis semissimples tem se mostrado bastante adequado para introduzirmos os estudantes no mundo dos anis no
comutativos. O objetivo deste texto, conforme sua concepo inicial, era o de apresentar uma demonstrao do Teorema de Wedderburn-Artin. Durante o processo de
escrita das notas, se pensou em escrever um texto um pouco mais completo, acrescentando uma aplicao interessante da semissimplicidade na classificao das representaes irredutveis de grupos finitos (Captulo 4) e a J-semissimplicidade
(captulo 5), que uma generalizao natural do contedo estudado nos trs primeiros captulos. Esta ideia se justifica, pois acreditamos que desta forma estas
notas serviriam tambm para nortear um estudo ao nvel de iniciao cientfica, ou
mesmo como um texto para ser aprofundado em uma disciplina eletiva de graduao nos cursos de matemtica, posto que no existem muitos textos escritos em
portugus, tratando do estudo de anis no comutativos, pelo menos do conhecimento do autor. Assim, o presente texto se prope a ser mais uma alternativa nesta
direo.
Para muitos autores, a lgebra moderna, como a conhecemos hoje, tem seu nascimento quando Wedderburn apresentou seu trabalho de classificao das lgebras
semissimples sobre um corpo qualquer. Antes dele, muitos autores trabalhavam
na classificao destas lgebras, mas sobre determinados corpos especficos. Por
exemplo, T. Molien e E. Cartan, antes de Wedderburn, descreveram completamente
as lgebras semissimples finito-dimensionais sobre os corpos dos complexos e dos
reais e deram os primeiros passos na direo de estudar as lgebras no semissimples sobre estes mesmos corpos.
A ideia de semissimplicidade est associada a um certo radical, e j aparece nos
trabalhos de Cartan, quando este classifica as lgebras de Lie finito-dimensionais
sobre os complexos. Cartan chamou de radical de uma tal lgebra, o maior ideal
solvel e este igual a soma dos ideais solveis desta lgebra. Assim, uma lgebra
de Lie semissimples, se seu radical nulo, ou ainda, se no existem ideais solveis no nulos. Wedderburn trabalhou com um radical" definido como sendo o
maior ideal nilpotente, o qual coincide com a soma dos ideais nilpotentes de uma
lgebra finito-dimensional, embora este ideal de Wedderburn no seja de fato um
1
SUMRIO
radical como se conhece hoje. Por exemplo, este radical de Wedderburn"no est
definido para uma grande classe de anis. Atualmente se estuda a semissimplicidade associada a diversos radicais, ou seja, se um dado radical de um anel,
ento podemos estudar aqueles anis que so -semissimples, isto , aqueles anis
para os quais o radical nulo. No caso da semissimplicidade estudada por Wedderburn, o radical apropriado o chamado radical de Jacobson, introduzido por N.
Jacobson nos anos 40, dando origem aos anis J-semissimples, na linguagem de
hoje.
Em 1907 J. H. M. Wedderburn apresentou seu resultado fundamental no estudo das lgebras sobre corpos quaisquer, o qual d uma classificao das lgebras
finito-dimensionais, mostrando que estas so um produto direto de lgebras de matrizes sobre anis de diviso. Desta forma, o estudo destas lgebras fica restrito ao
estudo dos anis de matrizes sobre anis de diviso, e estes so relativamente mais
elementares e mais fceis de serem entendidos. Da a importncia do resultado de
Wedderburn.
Em torno dos anos 20, E. Noether e E. Artin introduziram as condies de cadeia ascendente e descendente, respectivamente. Um mdulo que satisfaz ambas as
condies de cadeia um mdulo que possui comprimento finito. O comprimento
de um mdulo , de certa forma, o anlogo a dimenso de um espao vetorial.
Usando estas ideias, em 1927 Artin estendeu o teorema de Wedderburn para anis
satisfazendo ambas as condies de cadeia. Este resultado conhecido hoje como
o Teorema de Wedderburn-Artin, e o tema central do captulo trs destas notas,
onde apresentamos uma demonstrao usando uma linguagem mais moderna que
aquela usada nos trabalhos originais, independente do conceito de radical, razo
pela qual no vamos apresentar uma definio formal de radical de um anel. Curiosamente, Artin parece no ter percebido que para anis com unidade, a condio
de cadeia descendente implica a condio de cadeia ascendente, fato este que s
foi tornado pblico por C. Hopkins e J. Levitzki, em 1939, em trabalhos independentes. Vale lembrar que esta mesma implicao no vale para mdulos em geral.
Mais tarde, N. Jacobson introduziu a noo de radical de um anel, hoje conhecido como o radical de Jacobson, o que permitiu estender a teoria de Wedderburn
para anis quaisquer. Por exemplo, Jacobson mostrou que um anel semissimples
se, e somente se, este anel satisfaz a condio de cadeia descendente e seu radical
nulo. Denotando por J(R) o radical de Jacobson de um anel R, o resultado de Jacobson nos permite estudar anis artinianos que no so semissimples, estudando
o anel fator R/J(R) e depois levantando" sua estrutura para o anel R. Alis,
grosso modo, esta a ideia de um radical (R) de um anel R. Ele captura todos
os elementos indesejveis para o estudo de uma certa propriedade e o anel fator
R/(R) possui este radical nulo, isto , (R/(R)) = 0. Com isto, o anel fator
R/(R) no contm nenhum destes elementos indesejveis. Depois, levantamos
(se possvel) esta propriedade ao anel R inicial.
Este histrico simplificado d uma ideia da evoluo do estudo dos anis, via
semissimplicidade, e serviu de fio condutor para a escrita destas notas. Para esta
tarefa, vrios livros clssicos da literatura foram consultados, e em certas partes,
SUMRIO
inegvel suas respectivas influncias.

No captulo 1, decidimos incluir uma srie de resultados bsicos da teoria de
anis e mdulos, principalmente para auxiliar aqueles leitores menos familiarizados com estes tpicos. O captulo 2 foi dedicado ao estudo das condies de cadeia
para anis e mdulos. Nele se procura mostrar que o comprimento de um mdulo
um anlogo da dimenso de um espao vetorial e, portanto, se torna um substituto
natural para a finito-dimensionalidade. No captulo 3 apresentamos uma demonstrao completa do Teorema de Wedderburn-Artin, primeiro objetivo destas notas.
Feito isto, decidimos apresentar uma aplicao interessante da semissimplicidade,
e fazemos isto no captulo 4, onde discutimos, sem muita profundidade, as representaes lineares de um grupo finito. Finalmente, no captulo 5, definimos o
radical de Jacobson e discutimos aspectos bsicos da J-semissimplicidade de um
anel, culminando no Teorema de Hopkins-Levitzki.
Alveri A. SantAna
Maro de 2016
4
SUMRIO
Agradecimentos
Agradeo s comisses cientfica e organizadora do IV Colquio de Matemtica da Regio Sul, da Sociedade Brasileira de Matemtica, por permitirem a realizao do minicurso "Uma introduo ao estudo dos anis semissimples", dando
a mim a oportunidade de discutir com a platia, os temas abordados neste texto.
sempre bom lembrar que as grades curriculares dos cursos de graduao em
matemtica tem reservado pequenos espaos para o tratamento de anis no comutativos e, portanto, oportunidades como esta ganham importncia, na medida que
se tornam espaos adequados para mostrarmos aos ouvintes um pouco do sabor da
lgebra no comutativa.
Agradeo tambm minha esposa Marlia e ao meu aluno John Freddy Lozada,
por encontrarem vrios erros de digitao (e alguns mais graves) cometidos no
processo de escrita destas notas. Devo um agradecimento especial a Leonardo
Duarte Silva, por sua leitura cuidadosa e pelas respectivas sugestes apresentadas.
Por fim, antecipadamente agradeo aos demais leitores que me apontarem qualquer tipo de erro, omisso ou impreciso que ainda persistirem.
6
SUMRIO
Captulo 1
Pr-requisitos
Desde o comeo, a ideia sempre foi a de apresentar um texto o mais auto suficiente possvel, decidimos incluir um captulo prvio contendo os principais tpicos
que sero necessrios para o bom aproveitamento do mesmo. Este captulo pode
ser dispensvel para aqueles leitores com uma certa familiaridade com os conceitos bsicos da teoria de anis e mdulos, mas, porm, ele ser usado para fixarmos
algumas notaes.
1.1
Anis
Definio 1.1.1. Dizemos que um conjunto R, munido de duas operaes binrias,

chamadas soma (+) e multiplicao (), um anel, se valem as seguintes propriedades:
(i) (R, +) um grupo abeliano, isto , + associativa, possui elemento neutro,
possui elemento simtrico e comutativa,
(ii) associativa,
(iii) + e so compatveis, isto , para todos a, b, c R vale que
a (b + c) = a b + a c
(a + b) c = a c + b c,
Lembramos que uma operao ? definida em um conjunto A nada mais do

que uma funo ? : A A A. Alm disso, dizemos que:
? associativa, se a ? (b ? c) = (a ? b) ? c, a, b, c A;
? possui elemento neutro, se existir um elemento e A tal que e ? a = a =
a ? e, a A;
? possui elemento simtrico, se a A, a0 A tal que a ? a0 = e = a0 ? a,
onde e um elemento neutro de ?.
7
CAPTULO 1. PR-REQUISITOS
? comutativa, se a ? b = b ? a, a, b A.
possvel mostrar que elementos neutros e simtricos, quando existem, so

unicamente determinados (faremos isto mais adiante para anis). Assim, estes elementos podem ser denotados por algum smbolo especial. No caso de anis, denotaremos o elemento neutro da soma sempre por 0, e o chamaremos de elemento
zero do anel. Tambm, denotaremos por a o simtrico aditivo do elemento a.
Notaremos um anel por (R, +, ), mas quando no houver possibilidade de confuso, escreveremos apenas R em lugar de (R, +, ), sem especificar as operaes
consideradas. Tambm, vamos escrever ab em lugar de a b, quando estivermos
nos referindo ao elemento dado pela multiplicao de a por b.
Exemplo 1.1.2. Os conjuntos Z (dos nmeros inteiros), Q (dos nmeros racionais),
R (dos nmeros reais) e C (dos nmeros complexos), com as operaes usuais de
soma e multiplicao, so exemplos de anis.
Exemplo 1.1.3. Se R um anel, ento o conjunto Mn (R), das matrizes n n
com entradas em R, com as operaes usuais de soma e multiplicao de matrizes,
um anel.
A partir destes exemplos podemos construir novos, atravs das seguintes tcnicas: Se R1 , R2 , ..., Rn so anis, ento o produto cartesiano R = R1 R2
Rn um anel, onde as operaes so definidas componente a componente.
Se (R, +, ) um anel, ento pode-se mostrar que Rop = (R, +, ) tambm um
anel, onde definida por: a b = b a, a, b R. Rop chamado de anel oposto
de R.
Seja (R, +, ) um anel. Se a multiplicao possui elemento neutro, denotado
por 1R (ou simplesmente por 1), ento dizemos que R um anel com unidade.
Nossos exemplos acima so todos exemplos de anis com unidade. Se considerarmos R = nZ := {na : a Z}, o conjunto de todos os mltiplos de um certo
inteiro n fixo, com as operaes usuais de soma e multiplicao dos inteiros, ento
temos um exemplo de um anel sem unidade, quando tomamos n
/ {1, 1}.
O exemplo acima foi obtido fazendo a restrio das operaes do anel Z ao
subconjunto nZ. Isto sugere uma nova definio.
Definio 1.1.4. Sejam (R, +, ) um anel e 6= S R. Ento dizemos que S
um subanel de R, se as restries das operaes de R em S esto bem definidas e
(S, +|S , |S ) um anel.
Se consideramos as imerses cannicas Q R C, ento podemos ver Q
como um subanel de R e de C, assim como R se torna um subanel de C. Se S
um subanel de R, ento fcil verificar que Mn (S) um subanel de Mn (R)
Os prximos exerccios nos fornecem propriedades bsicas das operaes de
um anel, que sero usadas livremente no texto.
1.1. ANIS
Exerccio 1.1.5. Seja (A, ?) um cojunto A munido de uma operao ?. Mostre que
se ? associativa, possui neutro e possui simtrico, ento as equaes de primeiro
grau
a ? X = b, e X ? a = b
possuem soluo nica, para quaisquer escolhas de a e b em A.
Exerccio 1.1.6. Seja (R, +, ) um anel. Deduza do exerccio acima que o elemento neutro da soma unicamente determinado. Alm disso, se R um anel com
unidade, ento a unidade de R unicamente determinada tambm.
Exerccio 1.1.7. Sejam R um anel e a, b, c R. Mostre que:
(i) 0 a = a 0 = 0,
(ii) (ab) = (a)b = a(b),
(iii) (a)(b) = ab.
Se R um anel com unidade, ento mostre que:
(iv) (1)a = a(1) = a,
(v) (1)(1) = 1,
(vi) (1)(a) = a.
Tambm um exerccio de fcil verificao o seguinte resultado, o qual nos d
uma caracterizaao dos subconjuntos de um anel que so seus subanis.
Proposio 1.1.8. Sejam R um anel e S um subconjunto de R. Ento S um
subanel de R se, e somente se, as seguintes condies se verificam:
(i) 0 S;
(ii) x, y S x y S;
(iii) x, y S xy S.
Observamos ainda que se R um anel com unidade e S um subanel de R,
ento S no possui necessariamente a mesma unidade de R. Alis, a este respeito,
tudo pode acontecer, como os exemplos abaixo mostram:
Exemplo 1.1.9. Sejam R um anel e S um subanel de R. Os seguintes casos podem
ocorrer:
R tem unidade e S no tem: R = Z e S = 2Z.
R tem ("
unidade 1R# e S possui
) uma unidade 1S , mas 1R 6= 1S : R = M2 (Z)
a 0
eS =
:aZ .
0 0
10
R no tem unidade e S tem:
("
R=
a b
0 0
: a, b Z
("
eS =
a 0
0 0
:aZ
.
R e S no possuem unidade: R = 2Z e S = 4Z.
R e S possuem a mesma unidade: R = Q e S = Z.
O prximo exerccio apresenta um subanel importante, chamado centro do
anel, e ser usado no captulo 4.
Exerccio 1.1.10. Seja R um anel. Mostre que o subconjuto Z(R) := {a R :
ax = xa, x R} um subanel de R, chamado centro de R. Se n um inteiro
positivo, ento mostre que o centro do anel de matrizes n n sobre um corpo k
o conjunto das matrizes escalares (matrizes da forma aIn , onde a k e In denota
a matriz identidade de ordem n), isto , mostre que
Z(Mn (k)) = {aIn : a k}
Portanto, dimk Z(Mn (k)) = 1 e, consequentemente, k ' Z(Mn (k)).
Dado um anel R, dizemos que R um anel comutativo se a multiplicao de
R uma operao comutativa, isto , se xy = yx, para todos elementos x, y R.
Os anis Z, nZ, Q, R e C so exemplos de anis comutativos. Os anis de matrizes
em geral so no comutativos. fcil verificar que R um anel comutativo se, e
somente se, R = Rop .
Um elemento a em um anel R chamado de divisor de zero se existir 0 6= b
R tal que ab = 0 = ba. J um elemento u em um anel com unidade R dito um
elemento invertvel se existir v R tal que uv = 1 = vu.
Um anel comutativo com unidade e sem divisores de zero, alm do prprio
elemento 0, dito um domnio de integridade (ou simplesmente um domnio). Um
anel com unidade em que todo elemento no nulo invertvel chamado de um
anel de diviso. Por fim, um anel de diviso comutativo chamado um corpo.
fcil ver que Q, R e C so exemplos de corpos, que Z um domnio (que
no um corpo). Tambm fcil obter exemplos de divisores de zero em anis de
matrizes.
Vamos agora apresentar um exemplo de um anel de diviso que no um corpo.
Lembramos que o anel dos quatrnios H sobre os reais est definido como sendo o
espao vetorial 4-dimensional sobre R gerado pelos elementos 1, i, j, k H, com
a multiplicao dada pelas seguintes relaes: i2 = j 2 = k 2 = 1, ij = k, jk =
i, ki = j, ji = k, kj = i e ik = j.
Quando se estuda uma certa estrutura algbrica, precisamos considerar as funes entre elas, que tem a propriedade de preservar a dada estrutura. Como as
estruturas algbricas esto definidas em funo de certas operaes, precisamos
1.1. ANIS
11
ento considerar as funes que preservam estas operaes. Estas funes levam
o nome de homomorfismos. Vamos apresentar uma definio mais precisa, para o
caso de anis.
Definio 1.1.11. Sejam R = (R, +R , R ) e S = (S, +S , S ) dois anis. Uma
funo f : R S dita um homomorfismo de anis, se:
f (a +R b) = f (a) +S f (b), a, b R,
f (a R b) = f (a) S f (b), a, b R.
Antes de apresentarmos exemplos de homomorfismos de anis, vejamos algumas propriedades que decorrem diretamente da definio.
Proposio 1.1.12. Sejam R e S anis e f : R S um homomorfismo de anis.
Ento valem as seguintes propriedades:
(i) f (0R ) = 0S ,
(ii) f (a) = f (a), a R,
(iii) f (R) um subanel de S.
Demonstrao. (i) Basta observar que f (0R ) = f (0R + 0R ) = f (0R ) + f (0R ),
de onde segue que f (0R ) = 0S , pois f (0R ) e 0S so ambas solues da equao
f (0R ) + X = f (0R ) em S.
(ii) Temos que mostrar que f (a) + f (a) = 0S . Mas isto segue diretamente
(i)
do item anterior, pois f (a) + f (a) = f (a + a) = f (0R ) = 0S . Logo, f (a)

o simtrico de f (a) em S.
(iii) Por (i), temos que 0S Im f . Dados x, y Im f , segue que existem
a, b R tais que f (a) = x e f (b) = y. Assim, x y = f (a) f (b) = f (a b) e
xy = f (a)f (b) = f (ab) e, consequentemente, x y, xy Im f . Segue ento da
Proposio 1.1.8 que Im f um subanel de S.
Seja f : R S um homomorfismo de anis. Dizemos que f um monomorfismo se f for injetor. Neste caso, S dito uma extenso de R. Dizemos que f
um epimorfismo se f for sobrejetor. No caso em que f bijetor, ento dizemos que
f um isomorfismo. Neste ltimo caso, R e S so cpias um do outro, como anis,
e dizemos que eles so anis isomorfos, notando por R ' S. Cabe observar que
se f : R S um monomorfismo de anis, ento f um isomorfismo sobre sua
imagem e, neste caso, S contm um subanel que uma cpia de R. Identificando
estes anis, podemos ento dizer que R um subanel de S. Isto o que se faz,
por exemplo, quando se diz que Z um subanel de Q, pois neste caso, estamos
considerando o homomorfismo f : Z Q definido por f (a) = a1 Q, para todo
a Z.
12
Exemplo 1.1.13. Sejam R e S dois anis quaisquer. A funo f : R S definida por f (a) = 0, para todo elemento a R, um homomofismo de anis,
chamado homomorfismo nulo. A funo idR : R R, dada por idR (a) = a,
um homomorfismo de anis, chamado homomorfismo identidade.
O prximo exemplo mostra que pode no existirem muitos homomorfismos
entre dois anis.
Exemplo 1.1.14. Se f : Z Z um homomorfismo de anis, ento f o homomorfismo nulo ou f o homomorfismo identidade.
De fato, pois se n Z \ {0}, ento n = 1 + 1 + + 1 (n vezes, se n > 0)
ou n = 1 + (1) + + (1) (n vezes, se n < 0). Suponhamos, sem
perda de generalidade, que n > 0. Ento, f (n) = f (1) + f (1) + + f (1) (n
vezes). Portanto, para se definir um homomorfismo cujo domnio Z, basta definir
f (1). Claramente, se f (1) = 0 ento f o homomorfiso nulo. Por outro lado,
observamos que f (1) = f (1 1) = f (1) f (1), ou seja, f (1)(1 f (1)) = 0, de
onde segue que f (1) = 0 ou f (1) = 1. Consequentemente, devemos ter que f
o homomorfismo nulo ou f o homomorfismo identidade. Este resultado pode
ser generalizado para domnios de integridade quaisquer, como mostra o prximo
exerccio.
Exerccio 1.1.15. Sejam D e D0 dois domnios de integridade. Mostre que se
f : D D0 um homomorfismo de anis, ento devemos ter f (1D ) = 0 ou
f (1D ) = 1D0 .
"
x 0
Exerccio 1.1.16. Mostre que f : R M2 (R), dada por f (x) =
,
0 0
x R, um homomorfismo de anis e que f (1) 6= 0 e f (1) 6= 1M2 (R) . Conclua
da que a hiptese de D0 ser um domnio de integridade essencial no exerccio
anterior.
Exerccio 1.1.17. Sejam R e S dois anis. Se R tem unidade e f : R S no
o homomorfismo nulo, ento mostre que f (1R ) a unidade do anel Im f .
Definio 1.1.18. Seja f : R S um homomorfismo de anis. Chamamos de
ncleo de f ao conjunto N uc f = {a R : f (a) = 0}.
O ncleo de um homomorfismo tem propriedades bastante interessantes. Comeamos por observar que se f : R S um homomorfismo de anis e f (a) =
f (b), para certos elementos a, b R, ento devemos ter f (a b) = f (a) f (b) =
0 em S, ou seja, a b N uc f . Isto nos diz que se dois elementos de R tm a
mesma imagem por um homomorfismo, ento a diferena deles deve estar no seu
ncleo. Assim, homomorfismos com ncleo nulo devem ser injetores. A recproca
deste fato claramente verdadeira, de modo que temos o seguinte resultado.
Proposio 1.1.19. Um homomorfismo de anis f : R S injetor se, e somente
se, N uc f = {0}.
1.1. ANIS
13
Assim, o ncleo de um homomorfismo nos d uma medida de quo longe de ser

injetor este homomorfismo est. Mais ainda, o ncleo de um homomorfismo um
subanel. De fato, pois se f : R S um homomorfismo de anis, ento f (0R ) =
0S , ou seja, 0R N uc f . Tomando-se x, y N uc f , temos claramente que
f (x y) = 0 e f (xy) = 0, de onde segue que x y, xy N uc f . Segue ento da
Proposio 1.1.8 que N uc f um subanel de R. Este subanel tem uma propriedade
especial, a saber, a absoro da multiplicao tanto pela esquerda como pela direita.
Mais precisamente, se f : R S um homomorfismo de anis, x N uc f e
a R, ento ax, xa N uc f . De fato, pois f (ax) = f (a)f (x) = f (a)0 = 0.
Analogamente, f (xa) = 0. Isto induz a seguinte definio.
Definio 1.1.20. Dado um anel R, dizemos que um subanel I de R um:
(i) ideal esquerda de R, se xa I, sempre que x R e a I,
(ii) ideal direita de R, se ax I, sempre que x R e a I,
(iii) ideal de R, se I um ideal esquerda e direita de R.
Vamos usar as seguintes notaes para representar estes tipos de ideais: escreveremos I / R, para dizer que I um ideal de R; notaremos por I /r R os ideais
direita e por I /l R os ideais esquerda de R.
Como vimos acima, ncleos de homomorfismos so exemplos de ideais, mas
nem todo subanel um ideal, pois fcil ver que Z um subanel de Q que no
um ideal de Q. Tambm fcil ver que se I um ideal esquerda de R, ento I
um ideal direita de Rop . Assim, os trs conceitos acima coincidem num anel
comutativo. Veremos exemplos destas estruturas em anis no comutativos, onde
elas diferem. Antes porm, vamos classificar os ideais de Z usando conhecimentos
da aritmtica dos nmeros inteiros.
J sabemos que para cada n Z, o conjunto I = nZ = {na : a Z}
um subanel de Z. Vamos ver que estes conjuntos so na verdade, ideais de Z. De
fato, pois se x Z, ento x(na) = (na)x = n(xa) nZ. Reciprocamente, se
I um ideal de Z e a I o menor inteiro positivo em I, ento I = aZ. Isto
decorre da diviso euclidiana, j que se x I, ento existem elementos unicamente
determinados q, r Z tais que x = aq + r, com 0 r < a. Mas ento, devemos
ter r = x aq I, de onde segue que r = 0, pela minimalidade de a em I. Logo,
x = aq aZ, o que conclui nosso raciocnio.
Os prximos exemplos mostram a existncia de ideais unilaterais em anis de
matrizes. Estes exemplos sero importantes no decorrer do texto. Os clculos sero
deixados ao leitor interessado.
Exemplo 1.1.21. Seja R um anel e consideremos S = Mn (R) o anel de matrizes
n n com entradas em R. Ento, fixando-se k {1, 2, ..., n}, temos que:
Ik := {(aij ) S : aij = 0, se j 6= k} um ideal esquerda de S, que no
um ideal direita de S.
14
Jk := {(aij ) S : aij = 0, se i 6= k} um ideal direita de S, que no
um ideal esquerda de S.
Alm destes, existem outros ideais, tanto esquerda quanto direita, em um

anel de matrizes, mas no pretendemos classific-los neste texto. Entretanto, uma
tarefa bem mais simples a classificao dos ideais (bilaterais) dos anis de matrizes. Passaremos a fazer isto agora, pois esta classificao ser importante para
nossos propsitos. Comearemos por apresentar certos clculos matriciais que sero importantes para a nossa tarefa.
Seja R um anel e consideremos S = Mn (R) o anel de matrizes n n com
entradas em R. Para k, l {1, 2, ..., n} fixos, consideremos a matriz elementar Ekl = (eij ) S, onde eij = 1, se i = k e j = l e eij = 0 nas demais
entradas. Consideremos A = (aij )nn S, e calculemos AErs e Epq A, onde
1 r, s, p, q n.

Assim, AErs = (
Pn
k=1 aik ekj )ij nn ,
onde temos:
n
j 6= s
k=1 aik ekj = 0
P
Pn
j=s
k6=r aik eks + air ers = air
k=1 aik eks =
Logo,
s
AErs =
0 0 0 a1r 0 0
0 0 0 a2r 0 0
.. .. .. ..
..
.. .. ..
. . . .
.
. . .
0 0 0 anr 0 0 nn
Portanto, a ao da multiplicao de Ers direita de A equivale a transportar a

coluna r de A para a posio da coluna s, anulando as demais colunas de A.
Calculemos agora o produto Epq A. Assim, temos
Epq A =
n
X
eik akj
k=1
ij
nn
onde
i 6= p
Pn
= 0;
i=p
Pn
k=1 eik akj

k=1 eik akj
k6=q epk akj
+ epq aqj = aqj
1.1. ANIS
15
ou seja, temos
0
..
.
Epq A = aq1
..
.
0
..
.
..
.
0
..
.
0
..
.
0
0
0
aq2 aqn1 aqn
0
0
0
..
..
..
..
.
.
.
.
0
0
0
Logo, a ao da multiplicao de Epq esquerda de A equivale a transportar a

linha q de A para a posio da linha p, anulando as demais linhas de A.
Portanto, dado A S, obtemos que Epq AErs ser a matriz cujas entradas so
todas nulas, exceto a da posio ps, cuja entrada ser dada pelo elemento aqr de A.
Os clculos acima mostram que se A I / S, ento existe uma matriz B =
(bij ) I tal que o elemento b11 igual a qualquer uma das entradas de A, sendo
as demais entradas de B nulas. Basta para tal, escolhermos apropriadamente as
matrizes elementares Ekl S para multiplicarmos esquerda e direita de A.
Com esta argumentao, pode-se mostrar o seguinte resultado.
Proposio 1.1.22. Sejam R um anel e S = Mn (R) o anel das matrizes n n
com entradas em R. Ento, I um ideal de S se, e somente se, existe um ideal I
de R tal que I = Mn (I).
Ideia da demonstrao. De fato, fcil verificar que se I / R, ento Mn (I), o
anel das matrizes com entradas em I, um ideal de S. Para a recproca, usamos os
clculos acima para mostrar que se I / S, ento o conjunto
I = {a R : existe A = (aij ) I : a11 = a}
um ideal de R tal que I = Mn (I).
Observamos agora que se D um anel de diviso, ento D no possui ideais

(bilaterais, unilaterais) no triviais (i. e, alm de {0} e D). De fato, pois se I / D
no nulo, ento tomando 0 6= x I, teremos que 1 = x1 x I, de onde decorre
que D I D, ou seja, I = D. Assim, segue ento da Proposio 1.1.22
que o anel Mn (D) no possui ideais (bilaterais). Anis que no possuem ideais
no triviais so chamados de anis simples. Formulemos isto precisamente numa
definio.
Definio 1.1.23. Dizemos que um anel R 6= 0 simples se R no possui nenhum
ideal alm dos triviais, i. , alm de {0} e R.
Pela nossa discusso anterior, corpos, anis de diviso e anis de matrizes sobre
anis de diviso so exemplos de anis simples. Mais a frente exibiremos outro
exemplo que difere destes.
16
Uma outra aplicao dos ideais na teoria de anis so os anis quocientes. Veremos abaixo que os ideais so exatamente os subanis para os quais podemos
induzir uma estrutura de anel no conjunto quociente, tal como se faz com a aritmtica modular dos inteiros. Se n Z, ento a relao dada por:
def
x, y Z, x y x y nZ
uma relao de equivalncia e o conjunto quociente
de anel (Z/nZ, +, ), dada por:
Z/nZ={0,
1,2,...,n1}
tem uma estrutura
a + b := a + b, a, b Z,
a b := a b, a, b Z
As igualdades acima podem ser facilmente verificadas, usando propriedades
dos restos da diviso euclidiana em Z, pois se x y nZ, ento existe q Z tal
que x y = nq, ou seja, x = nq + y. Agora s observar que se x e y esto
relacionados pela equao acima, ento ambos deixam o mesmo resto na diviso
euclidiana por n.
Vamos generalizar estas ideias para anis quaisquer. Sejam R um anel e I um
subanel de R. No difcil verificar que a relao definida em R por:
def
x, y R, x I y x y I
uma relao de equivalncia em R. O que no se consegue mostrar que a
aplicao : R/I R/I R/I definida por
x y := x y, x, y R
est bem definida. Para que esta aplicao esteja bem definida, e portanto ser uma
operao em R/I, necessrio exigir que o subanel I seja de fato um ideal de R.
Deixamos este fato para ser mostrado no seguinte exerccio.
Exerccio 1.1.24. Sejam R um anel, I um subanel de R e I a relao de equivalncia dada por: x, y R; x I y x y I. Mostre que
: R/I R/I R/I,
definida por (a, b) := a b, uma funo se, e somente se, I um ideal de R.
Alm disso, precisamos ver que as propriedades de associatividade, comutatividade, existncia de neutro e de simtrico so herdadas por operaes induzidas
em conjuntos quocientes, mas isto tambm de fcil verificao e ser deixada ao
encargo do leitor.
Portanto, se I um ideal de R, ento podemos considerar o anel quociente
R/I. Assim, fica definido um homomorfismo de anis : R R/I, por (a) =
a := a + I = {a + x : x I}. fcil ver que este homomorfismo sobrejetor
1.2. MDULOS.
17
e que seu ncleo exatamente o ideal I. Isto mostra que todo ideal o ncleo
de algum homomorfismo de anis. Assim, podemos caracterizar os ideais como
sendo aqueles subanis que so ncleos de homomorfismos.
Outra observao pertinente que se f : R S um homomorfismo de anis,
ento os elementos de R que tem mesma imagem por f so identificados no anel
quociente R/N uc f . Assim, deveramos poder mergulhar este anel quociente em
S. De fato, isto possvel, como mostra o prximo resultado.
Teorema 1.1.25. (Teorema dos Homomorfismos para anis) Sejam R, S anis
e f : R S um homomorfismo de anis. Ento existe um nico monomorfismo
de anis f : R/N uc f S tal que f = f
Demonstrao. Basta definir f (a) = f (a), para todo a R/N uc f . Vejamos
que assim f est bem definida. De fato, pois se a = b em R/N uc f , ento a
b N uc f , ou seja, f (a b) = 0, de modo que f (a) = f (b), pois f um
homomorfismo de anis. Assim temos f (a) = f (b). Alm disso, por definio,
temos que f (a) = f (a) = f ((a)) = f (a), para todo a R, ou seja, f = f .
Afirmamos que f injetora. De fato, pois se a N uc f , ento f (a) = 0, ou
seja, 0 = f (a) = f (a), de onde segue que a N uc f , o que nos diz que a = 0.
Resta mostrar a unicidade de f . Para tal, suponhamos que g : R/N uc f S tal
que g = f . Mas ento, para cada a R/N uc f , temos g(a) = g (a) =
f (a) = f (a), e segue que g = f .
A seguinte consequncia do resultado acima imediata.
Corolrio 1.1.26. Com as notaes do Teorema anterior, se f um epimorfismo,
ento R/N uc f ' S como anis.
Vamos
a luz dos nossos resultados. Consideremos
# o prximo exemplo
)
(" discutir
a x
R =
: a Z, x Q . fcil verificar que R, com as operaes
0 a
usuais de matrizes,
#um anel comutativo
com unidade (verifique isto!). Afirmamos
("
)
0 x
que J :=
: x Q um ideal de R. Faremos isto mostrando que J
0 0
o ncleo de um homomorfismo de anis (mostre
De fato, basta
" isto diretamente).
#!
a x
definir o homomorfismo : R Z, por
= a. fcil ver que
0 a
um homomorfismo de anis e que J = N uc , de onde segue que J um ideal de
R. Mais ainda, como sobrejetor, segue que R/J ' Z.
1.2
Mdulos.
Nesta seo apresentaremos algumas propriedades bsicas da teoria dos mdulos. Para simplificar nossos resultados, vamos supor no restante do texto que todos
os nossos anis possuem unidade.
18
Grosso modo, um mdulo um espao vetorial"sobre um anel. Isto justifica

estudarmos mdulos, estudando certos anlogos da teoria dos espaos vetoriais.
Num certo sentido, aproximadamente isto o que faremos neste texto.
Mais precismente, temos a seguinte definio.
Definio 1.2.1. Seja R um anel (com unidade). Dizemos que (M, +M ) um
R-mdulo esquerda, se (M, +M ) for um grupo abeliano (i. , +M associativa,
possui neutro, possui simtrico e comutativa) e, alm disso, existir uma aplicao
: R M M (chamada de ao de R em M ), satisfazendo as seguintes
propriedades:
(i) 1R m = m, m M ,
(ii) r (m1 +M m2 ) = r m1 +M r m2 ; r R, m1 , m2 M ,
(iii) r1 (r2 m) = (r1 r2 ) m; r1 , r2 R, m M ,
(iv) (r1 + r2 ) m = (r1 m) +M (r2 m); r1 , r2 R, m M .
Analogamente, podemos definir um R-mdulo direita, bastando considerar
uma ao de R em M pela direita, ou seja, uma aplicao : M R M ,
satisfazendo os mesmos axiomas acima, devidamente adaptados. Notaremos um
R-mdulo esquerda por R M e por MR , um R-mdulo direita.
Na definio acima, escrevemos +M para denotar a soma de M , e no confundir com a soma + de R. O mesmo foi feito em relao as notaes da ao de R
em M , denotada por e a multiplicao de R. Mas no que segue, vamos denotar
tanto a soma de R quanto a soma de M por +, e a multiplicao de R bem como a
ao de R em M , por justaposio dos elementos, ou seja, se r1 , r2 R e m M ,
escreveremos r1 r2 para denotar a multiplicao de r1 por r2 em R e tambm, r1 m
para denotar a ao de r1 em m, pois no haver perigo de confuso.
Antes de apresentar exemplos, gostaramos de observar que se M um Rmdulo esquerda, ento M um Rop -mdulo direita, e vice-versa, como fcil
verificar. Assim, a teoria de mdulos completamente simtrica e todo resultado
que vale para mdulos esquerda tambm vale para mdulos direita, de modo que
podemos fixar os adjetivos esquerda"ou direita" para desenvolvermos nossa
teoria. Alm disso, se R um anel comutativo, ento os conceitos de mdulos
direita e de mdulos esquerda coincidem e, neste caso, escreveremos apenas
R-mdulo.
Exemplo 1.2.2. Seja k um corpo. Ento um k-mdulo nada mais do que um
k-espao vetorial.
Exemplo 1.2.3. Todo grupo abeliano um Z-mdulo.
De fato, se (G, +) um grupo abeliano (aditivo), ento basta considerar a ao
dada por:
0Z g = 0G
1.2. MDULOS.
19
ng = g + g + + g(n vezes ), se n > 0

ng = (g) + (g) + + (g)(n vezes ), se n < 0.
Exemplo 1.2.4. Todo anel um mdulo sobre si mesmo, tanto esquerda quanto
direita, com a ao dada pela prpria multiplicao.
Com relao ao exemplo acima, o R-mdulo esquerda R R chamado de
mdulo regular esquerda, e o R-mdulo direita RR chamado de mdulo
regular direita. Observamos neste momento que se R no for comutativo, ento a
estrutura destes dois mdulos regulares no precisam necessariamente coincidirem,
de modo que muitas vezes o mdulo regular esquerda possui uma propriedade
que o mdulo regular direita no possui e vice-versa. Vamos ver exemplos deste
fato mais adiante.
Exemplo 1.2.5. Consideremos S o anel de matrizes n n com entradas num anel
R. Seja N o conjunto de todas as matrizes n1 com entradas em R. Ento N um
grupo abeliano aditivo com a soma de matrizes. Assim, N torna-se um S-mdulo
esquerda via a multiplicao usual de matrizes. De modo anlogo se mostra que
o conjunto L das matrizes 1 n, com entradas em R, um S-mdulo direita.
Como dito antes, uma vez que estamos estudando mdulos, queremos estudar
as funes que preservam esta estrutura e tambm estudar as subestruturas dos
mdulos. Passaremos a definir estes objetos mais precisamente.
Definio 1.2.6. Sejam R um anel e M um R-mdulo esquerda. Dizemos que
um subconjunto no vazio N de M um submdulo de M (ou um R-submdulo
de M ), se (N, +) um subgrupo de (M, +) e a restrio da ao de R em N induz
uma estrutura de R-mdulo em N .
Vamos escrever N M para dizer que N um submdulo de M . O prximo
resultado caracteriza os subconjuntos de um mdulo que so submdulos deste.
Proposio 1.2.7. Sejam R um anel, M um R-mdulo esquerda e N M .
Ento N um submdulo de M se, e somente se:
(i) 0 N ,
(ii) n1 , n2 N n1 + n2 N ,
(iii) r R, n N rn N .
A demonstrao da proposio acima ser deixada como um exerccio. Vejamos alguns exemplos.
Exemplo 1.2.8. Os submdulos de um mdulo regular esquerda (resp. direita)
so exatamente os ideais esquerda (resp. direita) do anel base.
20
O exemplo acima nos diz que podemos estudar a estrutura dos ideais de um
anel, estudando a estrutura de submdulos de um mdulo. Assim, toda propriedade
vlida para mdulos pode ser traduzida para a linguagem de anis, via ideais
esquerda (ou direita).
Exemplo 1.2.9. Os submdulos de um espao vetorial so exatamente os seus
subespaos vetoriais.
Exemplo 1.2.10. Os subgrupos de um grupo abeliano G so os Z-submdulos de
G.
O prximo exemplo nos d uma receita de como obtermos novos submdulos
a partir de outros j conhecidos.
Exemplo 1.2.11. Sejam M um R-mdulo esquerda e F = {Ni }iI uma famlia
de R-submdulos de M . fcil verificar que N = iI Ni um submduo de M .
Num primeiro curso de lgebra linear vemos que a unio de subespaos no
, em geral, um espao vetorial, pois esta no fechada para a soma. O mesmo
fenmeno ocorre no contexto de mdulos. Assim, tal como no caso dos espaos
vetoriais, nasce o conceito de submdulo gerado por um conjunto, para contornar
este problema.
Definio 1.2.12. Sejam R um anel, M um R-mdulo esquerda e K M .
Chamamos de submdulo de M gerado por K, e denotamos por < K >, ao menor
submdulo de M que contm K.
Do exemplo anterior, se K R M , ento < K >= {N M : N K}.
P
Afirmamos que este ltimo conjunto igual ao conjunto K = { ni=1 ri xi : n
N, ri R e xi K, 1 i n}. De fato, pois como estamos assumindo que R
tem unidade, segue facilmente que K um R-submdulo de M que contm K, de
onde decorre que < K > K. Por outro lado, todo submdulo de M que contm
K deve conter todas as somas finitas de mltiplos escalares de elementos de K, de
onde segue que K < K >.
Um outro exemplo de ideal gerado que ser til mais adiante dado pelo produto de ideais. Sejam I e J ideais (bilaterais) de R, e consideremos o conjunto
S = {ab : a I, b J} I J. Chamamos de ideal produto de I e J ao ideal
IJ :=< S >. Assim, claramente temos IJ I J.
Quando K um subconjunto finito de M , digamos K = {x1 , x2 , ..., xn },
vamos escrever < x1 , x2 , ..., xn >, em lugar de < {x1 , x2 , ..., xn } >, para denotar o submdulo de M gerado pelo conjunto {x1 , x2 , ..., xn }. Os elementos
x1 , x2 , ..., xn sero chamados de geradores do submdulo < K >. Quando K =
{y} um conjunto unitrio, ento diremos que < y > um mdulo cclico.
Mais ainda, dizemos que um mdulo M finitamente gerado, se existir um
conjunto finito {m1 , m2 , ..., mt } M tal que M =< m1 , m2 , ..., mt >. Pela
argumentao acima, se M um R-mdulo esquerda e m1 , m2 , ..., mt M ,
1.2. MDULOS.
21
ento segue que < m1 , m2 , ..., mt >= { ti=1 ri mi : ri R, 1 i t}, e

P
neste caso, o mdulo < m1 , m2 , ..., mt > ser denotado por ti=1 Rmi . Assim,
o R-mdulo esquerda cclico gerado por um elemento x ser denotado por Rx.
Vamos observar neste momento que se R um anel e x R, ento o submdulo
cclico do mdulo regular esquerda (resp. direita) Rx (resp. xR) chamado de
ideal principal esquerda (resp. direita) de R.
Analogamente, se {Ni }iI uma famlia de R-submdulos de um R-mdulo
esquerda M , ento o R-submdulo de M gerado por iI Ni ser denotado por
P
iI Ni e seus elementos sero somas finitas de elementos de Ni , quando i percorre o conjunto de ndices I. Quando a famlia de submdulos for finita, escreveremos N1 + N2 + + Nt em lugar daquela notao de somatrio. Assim, se N
e L so dois mdulos, teremos que N + L = {x + y : x N, y L} tambm
um mdulo. Quando ocorrer que N L = 0, diremos que o mdulo soma N + L
uma soma direta de N e L, e escreveremos N L. Mais geralmente, temos a
seguinte definio.
P
Definio 1.2.13. Seja M um R-mdulo esquerda e {Mi }iI uma famlia de

submdulos de M . Ento dizemos que M a soma direta da famlia {Mi }iI , e
notamos por M = iI Mi , se:
(i) Todo elemento m M pode ser escrito como uma soma m =
com mi Mi e mi = 0, exceto para um nmero finito de ndices.
(ii) Mi (
j6=i Mj )
iI
mi ,
= 0, i I.
Observamos que se k um corpo (ou um anel de diviso) e V um k-espao

vetorial de dimenso finita, ento existe uma base B = {v1 , v2 , ..., vn } de V , onde
n = dimk V , e segue que V = kv1 kv2 kvn . Se R um anel, ento
M = R R R R (n cpias de R) tem uma estrutura natural de R-mdulo
e, neste caso, M = ni=1 Ri , onde Ri = R, 1 i n. Note que , em geral,
iI Mi 6= Mi , pois se I for um conjunto infinito, ento iI Mi o conjunto
de todas as sequncias infinitas com entradas em Mi , i I, enquanto que os
elementos de iI Mi so somas (ou n-uplas) finitas.
Uma outra caracterizao de uma soma direta que pode ser bastante conveniente dada no prximo exerccio.
Exerccio 1.2.14. Sejam R um anel e M um R-mdulo esquerda. Mostre que
M = iI Mi se, e somente se, todo elemento m M pode ser escrito de modo
P
nico como uma soma finita m = iI mi , com mi Mi , onde mi = 0, exceto
para um nmero finito de ndices.
Vamos considerar agora as aplicaes entre mdulos que preservam esta estrutura.
Definio 1.2.15. Sejam R um anel e M , N dois R-mdulos esquerda. Dizemos
que uma funo f : M N um homomorfismo de R-mdulos (ou um Rhomomorfismo), se:
22
(i) f (m1 + m2 ) = f (m1 ) + f (m2 ), m1 , m2 M ,
(ii) f (rm) = rf (m), r R, m M .

Um R-homomorfismo f : M M dito um R-endomorfismo.
Decorre imediatamente da definio acima que se k um anel de diviso, ento os k-homomorfismos so exatamente as transformaes k-lineares. Por conta
disso, muitas vezes nos referimos a um R-homomorfismo como uma aplicao
R-linear.
Exemplo 1.2.16. Sejam R um anel e M , N dois R-mdulos esquerda. Claramente a aplicao nula 0 : M N dada por 0(m) = 0N um R-homomorfismo.
Alm disso, a aplicao identidade idM : M M tambm um R-homomorfismo,
como facil verificar.
Como no caso de anis, se f : M N um homomorfismo de R-mdulos
esquerda, ento dizemos que f um monomorfismo se f injetor; dizemos que
f um epimorfismo se f sobrejetor. Por fim, dizemos que f um isomorfismo
se f for bijetor. Podemos tambm considerar o ncleo de um R-homomorfismo
f : M N como sendo o conjunto
N uc f := {m M : f (m) = 0N }.
Como no caso de anis, podemos enunciar os seguintes resultados. A demonstrao ser deixada como exerccio ao leitor, por ser completamente anloga quela
feita antes.
Proposio 1.2.17. Sejam R um anel, M e N dois R-mdulos esquerda e f :
M N um R-mdulo. Ento:
(i) f (0M ) = 0N ,
(ii) N uc f um R-submdulo de M ,
(iii) f um monomorfismo se, e somente se, N uc f = {0},
(iv) Se M 0 M , ento f (M 0 ) um R-submdulo de N ,
(v) Se N 0 um R-submdulo de N , ento f 1 (N 0 ) um R-submdulo de M .
Sejam R um anel, M um R-mdulo esquerda e N um R-submdulo de M .
fcil verificar que a relao congruncia mdulo N " define em M uma relao
de equivalncia, isto , a relao definida por
x, y M, x N y x y N
reflexiva, simtrica e transitiva. Vamos denotar a classe de equivalncia de um
elemento m M por m. Assim, m = m + N = {m + x : x N } M .
1.2. MDULOS.
23
Podemos ento induzir, de modo natural, uma estrutura de R-mdulo no conjunto

quociente M/N , da seguinte forma:
: R M/N
(r, m)
M/N
7
rm
Exemplo 1.2.18. Sejam R um anel, M um R-mdulo esquerda e N um Rsubmdulo de M . Ento a aplicao : M M/N , dada por (m) = m um
R-homomorfismo cujo ncleo precisamente N .
Neste contexto, podemos tambm enunciar um teorema de homomorfismos.
Note que s foi usada a estrutura aditiva de um anel para mostrarmos o teorema
dos homomorfismos para anis. Isto permite usarmos a mesma argumentao de
antes para mostrar o seguinte resultado.
Teorema 1.2.19. (Teorema dos homomorfismos) Sejam R um anel e f : M N
um homomorfismo de R-mdulos esquerda. Ento existe um R-monomorfismo
f : M/N uc f N , nicamente determinado, tal que f = f .
O seguinte corolrio muitas vezes enunciado como um segundo teorema de
homomorfismos.
Corolrio 1.2.20. Sejam R um anel e M um R-mdulo esquerda. Se L e N so
dois submdulos de M , ento
L
L+N
'
LN
N
Demonstrao. Basta observar que a composio de homomorfismos L , L +
N (L + N )/N sobrejetor e seu ncleo dado exatamente por L N . O
resultado ento segue pelo Teorema dos Homomorfismos.
Um fato importante que ser usado mais a frente, a existncia de uma correspondncia biunvoca entre os submdulos de um mdulo quociente M/N e os
submdulos de M que contm N , dadas por
{K M : K N } o
{X : X M/N } ,
onde (K) = (K) e (X) = 1 (X), sendo : M M/N a projeo

cannica.
A seguinte definio e suas consequncias sero teis mais adiante.
Definio 1.2.21. Sejam R um anel, M um R-mdulo esquerda e K, L dois Rsubmdulos de M . Ento definimos o condutor ( esquerda) de K em L como
sendo o conjunto (L : K) = {r R : rK L}.
24
Observamos que o condutor de K em L um ideal (bilateral) de R. Quando

L = 0, ento chamamos o condutor (0 : K) de anulador de K em R, e denotamos
por AnR (K). Assim, AnR (K) = (0 : K) = {r R : rK = 0}. Podemos
tambm definir os condutores de elementos em submdulos da seguinte forma:
se M um R-mdulo esquerda, N um submdulo de M e m M , ento
(N : m) = {r R : rm N }. Como antes, se N = 0, ento o condutor
(0 : m) ser chamado de anulador de m em R e ser denotado por AnR (m).
Assim, AnR (m) = (0 : m) = {r R : rm = 0}. Note que AnR (m) um ideal
esquerda de R.
M fiel (ou que R age fielmente em M ), se AnR (M ) = 0.
Podemos traduzir a definio acima, dizendo que M um R-mdulo esquerda fiel se, e somente se, para todo elemento r R, rM = 0 implica que
r = 0.
Para vermos exemplos de tais mdulos, basta observar que se R um domnio
de integridade, ento todo ideal de R um R-mdulo fiel. Alm disso, se M um
R-mdulo esquerda, ento as aes de R e R/AnR (M ) coincidem e, portanto,
todo R-mdulo um R/AnR (M )-mdulo fiel. Note que estamos usando a ao
induzida (r + AnR (M ))m = rm + AnR (M ), no caso do anel R/AnR (M ).
Um outro conceito importante na teoria de mdulos, e que ser usado mais
adiante, o conceito de bimdulo. Essencialmente, um bimdulo um grupo abeliano que possui uma estrutura de mdulo esquerda sobre um anel e uma estrutura
de mdulo direita sobre outro anel, de modo que estas estruturas respeitam uma
certa condio natural de compatibilidade. Mais precisamente, temos o seguinte.
Definio 1.2.23. Sejam R e S dois anis e M um grupo abeliano. Dizemos que
M um (R, S)-bimdulo, se:
(i) M um R-mdulo esquerda e um S-mdulo direita.
(ii) Para todos r R, s S e m M , vale que (rm)s = r(ms).
Muitas vezes escrevemos R MS , para indicar que M um (R, S)-bimdulo.
Quando R = S, dizemos apenas que M um R-bimdulo.
Exemplo 1.2.24. Seja R um anel. A associatividade da multiplicao garante que
os ideais bilaterais de R so exemplos naturais de R-bimdulos.
Exemplo 1.2.25. Sejam R um anel e M um R-mdulo esquerda. Consideremos
S = EndR (M ), o anel dos R-endomorfismos de M . Afirmamos que M possui
uma estrutura de (R, S)-bimdulo.
De fato, para ver isto, basta definir uma ao de S direita de M , por
m J f := (m)f
1.3. SEQUNCIAS EXATAS E SOMAS DIRETAS
25
onde m M , f S e o argumento de um operador R-linear est escrito esquerda do operador, para facilitar a regra da composio de funes. Note que
neste caso, se m M e f, g S, ento escrevemos (m J f ) J g = ((m)f )g =
(m)f g, para indicar que aplicamos primeiro f e depois g, em analogia com o que
se faz quando se escreve os argumentos direita das funes: a primeira funo a
ser aplicada aquela mais prxima do argumento.
Assim, fcil verificar que M de fato um S-mdulo direita. Alm disso,
temos
(r m) J f = (rm)f = r((mf )) = r (m J f )
e temos que M um (R, S)-bimdulo.
Como uma aplicao dos bimdulos, podemos construir exemplos de anis
cujo reticulado de ideais direita completamente diferente do reticulado dos
ideais esquerda. Sejam R e S dois anis e consideremos M um (R, S)-bimdulo.
Usando operaes matriciais, podemos definir um anel da forma
not
T =
R M
0 S
:=
que um anel com unidade 1T =
r m
0 s
1R 0
0 1S
: r R, m M, s S
!
. Se tomamos I /l R e J /r S, ento
se verifica que
I M
0 S
/l T e
R M
0 J
/r T.
Alm destes, possvel encontrar outros ideais tanto esquerda como direita
de T , mas isto foge um pouco dos nossos propsitos. Portanto, a famlia de ideais
esquerda de T pode ter propriedades que a famlia de ideais direita de T no as
tm. Vamos construir exemplos concretos neste sentido mais a frente.
1.3
Sequncias exatas e somas diretas
Apesar de as sequncias exatas serem uma ferramenta muito til em vrias

aplicaes, como por exemplo, teoria de categorias ou lgebra homolgica, nesta
breve seo vamos discutir apenas algumas propriedades bsicas das sequncias
exatas de mdulos e R-homomorfismos, que esto relacionadas com somas diretas
de mdulos, e que sero utilizadas mais adiante no texto.
Definio 1.3.1. Seja R um anel. Dados {Mi } e {fi : Mi Mi+1 }, famlias de
R-mdulos esquerda e R-homomorfismos, respectivamente, chamamos de uma
sequncia a todo diagrama do tipo
fi1
fi+1
Mi i Mi+1
tal que Im fi N uc fi+1 , para todo ndice i. Uma sequncia dita exata em
Mi , se ocorrer Im fi = N uc fi+1 . Alm disso, dizemos que uma sequncia
26
exata, se ela exata em todos os seus mdulos. O nmero de R-homomorfismos

no diagrama acima dito o comprimento da sequncia.
Vejamos alguns exemplos claros.
Exemplo 1.3.2. Sejam R um anel e f : N M um homomorfismo de R-mdulos
esquerda. Ento:
f
(i) A sequncia 0 N M exata se, e somente se, f um monomorfismo.

f
(ii) A sequncia N M 0 exata se, e somente se, f um epimorfismo.

f
(iii) A sequncia 0 N M 0 exata se, e somente se, f um isomorfismo.

No presente texto, estamos mais interessados nas chamadas sequncias exatas
curtas, que sero definidas a seguir.
f
Definio 1.3.3. Uma sequncia exata do tipo 0 A B C 0, dita uma

sequncia exata curta.
Exemplo 1.3.4. Sejam R um anel, M um R-mdulo esquerda e N um Rsubmdulo de M . Ento a sequncia
0 N , M M/N 0,
onde a projeo cannica, claramente uma sequncia exata curta.
Num certo sentido, podemos pensar que toda sequncia exata curta desta
forma. Mais precisamente, dada a sequncia exata curta
f
0ABC0
segue que f um monomorfismo e g um epimorfismo. Assim, podemos pensar
que A um submdulo de B e que C um mdulo fator de B, a saber B/A, pois
Im f = N uc g e, consequentemente, temos A ' Im f B e C ' B/N uc g =
B/Im f ' B/A.
Vamos examinar agora a relao entre sequncias exatas curtas e somas diretas.
Comeamos observando que se M = N P como R-mdulo esquerda, ento
podemos definir as aplicaes cannicas N : N M , dada por (n) = n + 0
(incluso cannica) e P : M P , dada por (n + p) = p, para n N e p P
(projeo cannica). Assim, vemos claramente que a sequncia curta abaixo
exata:
0 N M P 0.
O prximo exemplo mostra que a recproca deste fato no vale em geral.
1.3. SEQUNCIAS EXATAS E SOMAS DIRETAS
27
Exemplo 1.3.5. A sequncia de Z-mdulos abaixo exata

0 2Z , Z Z/2Z 0
mas, no entanto, Z 6' 2Z Z/2Z, como Z-mdulo.
Pode-se ento questionar sob quais condies esta recproca verdadeira. O
prximo resultado responde esta questo.
Proposio 1.3.6. Sejam R um anel. Consideremos a sequncia exata curta de
R-mdulos esquerda
f
0 N M P 0.
Ento as seguintes afirmaes so equivalentes:
(i) M ' N P ;
(ii) Existe um R-homomorfismo : M N , tal que f = idN ;
(iii) Existe um R-homomorfismo : P M , tal que g = IdP .
Demonstrao. Vamos mostrar a equivalncia (i) (ii). A equivalncia (i)
(iii) pode ser mostrada com uma argumentao semelhante e ser deixada ao leitor.
(i) (ii) Como f injetora, segue que N ' Im f e assim, M ' N P '
Im f P . Desta forma, dado m M , temos m = m1 + m2 , com m1 Im f e
m2 P . Da injetividade de f segue que existe nico n N tal que f (n) = m1 .
Definimos ento : M N , por (m) = n. fcil ver que est bem definida
e um R-homomorfismo. Mais ainda, para todo n N , temos que f (n) se escreve
unicamente como f (n) + 0 Im f P , de onde segue que
f (n) = (f (n)) = (f (n) + 0) = n = idN (n)
como queramos mostrar.
(ii) (i) Suponhamos que exista : M N tal que f = idN . Afirmamos que neste caso, M = Im f N uc . De fato, pois se m M , tomamos
x = f ((m)) M e consideramos y = m x M . Segue ento que
(y) = (m x) = (m) (f ((m))) = (m) (m) = 0
ou seja, y N uc . Logo, m = x + y Im f + N uc . Alm disso, se
z Im f N uc , segue que existe n N tal que f (n) = z e, consequentemente,
n = f (n) = (z) = 0, de onde decorre que z = 0. Portanto, M = Im f
N uc .
Como f injetiva, temos que N ' Im f . Resta mostrar agora que P '
N uc . De fato, basta observar que
P '
M
Im f N uc
=
' N uc .
N uc g
Im f
28
Uma sequncia exata curta que satisfaz (ii) (equivalentemente, que satisfaz
(iii)) na Proposio acima dita uma sequncia exata curta que cinde. As aplicaes e acima so muitas vezes chamadas de ciso da sequncia. Com esta
nova nomenclatura, segue que M ' N P se, e somente se, a sequncia
f
0N M P 0
cinde. Como uma aplicao do que fizemos acima, temos o seguinte resultado.
Corolrio 1.3.7. Sejam R um anel, M e N dois R-mdulos esquerda. Se g :
M N e h : N M so R-homomorfismos tais que g h = idN , ento
M = N uc g Im h.
Demonstrao. Como g h = idN , segue imediatamente que g um epimorfismo
e h um monomorfismo. Aplicando-se a Proposio 1.3.6 para a sequncia
g
0 N uc g , M N 0
obtemos que M ' N uc g N . O resultado ento segue, pois N ' Im h.
1.4
Lema de Zorn e ideais maximais
O propsito desta seo mostrar que todo anel com unidade possui ideais
(bilaterais ou unilaterais) maximais. Este fato uma decorrncia do chamado Lema
de Zorn, o qual ser apresentado adiante. Vamos comear relembrando a definio
de elemento maximal (resp., elemento minimal.)
Consideremos (X, ) um conjunto munido de uma relao de ordem parcial.
Dizemos que um elemento m X maximal (resp., minimal), se valer a seguinte
propriedade:
x X, m x m = x
(resp., x m m = x)
Por exemplo, se consideramos X = {2, 3, 4, 5, 6, 7, 8, 9, 10} munido com a

ordem divide", isto ,
a, b X, a b a|b
ento os elementos 6, 7, 8, 9 e 10 so elementos maximais em X e os elementos
2, 3, 5 e 7 so elementos minimais em X.
Seja X um conjunto e P(X) o conjunto das partes de X. Ento a relao
A, B P(X), A B A B
claramente uma relao de ordem parcial em P(X). Vamos trabalhar com esta
relao de ordem na famlia de ideais (ideais esquerda, ideais direita) de um
anel. Para mostrar a existncia de ideais maximais, vamos precisar do chamado
Lema de Zorn, o qual enunciamos abaixo.
1.4. LEMA DE ZORN E IDEAIS MAXIMAIS
29
Lema 1.4.1. (Lema de Zorn) Seja (F, ) uma famlia no vazia e parcialmente
ordenada. Se toda cadeia em F possui uma cota superior (respectivamente, cota
inferior) em F, ento F possui elemento maximal (resp., elemento minimal).
Uma cadeia em F uma subfamlia de F que totalmente ordenada. Assim,
{2, 4, 8} uma cadeia em X, onde X o conjunto do exemplo anterior, pois
248
Dados F uma famlia parcialmente ordenada e F 0 F, chamamos de uma cota
superior (resp. cota inferior) para F 0 a todo elemento F tal que x (resp.
x), para todo x F 0 .
Muitas vezes chamamos de sistema indutivo a toda famlia parcialmente ordenada F em que toda cadeia possui cota superior (inferior) em F. Nesta linguagem,
o Lema de Zorn poderia ser escrito da forma: Todo sistema indutivo possui elemento maximal (minimal).
Os exemplos abaixo mostram algumas aplicaes do Lema de Zorn.
Exemplo 1.4.2. Seja R um anel com unidade. Ento R possui ideais (resp. ideais
esquerda, ideais direita) maximais.
Vamos discutir a existncia de ideais maximais em um anel R. A mesma discusso pode ser feita para os casos de ideais esquerda ou direita, escolhendo
adequadamente a famlia F abaixo.
Consideremos ento a famlia
F := {I A : I um ideal de A, I 6= A}
Observamos que {0} F e, consequentemente, F 6= . Seja F 0 uma subfamlia
totalmente ordenada de F. Ento, J = IF 0 I um ideal de A (mostre isto!).
Agora, como 1 6 J, pois 1 6 I, I F 0 , segue que J F. fcil verificar que
J uma cota superior para F 0 . Portanto, como toda cadeia de F possui uma cota
superior em F, segue pelo Lema de Zorn que F possui elemento maximal, ou seja,
o anel R possui um ideal maximal.
Na literatura, muitas vezes encontramos o resultado de que um anel com unidade R possui ideais maximais, como uma consequncia do fato que todo ideal I
de R est contido em algum ideal maximal. Tambm fato que muitas vezes este
o resultado que precisamos usar. Podemos mostrar isto, com uma leve modificao na argumentao acima, considerando a famlia dos ideais distintos de R, que
contm o ideal I. Note que esta famlia no vazia, por conter o prprio ideal I.
Exemplo 1.4.3. Todo espao vetorial possui uma base.
Considere V um espao vetorial sobre um corpo k qualquer (ou sobre um anel
de diviso). Como uma base de V um conjunto linearmente independente maximal em V , podemos usar o Lema de Zorn para mostrar sua existncia, independentemente da dimenso de V ser finita ou infinita. Basta mostrar que a famlia dos
30
subconjuntos linearmente indepedente um sistema indutivo. Os detalhes sero

deixados como exerccio ao leitor.
Questo. Podemos usar o Lema de Zorn para provar que todo anel possui um
ideal minimal?
A resposta a esta questo negativa. Para ver isto, precisamos de uma definio
de ideal minimal. Dualizando a definio de ideal maximal, obtemos
Definio 1.4.4. Dados um anel (com unidade) R e um ideal I de R, dizemos que
I um ideal minimal de R, se I 6= {0} e, se existir ideal J de R tal que J I,
ento temos J = {0} ou J = I.
claro que podemos definir ideal esquerda minimal e ideal direita minimal
de modo anlogo.
Seja R um anel e consideremos a famlia F dos ideais de R no nulos. Assim,
RF eF =
6 . O candidato natural para uma cota inferior para uma subfamlia
totalmente ordenada F 0 de F, seria J = IF 0 I. Mas claro que no podemos
garantir que J seja no nulo, isto , no podemos garantir que J F, e o Lema de
Zorn no pode ser usado.
De fato, existem exemplos de anis que no possuem ideais minimais. Por
exemplo, se tomamos R = Z, ento fcil ver que a cadeia de ideais
nZ n2 Z nt Z
uma cadeia estritamente decrescente e infinita. Como todos os ideais de Z so da
forma nZ, isto mostra que Z no possui nenhum ideal minimal.
Exerccios
1. Use o Lema de Zorn para mostrar que todo espao vetorial sobre um corpo
(ou sobre um anel de diviso) possui uma base.
2. Sejam R um anel e M um R-mdulo esquerda. Mostre que se M finitamente gerado, ento M possui um submdulo maximal.
3. Seja D um anel de diviso. Considere V =
i=1 Dei e E = End(VD ).
Mostre que I = {f E : dimD Im f < } um ideal de E.
4. Sejam I1 , I2 , ..., In ideais bilaterais de um anel R tais que Ii + Ij = R, se
i 6= j (neste caso, dizemos que Ii e Ij so comaximais). Mostre as seguintes
afirmaes:
(i) Ii + j6=i Ij = R, para todo i.
(ii) (Teorema Chins de Restos) Dados x1 , x2 , ..., xn R, existe x R,
tal que x xi (mod Ii ), para todo i.
1.4. LEMA DE ZORN E IDEAIS MAXIMAIS
31
(iii) Use o item anterior para mostrar que existe um isomorfismo de anis
:
R
R
R
,
I1 In
I1
In
dado por (x + (I1 In )) = (x + I1 , . . . , x + In ), para todo

x R.
32
Captulo 2
Condies de finitude para anis

e mdulos
Como j dissemos na introduo, Wedderburn estudou a estrutura de lgebras
finito-dimensionais. Artin, em seu trabalho, precisou encontrar um substituto desta
condio de finitude. Isto pode ser obtido com o conceito de comprimento de um
mdulo e as chamadas condies de cadeias ascendentes e descendentes que discutiremos neste captulo, mostrando que o comprimento de um mdulo um bom
anlogo para a dimenso de um espao vetorial, quando trabalhamos no contexto
de mdulos. Observamos, porm, que no tempo de Artin o conceito de comprimento de um mdulo no era usado, sendo que Artin trabalhou com anis que
satisfazem ambas as condies de cadeia, ascendente e descendente, o que equivalente a assumir comprimento finito do mdulo regular, como ser mostrado mais
adiante.
2.1
Mdulos simples
Para o que segue, precisamos do conceito de simplicidade. A ideia de simplicidade est associada a ausncia de subestruturas prprias com as quais podemos
construir estruturas quocientes. Mais precisamente, temos a seguinte definio.
Definio 2.1.1.
(i) Dizemos que um anel R simples, se R 6= 0 e R no
possui ideais alm do ideal nulo e do prprio R.
(ii) Dizemos que um R-mdulo esquerda M simples, se M 6= 0 e M no
possui nenhum submdulo alm do submdulo nulo e do prprio M .
Observamos que anis de diviso bem como anis de matrizes sobre anis
de diviso so exemplos de anis simples. Um espao vetorial unidimensional
um exemplo de um mdulo simples. Se k um anel de diviso e tomamos
S = Mn (k), ento o conjunto M das matrizes n 1 com entradas em k um
exemplo de um S-mdulo esquerda simples, como fcil verificar.
33
34
CAPTULO 2. CONDIES DE FINITUDE PARA ANIS E MDULOS
Se R um anel e M um R-mdulo esquerda simples, ento tomando-se

0 6= m M , podemos considerar o R-homomorfismo f : R M dado por
f (r) = rm. Como M simples, devemos ter Im f = 0 ou Im f = M . Como
estamos assumindo que R tem unidade ento f no pode ser o homomorfismo
nulo, pois 0 6= m = 1m = f (1). Logo, devemos ter Im f = M e, portanto,
M ' R/AnR (m). Assim, todo R-mdulo simples isomorfo a um mdulo fator
do mdulo regular. Mais ainda, como M simples e M ' R/AnR (m), segue
da correspondncia entre os submdulos de R/AnR (m) e dos R-submdulos do
mdulo regular R R, que AnR (m) um ideal esquerda maximal de R. Portanto,
podemos enunciar o seguinte resultado que nos d uma classificao dos mdulos
simples.
Proposio 2.1.2. Sejam R um anel e M um R-mdulo esquerda. Ento M
simples se, e somente se, existe um ideal esquerda maximal J de R tal que
M ' R/J.
2.2
Sries de composio e condies de cadeia
Sejam R um anel e M um R-mdulo esquerda. Consideremos

C : M = M0 M1 M2 Mr = 0
e
C 0 : M = M00 M10 M20 Mt0 = 0
duas cadeias finitas e estritamente decrescente de submdulos de M . Ento dizemos que:
(i) C 0 um refinamento de C, se todo membro de C aparece em C 0 (notaremos
este fato escrevendo C C 0 );
i
(ii) A cadeia C uma srie de composio de M , se cada mdulo fator MMi+1
(0
i r 1) um mdulo simples, isto , C no pode ser propriamente refinada;
(iii) O mdulo M tem um comprimento r, e denotamos por `(M ) = r, se M

possui uma srie de composio com r incluses estritas. Se M no possuir nenhuma srie de composio, ento dizemos que M tem comprimento
infinito e escrevemos `(M ) = ;
(iv) As cadeias C e C 0 so equivalentes, e denotamos por C ' C 0 , se r = t e, aps
M0
i
uma reordenao nos ndices, se necessrio, temos MMi+1
' M0 i .
i+1
No que segue, vamos mostrar que o comprimento de um mdulo um invariante deste mdulo, ou seja, se M possui uma srie de composio com r incluses,
ento qualquer outra srie de composio tambm ter r incluses, de modo que o
comprimento de um mdulo est bem definido. Vejamos primeiro um exemplo.
2.2. SRIES DE COMPOSIO E CONDIES DE CADEIA
35
Exemplo 2.2.1. Se k um corpo (ou um anel de diviso) e V um k-espao

vetorial de dimenso n com base B = {v1 , v2 , ..., vn }, ento
V = V0 =
n
X
i=1
kvi V1 =
n
X
kvi Vn1 = kvn Vn = 0
i=2
uma srie de composio de V . Assim, um k-espao vetorial n-dimensional

possui comprimento n.
O resultado a seguir vai nos garantir a boa definio do comprimento de um
mdulo.
Teorema 2.2.2. (Jordan-Hlder) Seja M um R-mdulo esquerda que possui
uma srie de composio (i. , M tem comprimento finito). Ento:
(i) Toda cadeia estritamente decrescente de submdulos de M finita e admite
um refinamento que uma srie de composio;
(ii) Duas sries de composio so equivalentes.
Antes de apresentar uma demonstrao do Teorema de Jordan-Hlder, apresentaremos dois resultados gerais que sero teis.
Lema 2.2.3. (Lema de Zassenhaus) Sejam R um anel e M um R-mdulo esquerda. Se N P e N 0 P 0 so submdulos de M , ento:
N + (P P 0 )
P P0
N 0 + (P 0 P )
'
'
N + (P N 0 )
(N P 0 ) + (N 0 P )
N 0 + (P 0 N )
Demonstrao. Vamos mostrar apenas o primeiro isomorfismo e o segundo pode
ser mostrado por argumentos idnticos, tendo em vista a simetria entre o primeiro
e o terceiro quocientes.
Consideremos a seguinte aplicao:
0
P P
: N + (P P 0 )
(N P 0 )+(N 0 P )
n+q
7 q + [(N P 0 ) + (N 0 P )]
onde n N e q P P 0 .
fcil verificar que um R-epimomorfismo. Vamos mostrar agora que
N uc = N + (P N 0 ). Observamos inicialmente que N + (P N 0 ) N uc .
Por outro lado, se n N e q P P 0 , so tais que (n + q) = 0, ento q
(N P 0 )+(N 0 P ), ou seja, q = q1 +q2 , com q1 N P 0 e q2 N 0 P . Assim,
n+q = n+q1 +q2 , com n+q1 N e q2 P P 0 , isto , N +(P N 0 ) N uc .
Isto mostra que um isomorfismo.
Lema 2.2.4. (Lema do refinamento de Schreier) Sejam C e C 0 duas cadeias finitas estritamente decrescentes de R-submdulos de M . Ento existem refinamentos
C1 de C e C10 de C 0 , os quais so equivalentes.
36
Demonstrao. Consideremos as seguintes cadeias finitas estritamente decrescentes de R-submdulos de M :

C : M = M0 M1 M2 M r = 0
e
C 0 : M = M00 M10 M20 Ms0 = 0.
Agora, para cada i {1, 2, ..., r} e j {1, 2, ..., s}, definimos os R-mdulos
0
0
Mi,j := Mi + (Mi1 Mj0 ) Mi e Mj,i
:= Mj0 + (Mj1
Mi ) Mj0
e consideremos as seguintes cadeias decrescentes de R-submdulos de M (agora

possivelmente no mais estritamente decrescentes):
0
C1 := M M1,1 M1,s = M1 M2,1 M2,s = M2 Mr,s
=0
e
0
0
0
0
C10 := M M1,1
M1,r
= M10 M2,1
M2,r
= M20 Ms,r = 0.
Desta forma, temos C C1 e C 0 C10 . Segue ento do Lema de Zassenhaus

que
0 )
0
0
Mi + (Mi1 Mj1
Mj0 + (Mj1
Mi1 )
Mj,i1
Mi,j1
=
'
=
0
0
Mi,j
Mi + (Mi1 Mj0 )
Mj0 + (Mj1
Mi )
Mj,i
de onde segue que

0
0
Mi,j1 = Mi,j se, e somente se, Mj,i1
= Mj,i
.
Portanto, a cadeia estritamente decrescente C1 obtida de C1 , eliminando-se todos os mdulos que so iguais aos seus antecessores, equivalente a cadeia C10
obtida de C10 da mesma forma. Isto completa a demonstrao do Lema.
Estamos agora em condies de demonstrarmos o Teorema de Jordan-Hlder.
Demonstrao do teorema de Jordan-Hlder. Seja M um R-mdulo esquerda que possui uma srie de composio.
(i) Sejam C uma srie de composio de M e C 0 uma cadeia estritamente decrescente de R-submdulos de M . Ento, pelo Lema do refinamento, para toda
subcadeia finita C00 de C 0 , existem refinamentos C10 de C00 e C1 de C (i. , tais que
C00 C10 e C C1 ) de modo que C10 e C1 so equivalentes. Visto que C uma srie
de composio, segue que C1 = C, ou seja, C00 pode ser refinada at uma cadeia
equivalente a C. Portanto, C 0 uma cadeia estritamente decrescente tal que toda
subcadeia finita pode ser refinada at uma cadeia equivalente a C. Logo, C 0 deve ser
finita e admite um refinamento que uma srie de composio, como queramos
mostrar.
(ii) Segue diretamente do Lema do refinamento.

Os resultados acima nos dizem ento que o comprimento de um mdulo est
bem definido, e os prximos vo nos mostrar uma certa analogia entre o comprimento de um mdulo e a dimenso de um espao vetorial.
2.2. SRIES DE COMPOSIO E CONDIES DE CADEIA
37
Proposio 2.2.5. Sejam R um anel, M um R-mdulo esquerda e N um Rsubmdulo de M . Ento, `(M ) < se, e somente se, `(N ), `(M/N ) < .
Neste caso, temos `(M ) = `(N ) + `(M/N ).
Demonstrao. () Se N = 0 ou N = M , no h nada a mostrar. Suponhamos
ento que N um submdulo prprio de M . Consideremos a cadeia 0 N M .
Pelos resultados anteriores, esta cadeia pode ser refinada a uma srie de composio, digamos
0 = N0 Nn = N = M0 Mm = M,
de onde segue que `(N ) = n < . Tomando Pi = Mi /N (1 i m), obtemos
uma cadeia
0 = P0 Pm = M/N
de modo que
Pi
Mi /N
Mi
=
'
Pi1
Mi1 /N
Mi1
os quais so mdulos simples. Portanto, `(M/N ) = m < e, consequentemente,
`(M ) = n + m = `(N ) + `(M/N ).
() Suponhamos `(N ) = n e `(M/N ) = m e consideremos as respectivas
sries de composio
0 = N0 N1 Nn = N
e
0 = P0 P1 Pm = M/N.
Tomando Mi = 1 (Pi ), onde : M M/N, (1 i m) a projeo
cannica, segue que Pi = Mi /N e
Mi
Pi
'
,1im
Mi1
Pi1
os quais so mdulos simples. Portanto,
0 = N0 Nn = N = M0 Mm = M
uma srie de composio para M , de onde segue que `(M ) = `(N )+`(M/N ) <
.
Este resultado tem as seguintes consequncias interessantes.
Corolrio 2.2.6. Sejam R um anel e M um R-mdulo esquerda com comprimento finito. Ento:
(i) Se M1 , M2 so submdulos de M , temos
`(M1 + M2 ) = `(M1 ) + `(M2 ) `(M1 M2 ),
38
(ii) Se : M N um R-homomorfismo, temos

`(N uc()) + `(I m()) = `(M ),
(iii) Se : M M um R-endomorfismo, temos
injetora sobrejetora .
Demonstrao. (i) Basta observar que
o 2.2.5 que
M1 + M 2
`(M1 +M2 ) = `(M2 )+`
M2

M1 +M2
M2
'
M1
M1 M2 ,
para obter da Proposi-
M1
e `(M1 ) = `(M1 M2 )+`
M1 M2

de onde segue o resultado.

(ii) Como Im () ' M/N uc (), segue que `(Im ()) < . Ento temos
`(M ) = `(N uc ()) + `(M/N uc ()) = `(N uc ()) + `(Im ()).
(iii) Segue imediatamente dos anteriores.
Gostaramos de registrar neste momento, que o comprimento de um mdulo
no se comporta exatamente igual a dimenso de um espao vetorial, pois sabemos
que dois k-espaos vetoriais de mesma dimenso so sempre isomorfos, o que nem
sempre acontece com mdulos de comprimento finito, como mostra o prximo
exemplo.
Exemplo 2.2.7. Sejam M um grupo cclico de quatro elementos e K o grupo de
Klein. Ento, `(Z M ) = `(Z K) (encontre uma srie de composio para cada um
deles!), mas M e K no so isomorfos como Z-mdulos.
Nosso prximo resultado d uma caracterizao para os mdulos que possuem
uma srie de composio.
Teorema 2.2.8. Sejam R um anel e M um R-mdulo esquerda. Ento M tem
comprimento finito se, e somente se, toda cadeia estritamente decrescente e toda
cadeia estritamente crescente de R-submdulos de M finita. Em particular, todo
R-mdulo finito possui comprimento finito.
Demonstrao. () Suponhamos `(M ) = r. Se C := M = M0 M1
Mk uma cadeia estritamente decrescente de submdulos de M ,
segue do Teorema de Jordan-Hlder que C finita. Suponhamos agora que N0
N1 Nk uma cadeia estritamente crescente de submdulos de
M . Da, para cada t N, podemos considerar a cadeia finita C 0 := M Nt
Nt1 N0 0, e segue do Teorema de Jordan-Hlder que esta cadeia
pode ser refinada at uma srie de composio que tem comprimento r. Assim,
t r = `(M ), e como t foi tomado arbitrrio, devemos ter C 0 uma cadeia finita.
2.3. ARTINIANIDADE E NOETHERIANIDADE EM ANIS E MDULOS 39

() Se M = 0 no h nada a mostrar. Suponhamos ento M 6= 0. Escolhemos
entre todos os submdulos de M , um submdulo maximal M1 , o qual existe pela
hiptese de que todas as cadeias estritamente crescente so finitas. Se M1 = 0,
ento M M1 = 0 uma srie de composio de M . Se M1 6= 0, escolhemos
um submdulo maximal de M1 , digamos M2 . Se M2 = 0, ento M = M0
M1 M2 = 0 uma srie de composio de M . Se M2 6= 0, ento continuamos
este processo, obtendo a cadeia M = M0 M1 Mk = 0, pois toda
cadeia estritamente decrescente finita. Como, para todo 0 j k 1, o mdulo
Mj /Mj+1 um mdulo simples, pela escolha de Mj+1 , segue que a cadeia acima
uma srie de composio de M .
2.3
Artinianidade e Noetherianidade em anis e mdulos
Comeamos esta seo observando que a argumentao usada na demonstrao

do Teorema 2.2.8 foi a seguinte: Seja X um conjunto parcialmente ordenado por
4. Ento as seguintes afirmaes so equivalentes:
(i) Toda cadeia estritamente crescente (resp. decrescente) em X finita;
(ii) Toda famlia no vazia de subconjuntos de X possui um elemento maximal
(resp. minimal).
Esta equivalncia uma consequncia direta do Lema de Zorn. Estas condies sobre cadeias crescentes e decrescentes em um mdulo induzem as seguintes
definies.
Definio 2.3.1. Sejam R um anel e M um R-mdulo esquerda. Ento, dizemos
que:
(i) M um mdulo artiniano, se toda cadeia estritamente decrescente de submdulos de M finita;
(ii) M um mdulo noetheriano, se toda cadeia estritamente crescente de submdulos de M finita.
Tambm dizemos que um mdulo M satisfaz a condio de cadeia descendente (do ingls, DCC), se toda cadeia decrescente de submdulos de M estacionria, isto , se N1 N2 Nk uma cadeia descendente, ento
existe n N tal que Nn+t = Nn , para todo t 1. Note que cadeias estritamente
decrescentes estacionrias so finitas, de modo que M satisfaz DCC se, e somente
se, M artiniano.
Analogamente, dizemos que um mdulo M satisfaz a condio de cadeia ascendente (do ingls, ACC), se toda cadeia crescente de submdulos de M estacionria, isto , se N1 N2 Nk uma cadeia ascendente, ento
existe m N tal que Nm+t = Nm , para todo t 1. Note que cadeias estritamente
40
crescentes estacionrias so finitas, de modo que M satisfaz ACC se, e somente se,
M noetheriano.
Sob a luz destas novas definies, o seguinte resultado claro.
Corolrio 2.3.2. Seja M um R-mdulo esquerda. Ento `(M ) < se, e
somente se, M artiniano e noetheriano.
Exemplo 2.3.3.
(i) Todo espao vetorial de dimenso finita sobre um corpo
um mdulo artiniano e noetheriano, visto que possuem comprimento finito,
como j observamos anteriormente.
(ii) Z, como um Z-mdulo, noetheriano mas no artiniano.
Observe que os Z-submdulos de Z so os seus ideais, os quais tem a forma
nZ, como vimos antes. Assim, a cadeia estritamente decrescente 2Z 4Z
2n Z no finita. Por outro lado, nZ mZ se, e somente se, m
divide n. Assim, como o conjunto de divisores de um inteiro finito, segue que
toda cadeia ascendente de submdulos de Z estacionria.
Com o objetivo de poder apresentar novos exemplos, vamos discutir um pouco
mais estas condies de cadeia. Comeamos com o seguinte resultado.
Proposio 2.3.4. Um R-mdulo esquerda M noetheriano se, e somente se,
todo submdulo de M finitamente gerado. Em particular, todo mdulo noetheriano finitamente gerado.
Demonstrao. () Suponhamos M noetheriano e seja N um submdulo de M .
Consideremos a famlia F de todos os submdulos finitamente gerados de N . Assim, F =
6 , pois 0 F. Como M noetheriano, segue que F tem elemento
maximal, digamos L. Se L 6= N , ento existe um elemento x N \ L, e podemos ento considerar o R-submdulo L + Rx, o qual finitamente gerado, de
onde segue que L + Rx F, o que contradiz a maximalidade de L, pois claramente L L + Rx. Portanto, L = N e segue que N finitamente gerado, como
queramos mostrar.
() Seja N1 N2 Nk uma cadeia crescente de submdulos
de M . Consideremos N = i1 Ni . Como N um submdulo de M , segue que
N finitamente gerado por hiptese, digamos N = Rx1 + Rx2 + + Rxt . Mas
ento, existe um ndice j N tal que x1 , x2 , ..., xt Nj e, consequentemente,
Nj = Nj+1 = = Nj+k = e, portanto, M noetheriano.
Segue ento do resultado acima que o mdulo regular de todo domnio de ideais
principais noetheriano.
Exemplo 2.3.5. Seja p um nmero primo (positivo) e consideremos Z(p) := { pam :
a Z e m 0}. Ento Z(p) um grupo abeliano aditivo e, portanto, um Zmdulo. Consideremos agora o Z-mdulo M = Z(p) /Z. Afirmamos que M
artiniano e no noetheriano.

Para ver que M no noetheriano, primeiro consideramos a cadeia estritamente crescente
1
1
Z
Z
Z
p
p2
que no estacionria, como fcil ver. Ento, a cadeia induzida no mdulo
quociente M = Z(p) /Z tambm no ser estacionria.
Agora vamos mostrar que M artiniano. Para tanto, vamos mostrar que todo
submdulo prprio de M finito. Comeamos por observar que se N um submdulo prprio de M e pam + Z N , com mdc(a, p) = 1, ento pbn + Z N ,
para todo b Z e todo n m. De fato, pois neste caso, existem r, s Z tais que
ra + spm = 1, de onde segue que
b = b1 = b(ra + spm ) = bra + bspm , b Z
e, se n m, ento segue que
b
bra bspm
bra
=
+ n = (pmn ) m + pmn bs
n
n
p
p
p
p
e como esta ltima parcela est em Z, quando passamos ao quociente, obtemos
a
b
+ Z = (pmn )br m + Z N.
pn
p

Agora, como N um submdulo prprio de M , deve existir um nmero natural

tN tal que

a
N=
+ Z : a Z e m tN .
pm
Assim, como existem apenas um nmero finito de classes de equivalncia da forma
a
pm + Z, com m tN , segue que N finito, como queramos mostrar.
O prximo exemplo mostra que um mdulo pode no ser artiniano e nem noetheriano.
Exemplo 2.3.6. Sejam R um anel e {Mi }iI uma famlia de R-mdulos esquerda
no nulos, onde I um conjunto infinito. Ento M = iI Mi no nem artiniano
e nem noetheriano.
Para ver que M no noetheriano, basta considerar a famlia {Jn }nN de subconjuntos de I, tais que Jn ( Jm , sempre que n < m. Assim, podemos construir
a cadeia estritamente crescente P1 P2 Pk , onde Pk = iJk Mi ,
a qual infinita.
Para o caso da artianidade de M , basta construir a famlia {Kn }nN , definida
por:
K0 = I;
K1 = I \ {i1 }, onde i1 I;
42

K2 = I \ {i1 , i2 }, onde i2 I \ {i1 };
e assim sucessivamente.
Ento fcil verificar que a cadeia Q0 Q1 Qk , onde

Qt = iKt Mi , infinita. Portanto, M tambm no artiniano.
O prximo resultado til quando se quer mostrar a artinianidade ou a noetherianidade de um mdulo.
f
Proposio 2.3.7. Seja 0 M1 M M2 0 uma sequncia exata curta

de R-mdulos esquerda. Ento, M noetheriano (resp. artiniano) se, e somente
se, M1 e M2 so noetherianos (resp. artinianos).
Demonstrao. Vamos apresentar uma demostrao para o caso noetheriano. O
caso artiniano pode ser demonstrado de forma completamente anloga. Suponhamos ento que M seja noetheriano e consideremos as cadeias N1 N2
Nk e L1 L2 Lk de R-submdulos de M1 e
M2 , respectivamente. Desta forma, f (N1 ) f (N2 ) f (Nk )
e g 1 (L1 ) g 1 (L2 ) g 1 (Lk ) so cadeias crescentes de Rsubmdulos de M . Da noetherianidade de M segue que existe um ndice n N
talque f (Nn ) = f (Nn+j ) e g 1 (Ln ) = g 1 (Ln+j ), para todo j 1. Do fato que
f injetora, segue que Nn = Nn+j , para todo j 1. Do fato que g sobrejetora,
segue que Ln = Ln+j , para todo j 1. Portanto, M1 e M2 so noetherianos.
Reciprocamente, suponhamos que ambos M1 e M2 sejam noetherianos. Consideremos uma cadeia P1 P2 Pk de R-submdulos de M . Esta
cadeia induz as seguintes cadeias
f 1 (P1 ) f 1 (P2 ) f 1 (Pk ) , em M1
e
g(P1 ) g(P2 ) g(Pk ) , em M2
Assim, da noetherianidade de M1 e de M2 , segue que existem ndices n1 e n2 tais
que f 1 (Pn1 ) = f 1 (Pn1 +j ) e g(Pn2 ) = g(Pn2 +j ), para todo j > 0. Tomando
n = max{n1 , n2 }, obtemos que f 1 (Pn ) = f 1 (Pn+j ) e g(Pn ) = g(Pn+j ), para
todo j > 0.
Agora, dado j > 0, escolhemos x Pn+j . Assim, g(x) g(Pn ), isto , existe
y Pn talque g(x) = g(y), de modo que y x N uc g = Im f . Logo, existe
z f 1 (Pn+j ) tal que f (z) = y x. Como f 1 (Pn ) = f 1 (Pn+j ), segue que
f (z) = y x Pn , de onde segue que x = y f (z) Pn , ou seja, Pn+j = Pn ,
para todo j > 0. Isto mostra que M noetheriano.
Este resultado tem as seguintes consequncias importantes.
Corolrio 2.3.8. Sejam R um anel, M um R-mdulo esquerda e N um Rsubmdulo de M . Ento M noetheriano (resp. artiniano) se, e somente se,
N e M/N so noetherianos (resp. artinianos).

Para a demonstrao deste corolrio, basta considerar a sequncia exata curta
0 N , M M/N 0 e aplicar o resultado acima.
O prximo resultado uma consequncia direta dos anteriores, e mostra que
uma soma direta finita de mdulos noetherianos (resp., artinianos) um mdulo
noetheriano (resp., artiniano).
Corolrio 2.3.9. Sejam R um anel e M1 , M2 , ..., Mr R-mdulos esquerda noetherianos (resp. artinianos). Ento M = ri=1 Mi noetheriano (resp. artiniano).
Estas propriedades de artinianidade e noetherianidade podem ser transferidas
para anis, de modo natural, bastando considerar os mdulos regulares R R e RR .
Desta forma, temos o seguinte.
Definio 2.3.10. Seja R um anel. Ento dizemos que R um:
anel artiniano esquerda (resp. direita), se o mdulo regular R R (resp.
RR ) artiniano;
anel noetheriano esquerda (resp. direita), se o mdulo regular R R (resp.
RR ) noetheriano;
anel artiniano (resp. noetheriano) se R artiniano (resp. noetheriano)
esquerda e direita, simultaneamente.
Finalizaremos esta seo apresentando alguns exemplos de tais anis. Estes
exemplos tambm mostram que as estruturas dos mdulos regulares de um anel
podem ser muito distintas.
#
("
a b
: a Z, b, c Q . Ento R um
Exemplo 2.3.11. Considere R =
0 c
anel noetheriano direita que no noetheriano esquerda.
("
Comeamos observando que se n Z e In =
0 2mn
0 0
: m Z , ento
In /l R (verifique!). Portanto, a cadeia

I0 I1 I2 In
no estacionria, ou seja, R no noetheriano esquerda.
Vamos verificar agora que R noetheriano direita, mostrando que todo ideal
direita de R finitamente gerado. Consideremos ento I /r R. Vamos dividir
nossa argumentao em casos.
Caso 1. X"= (aij )# I, temos a11 = 0.
"
#
0 y
0 cy
Dado X =
, segue que para todo c Q,
I, pois
0 z
0 cz
"
0 y
0 z
#"
0 0
0 c
"
0 cy
0 cz
44
de onde obtemos que I isomorfo a um Q-subespao vetorial de Q2 da forma

(
V =
"
2
(y, z) Q :
0 y
0 z
assim, existem vetores v1 = (y1 , z1 ) e v2 = (y2 , z2 ) em V (no necessariamente

L. I.), tais que V =< v1 , v2 > e, consequentemente, (y, z) = 1 (y1 , z1 ) +
2 (y2 , z2 ) = (1 y1 + 2 y2 , 1 z1 + 2 z2 ), para certos elementos 1 , 2 Q.
Portanto,
"
0 y
0 z
"
#"
0 y1
0 z1
0 0
0 1
"
0 y2
0 z2
#"
0 0
0 2
e segue que I finitamente gerado neste caso.

Caso 2. X = (aij ) I, com a11 6= 0.
Seja n o menor inteiro positivo que aparece na primeira entrada de alguma
matriz em I. Assim, todo elemento de I pode ser escrito da forma
"
nk y
0
z
, com k Z e y, z Q
"
Pela definio de n, existem b, c Q tais que

"
n 0
0 0
"
n b
0 c
#"
n b
0 c
1 0
0 0
I, de onde segue que
I.
Vamos dividir nossa argumentao em outros dois subcasos.

subcaso 2.1 Para toda matriz X = (aij") I temos
# a22 = 0.
kn y
Neste caso, se X I, segue que X =
, para algum k Z e y Q.
0 0
Mas ento, temos
# "
#"
"
#
n 0
k ny
kn y
=
0 0
0 0
0 0
"
e segue que
n 0
0 0
gera I como ideal direita de R.
Subcaso 2.2 Existe uma matriz X" = (aij ) #I com a22 6= 0.

kn y1
Neste caso, consideremos X =
I, onde k Z, y1 , z1 Q e
0 z1
"
z1 6= 0. Como
n 0
0 0
"
I, segue que
kn 0
0 0
"
n 0
0 0
#"
k 0
0 0

e tambm que
"
0 y1
0 z1
"
kn y1
0 z1
"
kn 0
0 0
e, assim, temos
"
n y1
0 z1
"
n 0
0 0
"
+
"
Tomando ento um elemento qualquer

"
rn y
0 z
"
n y1
0 z1
#"
0 y1
0 z1
rn y
0 z
r
0
1
n
I.
I, segue que

y
z
z1
y1 z
z1
#
"
n y1
, como ideal direita de R.
de onde segue que I gerado por
0 z1
Portanto, em qualquer caso, todo ideal direita de R finitamente gerado, o
que mostra que R noetheriano direita.
Modificando um pouco o exemplo anterior, podemos construir um anel artiniano direita que no artiniano esquerda. Os clculos sero deixados ao leitor.
("
a b
: a Q; b, c R . Ento R artiniano
Exemplo 2.3.12. Seja R =
0 c
direita mas no artiniano esquerda.
Exerccios
1. Seja R um anel que satisfaz a condio descendente de cadeia para ideais
esquerda principais. Mostre que R possui um ideal esquerda minimal.
2. Sejam R um domnio de integridade e a R \ {0}. Mostre que se
< at >=< at+1 >,
para algum inteiro positivo t, ento a invertvel. Conclua da que todo
domnio de integridade artiniano um corpo.
3. Mostre que se M um R-mdulo esquerda noetheriano, ento todo Rendomorfismo sobrejetor de M na verdade um R-isomorfismo.
4. Mostre que A < x >< x2 > 0 uma srie de composio para o
k[x]
A-mdulo regular A = <x
3> .
5. Sejam R um anel e M1 , M2 , ..., Mn R-mdulos esquerda. Mostre que se
M = ni=1 Mi , ento
`(M ) =
n
X
i=1
`(Mi ).
46
Captulo 3
Semissimplicidade
Comeamos este captulo apresentando noes gerais sobre a semissimplicidade em anis e mdulos, para ento apresentar o chamado Teorema de WedderburnArtin, o qual classifica os anis artinianos semissimples. Alguns exemplos so
dados no decorrer do texto e finalizamos com um exemplo clssico de um anel
semissimples que no artiniano.
Como dito no incio destas notas, os mdulos so uma generalizao de espaos vetoriais. Ento nada mais natural do que estudar os anlogos a certos invariantes ou de certas propriedades importantes dos espaos vetoriais, na teoria dos
mdulos. Fizemos isto na seo anterior, estudando o conceito de comprimento de
um mdulo. Uma propriedade fundamental dos espaos vetoriais o fato que todo
subespao um somando direto do espao que o contm. Neste captulo pretendemos estudar os mdulos que possuem esta mesma propriedade, ou seja, os mdulos
cujos seus submdulos so somandos diretos. Faremos isto atravs do conceito de
semissimplicidade.
3.1
Noes Gerais
A ideia de uma estrutura simples j apareceu neste texto. Vamos lembrar algumas coisas que j foram ditas anteriormente e introduzir conceitos novos. Iniciamos com as seguintes definies bsicas.
M um mdulo:
simples, se M 6= 0 e os nicos submdulos de M so os triviais, a saber, 0 e
M;
semissimples, se todo R-submdulo de M um somando direto de M .
Muitas vezes na literatura o termo mdulo irredutvel aparece como sinnimo
de mdulo simples e o termo mdulo completamente redutvel, como sinnimo de
47
48
CAPTULO 3. SEMISSIMPLICIDADE
mdulo semissimples. Antes de apresentarmos alguns exemplos, vamos relembrar

uma caracterizao de mdulo simples.
Proposio 3.1.2. Sejam R um anel e M um R-mdulo esquerda. Ento as
seguintes afirmaes so equivalentes:
(i) M simples;
(ii) M cclico e gerado por qualquer um de seus elementos no nulos;
(iii) M ' R/I, para algum ideal esquerda maximal I de R.
Passamos agora a apresentar alguns exemplos de mdulos simples e semissimples.
Exemplo 3.1.3. Os Z-mdulos simples so isomorfos a Z/pZ, onde p um nmero primo.
Exemplo 3.1.4. Todo ideal minimal de um anel R um mdulo simples.
Exemplo 3.1.5. Sejam k um corpo (ou um anel de diviso) e V um k-espao
vetorial. Consideremos S = Endk (V ) o anel das transformaes lineares de V
em V . Ento V se torna um S-mdulo esquerda via a seguinte ao de S: f v =
f (v), f S, v V . Afirmamos que V um S-mdulo simples.
De fato, pois se fixamos v V \ {0} e tomamos arbitrariamente u V , ento
existe f S tal que f (v) = u, ou seja, V = Sv um mdulo cclico gerado por
qualquer um de seus elementos no nulos. O resultado segue ento da Proposio
3.1.2.
Exemplo 3.1.6. Todo mdulo simples semissimples, mas o mdulo nulo semissimples e no simples.
Exemplo 3.1.7. Se k um corpo ou um anel de diviso, ento todo k-espao
vetorial um mdulo semissimples.
De fato, pois se W um subespao de V , ento, tomando uma base de W e
completando a uma base de V , podemos verificar facilmente que W um somando
direto de V .
Antes do prximo exemplo, vamos introduzir um conceito novo.
M indecomponvel, se M 6= 0 e M no pode ser escrito como uma soma direta
de quaisquer dois de seus submdulos no triviais, isto , se M = N L, ento
N = 0 ou L = 0.
Se k um corpo ou um anel de diviso, ento um k-espao vetorial V indecomponvel se, e somente se, V unidimensional. Assim, os conceitos de mdulo
simples e mdulo indecomponvel coincidem sobre espaos vetoriais, mas no
3.1. NOES GERAIS
49
sempre assim, quando trabalhamos com mdulos. De fato, todo mdulo simples
indecomponvel, mas a recproca no vale: Z um Z-mdulo indecomponvel que
no simples, pois os seus Z-submdulos so da forma nZ, para n Z. Mas se
m, n Z, ento nZ mZ = mmc(m, n)Z. Como todo mdulo indecomponvel
que no simples no pode ser semissimples, o prximo exemplo imediato.
Exemplo 3.1.9. Z, visto como um mdulo sobre si mesmo, no semissimples.
Na sequncia, apresentaremos alguns resultados fundamentais que sero teis
para se obter caracterizaes da semissimplicidade. Comeamos por observar que
a semissimplicidade herdada por submdulos e por mdulos fatores. Mais precisamente, temos o seguinte resultado.
Lema 3.1.10. Seja M um R-mdulo esquerda semissimples. Ento:
(i) Todo submdulo de M um R-mdulo semissimples;
(ii) Toda imagem homomrfica de M um R-mdulo semissimples (equivalentemente, todo mdulo fator de M semissimples).
Demonstrao. (i) Seja L um R-submdulo de M . Consideremos N L. Mas
ento, N um submdulo de M e, consequentemente, existe K M tal que
M = N K. Portanto, L = M L = (N K) L = (N L) + (K L) =
N + (K L) = N (K L).
(ii) Sejam : M L um R-epimorfismo e N um R-submdulo de L. ento,
1
(N ) M e, consequentemente, M = 1 (N ) K. Assim, dado y L,
existe x M tal que y = (x). Portanto, existem elementos x1 1 (N ) e
x2 K tais que x = x1 + x2 , de onde segue que y = (x) = (x1 ) + (x2 )
N + (K), ou seja, L = N + (K). Por outro lado, se z N (K), ento
existe a K tal que z = (a). Mas ento, a 1 (N ) K = 0, ou seja,
z = (a) = (0) = 0, e segue que L = N (K). Portanto, L semissimples
como R-mdulo. Como todo mdulo fator de M uma imagem epimrfica de M ,
a ltima afirmao de (ii) imediata.
Antes de prosseguir, cabe observar que foi usado uma espcie de distributividade da interseo em relao a soma de submdulos, na argumentao de (i)
do Lema acima. Em geral, uma tal distributividade no vale, mas quando um dos
mdulos envolvidos um submdulo de qualquer um dos outros, ento a distributividade vale. Esta era justamente a situao naquele momento.
Lema 3.1.11. Todo mdulo semissimples contm um submdulo simples.
Demonstrao. Sejam R um anel e M um R-mdulo esquerda semissimples
(logo, M 6= 0). Consideremos m M , m 6= 0. Como Rm um submdulo
de M , basta mostrarmos que Rm contm um submdulo simples. Para tanto,
consideremos a famlia F de todos os submdulos de Rm que no contm m, a
qual no vazia, pois 0 F. Aplicando agora o Lema de Zorn (note que F um
50
sistema indutivo), obtemos que existe um elemento maximal em F, digamos N .

Do Lema 3.1.10, segue que Rm = N N 0 . Vamos mostrar que N 0 um mdulo
simples. Inicialmente, observamos que N 0 6= 0, pois m = n + n0 , com n N
e n0 N 0 , e como m 6 N , segue que n0 6= 0. Alm disso, se 0 6= N 00 um
submdulo de N 0 , ento devemos ter N 0 = N 00 P , para algum submdulo P de
N 0 . Agora, pela maximalidade de N , devemos ter m N N 00 , de modo que
N N 00 = Rm. Mas ento,
N N 00 = Rm = N N 0 = N (N 00 P )
de onde segue que P = 0. Portanto, N 00 = N 0 e temos que N 0 simples, como
queramos mostrar.
Para apresentarmos o nosso prximo resultado, o qual d uma caracterizao
dos mdulos semissimples, vamos convencionar que a soma (direta ou no) de uma
famlia vazia de submdulos igual ao mdulo nulo. Esta conveno til para
que nossa argumentao seja vlida inclusive no caso em que M = 0.
Teorema 3.1.12. Sejam R um anel e M um R-mdulo esquerda. As seguintes
afirmaes so equivalentes:
(i) M semissimples;
(ii) M uma soma de uma famlia de submdulos simples;
(iii) M uma soma direta de uma famlia de submdulos simples.
Demonstrao. Se M = 0, no h nada a mostrar, pelas nossas convenes assumidas antes. Portanto, em toda a demostrao, vamos supor M 6= 0.
P
(i) (ii) Seja N =
iI Si , onde {Si }iI a famlia de todos os Rsubmdulos simples de M , a qual no vazia pelo Lema anterior, ou seja, N 6= 0.
Assim, deve existir um submdulo P de M tal que M = N P . Se ocorrer
que P 6= 0, ento, pelo Lema anterior, existe T submdulo simples de P , j que
P deve ser semissimples, por ser submdulo de um mdulo semissimples. Mas
ento, P N 6= 0, uma contradio. Portanto, s podemos ter P = 0 e, consequentemente, M = N . Isto mostra que M uma soma de submdulos simples.
P
(ii) (iii) Suponhamos que M =
iI Si , onde {Si }iI uma famlia de submdulos simples de M . Consideremos a famlia F := {J I :
P
6 . Como toda
jJ Mj uma soma direta }. Pelas nossas convenes, F =
cadeia em F possui uma cota superior em F (a saber, a unio de seus membros), segue do Lema de Zorn que existe I 0 F um elemento maximal. Seja
M 0 = jI 0 Mj . Afirmamos que M 0 = M . De fato, pois para cada i I, Mi
um mdulo simples, de onde decorre que Mi M 0 = Mi ou Mi M 0 = 0. Se
ocorrer a segunda condio, ento I 0 {i} ) I 0 , o que contradiz a maximalidade
de I 0 . Portanto, Mi M 0 , para todo i I, ou seja, M = M 0 , como queramos
mostrar.
3.1. NOES GERAIS
51
(iii) (i) Suponhamos que M seja uma soma direta de submdulos simples,
digamos M = iI Mi , onde Mi um mdulo simples, para todo i I. Seja
N um submdulo de M . Usando a mesma argumentao acima, N Mi = Mi
ou N Mi = 0. Ento fcil verificar que N = jJ Mj , onde J = {i I :
Mi N = Mi }. Portanto, como M = (jJ Mj ) (jI\J Mj ) = N K, onde
K = jI\J Mj , e segue que M semissimples.
Observamos que na prova de (ii) (iii), de fato mostramos que toda soma
de submdulos simples uma soma direta. Na sequncia, vamos transportar o
conceito de semissimplicidade de mdulos para anis, via o mdulo regular. Mais
precisamente, temos a seguinte definio.
Definio 3.1.13. Seja R um anel. Dizemos que R um anel semissimples
esquerda (resp. direita), se o mdulo regular R R (resp. RR ) semissimples.
Mais adiante vamos mostrar que o conceito de semissimplicidade para anis
simtrico, isto , um anel semissimples esquerda se, e somente se, semissimples direita. Isto nos permite falar em anis semissimples, sem usar nenhum
adjetivo de lateralidade. Antecipando-nos a este fato, passaremos a escrever que R
um anel semissimples, sem especificar lateralidade, independentemente de qual
dos mdulos regulares estamos considerando no momento.
Suponhamos agora que R um anel semissimples ( esquerda), ento R =
jJ Ij , onde Ij um ideal esquerda simples, para todo j J. Como estamos
P
supondo que R tem unidade, ento devemos ter 1R = nj=1 aj , onde aj Ij ,
P
P
1 j n. Segue da que se r R, ento r = r1 = r nj=1 aj = nj=1 raj
Pn
j=1 Ij , de onde segue que R = I1 I2 In , onde cada Ij (1 j n) um
ideal esquerda minimal de R. Esta argumentao mostra que todo anel semissimples possui uma srie de composio ( esquerda), e portanto, se R semissimples
( esquerda), ento R artiniano esquerda e noetheriano esquerda. Assim, o
seguinte resultado claro.
Proposio 3.1.14. Todo anel semissimples simultaneamente artiniano e noetheriano ( esquerda e direita).
Vamos apresentar agora alguns exemplos.
Exemplo 3.1.15. Se D um anel de diviso, ento R = Mn (D) um anel simples, como j sabemos. Alm disso, o mdulo regular R R semissimples, de onde
segue que R um anel semissimples.
De fato, pois Ik := {(aij ) : aij = 0, se j 6= k} (conjunto de todas matrizes
com entradas no nulas somente na k-sima coluna) um ideal esquerda de R,
como j visto antes. Alm disso, como D um anel de diviso, segue facilmente
que este ideal minimal e, portanto, um submdulo esquerda simples de R R.
Como R R = I1 I2 In , segue que R um anel semissimples esquerda.
Analogamente, usando ideais direita da forma Ik := {(aij ) : aij = 0, se i 6=
52
k}, conclumos da mesma forma que RR semissimples, ou seja, R um anel

semissimples tambm direita. Este o fato que ser usado mais adiante para
mostrarmos que um anel R semissimples esquerda se, e somente se, R um
anel semissimples direita.
O prximo exemplo fundamental e mostra como podemos fabricar mais
exemplos de anis semissimples.
Exemplo 3.1.16. Suponhamos que R1 , R2 , . . . , Rt so anis semissimples. Ento
R = R1 R2 Rt um anel semissimples.
Para vermos isto, observamos que R Ri = Ri Ri = I1 I2 Ini , para
cada i = 1, 2, ..., t, onde Ij um ideal esquerda minimal de Ri , 1 j ni .
Assim temos
ni
t
t
R R = i=1 Ri = i=1 (l=1 Il )
e segue que R R um mdulo semissimples, ou seja, R um anel semissimples,
como queramos mostrar.
Como uma consequncia dos dois exemplos acima, temos o seguinte.
Exemplo 3.1.17. Sejam D1 , D2 , ..., Dr anis de diviso. Ento
R := Mn1 (D1 ) Mn2 (D2 ) Mnr (Dr )
um anel semissimples.
Na verdade vale muito mais que isto. Veremos que, a menos de isomorfismos,
todo anel semissimples deste tipo, ou seja, o exemplo acima classifica todos os
anis semissimples. Este o contedo do Teorema de Wedderburn-Artin, o qual
ser apresentado na prxima seo.
3.2
O Teorema de Wedderburn-Artin
Nesta seo, como diz seu ttulo, vamos apresentar o assim conhecido Teorema
de Wedderburn-Artin, o qual nos d uma classificao dos anis semissimples.
Faremos isto a partir da estrutura do mdulo regular R R.
O resultado original de Wedderburn classifica as lgebras finito-dimensionais
sobre um corpo qualquer. Estas lgebras eram chamadas de sistemas de nmeros hipercomplexos naquela poca. Vinte anos mais tarde, Artin generalizou o
resultado de Wedderburn para anis satisfazendo ACC e DCC simultaneamente,
substituindo a finito-dimensionalidade pelo comprimento finito do mdulo regular.
Nossa exposio segue uma linha mais atual do que aquelas usadas nos trabalhos
originais. Por exemplo, usamos apenas a artianidade do mdulo regular, pois esta
implica sua noetherianidade, conforme o Teorema de Hopkins-Levitzki, o qual
apresentado no ltimo captulo.
Comearemos nossa tarefa com o seguinte resultado importante.
Teorema 3.2.1. Seja R um anel. Ento as seguintes afirmaes so equivalentes:
3.2. O TEOREMA DE WEDDERBURN-ARTIN
53
(i) O mdulo regular R R semissimples;

(ii) Todos os R-mdulos esquerda so semissimples;
(iii) Todos os R-mdulos esquerda finitamente gerados so semissimples;
(iv) Todos os R-mdulos esquerda cclicos so semissimples.
Demonstrao. As implicaes (ii) (iii) (iv) (i) so claras. Assim, s
precisamos mostrar a implicao (i) (ii). Para tanto, suponhamos que o mdulo
regular R R seja semissimples e consideremos M um R-mdulo esquerda. Como
P
M = mM Rm, basta mostrar que Rm semissimples, para todo m M . De
fato, pois se R R = ki=1 Ii , onde Ii um ideal esquerda minimal de R, segue que
Rm = (I1 I2 Ik )m = I1 m + I2 m + + Ik m
e assim, s precisamos mostrar que cada um dos mdulos Ii m um R-submdulo
simples de Rm. Para esta finalidade, fixamos i {1, 2, ..., k} e consideremos
L um R-submdulo de Ii m. Se L 6= 0, podemos tomar 0 6= x L para obter
x = ai m, para algum ai Ii . Mas ento, (L : m)i = {r Ii : rm L}
um R-submdulo de Ii , como fcil ver, de onde segue que (L : m)i = Ii , j
que 0 6= ai (L : m)i e Ii simples. Portanto, L = Ii m, e segue que Ii m
simples. Como i foi tomado arbitrrio, temos o resultado pretendido. Isto finaliza
a demonstrao do teorema.
Para apresentar a classificao dos anis semissimples, vamos necessitar de
alguns resultados auxiliares, que passaremos a discutir no que segue. Para o primeiro deles, usaremos a seguinte notao: se R um anel semissimples e I um
ideal esquerda minimal de R, ento escreveremos RI para denotar o conjunto
P
RI := {J /l R : J ' I}. Podemos enunciar ento o seguinte resultado.
Lema 3.2.2. Com as notaes acima, valem as seguintes afirmaes:
(i) RI um ideal (bilateral) de R;
(ii) Se I e J so ideais esquerda minimais de R tais que I 6' J, ento RI RJ =
0.
Demonstrao. (i) Precisamos apenas mostrar que RI absorve multiplicao pela
direita. Para tanto, basta mostrar que se J /l R tal que J ' I, ento Jr RI ,
para todo r R. Com esta finalidade, dado r R, consideramos a aplicao
fr : J R, definida por fr (x) = xr, para cada x J. Assim, fr um Rhomomorfismo, pois se a R, x J, ento fr (ax) = (ax)r = a(xr) = afr (x).
Mas ento, N uc fr = 0 ou N uc fr = J, uma vez que J um ideal esquerda
minimal de R. No primeiro caso, temos Jr = Im fr ' J ' I e no segundo,
Jr = 0. Assim, em ambos os casos, devemos ter Jr RI , o que mostra o
resultado desejado.
54
(ii) Sejam I e J ideais esquerda minimais de R tais que I 6' J. Queremos

mostrar que RI RJ = 0. Para tanto, basta mostrar que se L, K /l R so tais que
L ' I e K ' J, ento LK = 0, pois todo elemento x RI da forma x =
Pn
ai , com ai Li ' I (1 i n), e todo elemento y RJ da forma
i=1P
y= m
j=1 bj , com bj Kj ' J (1 j m). Observamos agora que se L ' I
e y K ' J, ento Ly = 0, pois do contrrio, deveramos ter Ly = K, pela
minimalidade de K. Assim, teramos
(i)
I ' L ' Ly = K ' J

o que uma contradio. Logo, s podemos ter RI RJ = 0, como queramos
mostrar.
Seja R um anel semissimples ( esquerda). Ento, o mdulo regular
semissimples e podemos escrever
RR
= I11 I1n1
|
{z
RI1
RR
Ir1 Irnr
|
{z
RIr
onde RIk = {J /l R : J minimal e J ' Ik }, 1 k r. Neste caso, pelo

resultado acima, temos R = RI1 RIr como anel. Os ideais RIl na decomposio acima so chamados de componentes homogneas de R.
Para investigar a estrutura de um anel semissimples, precisamos entender um
pouco mais suas componentes homogneas, bem como conhecer um pouco mais a
estrutura de anis que so soma de ideais. O prximo resultado tem esta finalidade.
Antes, porm, observamos que se R = I1 I2 In , com Ij / R, 1
j n, e J / R, ento J = J1 J2 Jn , onde Jk / Ik (1 k n).
De fato, pois como estamos assumindo que R tem unidade, devemos ter 1R =
P
P
e1 + e2 + en , com ei Ii , 1 i n. Assim, 1 = 12 = ij ei ej = ni=1 e2i ,
pois ei ej Ii Ij Ii Ij = 0, se i 6= j. Segue ento da unicidade da escrita
em uma soma direta que e2i = ei , isto , {ei }ni=1 uma famlia de elementos
idempotentes ortogonais de R. Alm disso, como r = 1r = r1, segue que estes
elementos so centrais (isto , comutam com todos os elementos de R). Portanto,
J = RJ = (I1 I2 In )J = Je1 Je2 Jen , onde Jei / Rei = Ii ,
(1 i n).
P
Lema 3.2.3. Sejam R um anel e I1 , I2 , ..., Ir ; J1 , J2 , ..., Js ideais (bilaterais) indecomponveis de R tais que R = I1 I2 Ir = J1 J2 Js . Ento,
r = s e, aps uma permutao nos ndices, se necessrio, Ii = Ji , 1 i r.
Demonstrao. Suponhamos R = I1 Ir = J1 Js , ento segue
que J1 / R e, usando a argumentao acima, temos que J1 = I10 Ir0 , com
Ii0 / Ii , 1 i r. Mas como J1 indecomponvel como ideal, conclumos que
existe k {1, 2, ..., r} tal que J1 = Ik0 (i. , os demais ideais Il0 na decomposio
de J1 so nulos). Reordenando os ndices, se necessrio, podemos escrever J1 =
55
I10 . Assim, temos J1 I1 . Argumentando de modo anlogo ao que fizemos acima,

mas com I1 em lugar de J1 , obtemos a outra incluso, ou seja, J1 = I1 . Repetindose esta argumentao tantas vezes quanto necessrio, o lema fica demonstrado.
O prximo resultado descreve mais precisamente a estrutura das componentes
homogneas de um anel semissimples.
Lema 3.2.4. Seja R um anel semissimples ( esquerda). Ento R = R1 Rr ,
onde cada Ri , 1 i r, um anel simples com unidade, que possui um nico
ideal esquerda minimal, a menos de isomorfismos.
Demonstrao. Pelos resultados anteriores, est claro que se R semissimples,
ento podemos escrever R = R1 Rr , onde cada Ri , 1 i r, um
ideal bilateral, e portanto, um subanel de R, que contm um nico ideal esquerda
minimal, a menos de isomorfismos. Mais ainda, por uma argumentao anterior,
se 1R = e1 + e2 + + er , ento e2i = ei , Ri = ei R = Rei e Ri um anel com
unidade ei (1 i r).
Para finalizar a demonstrao, precisamos mostrar agora que estes anis Ri so
simples, para cada i {1, 2, ..., r}. De fato, pois se fixarmos i {1, 2, ..., r} e
considerarmos 0 6= I / Ri , segue que I / R. Como todo ideal de R tambm um
ideal esquerda, obtemos que I um R-submdulo do mdulo regular R R, ou seja,
I um mdulo semissimples (por ser submdulo de um mdulo semissimples).
Assim, I possui um ideal esquerda minimal, digamos I0 . Pela argumentao
feita antes do Lema 3.2.3, segue que I0 = Re, para um certo idempotente e R.
Considerando ento a componente homognea de R correspondente a este ideal
minimal I0 , devemos ter RI0 = Rj , para algum j {1, 2, ..., r}. Pela construo
dos Rj0 s, s podemos ter RI0 = Ri . Por outro lado, se J /l R um ideal esquerda
minimal de R tal que J Ri , ento existe um isomorfismo : I0 J e segue
que
J ' (I0 ) = (Re) = (Ree) = (I0 e) = I0 (e) I
de onde se obtm que I = Ri , ou seja, Ri um anel simples. Isto finaliza a nossa
demonstrao.
Neste momento, sabemos que todo anel semissimples uma soma direta de
suas componentes homogneas, e que cada uma destas um anel simples que possui um nico ideal esquerda minimal, a menos de isomorfismos. Descendo um
degrau a mais, vamos estudar a estrutura destes ltimos anis. Comeamos esta
tarefa com o seguinte resultado importante.
Lema 3.2.5. (Lema de Schur) Sejam R um anel e M um R-mdulo esquerda
simples. Ento, EndR (M ) um anel de diviso.
Demonstrao. Seja f : M M um R-endomorfismo de M . Ento, N uc f e
Im f so R-submdulos de M . Como M simples, segue que estes mdulos so
nulos ou iguais a M . Portanto, f o homomorfismo nulo ou f um isomorfismo,
como fcil verificar. Assim, EndR (M ) um anel de diviso, como queramos
mostrar.
56
Na verdade, o argumento usado na demonstrao do Lema de Schur mostra

que se M e N so dois R-mdulos simples e f : M N um R-homomorfismo,
ento f um isomorfismo ou o homomorfismo nulo. Assim, ou dois R-mdulos
simples so isomorfos ou no existe nenhum homomorfismo no nulo entre eles.
Muitas vezes encontramos na literatura o Lema de Schur dizendo exatamente isto.
Proposio 3.2.6. (Rieffel) Seja R um anel simples. Suponhamos que R contenha
um ideal esquerda no nulo I e seja D = EndR (I). Ento R ' EndR (ID )
como anis.
Demonstrao. Consideremos a aplicao
: R EndR (ID )
r : I I
r 7
a 7 ra
Afirmamos que um homomorfismo de anis. De fato, pois se r, s R e
a I, ento temos
(r+s)(a) = r+s (a) = (r+s)a = ra+sa = r (a)+s (a) = ((r)+(s))(a)
e
(rs)(a) = rs (a) = (rs)a = r(sa) = r (sa) = r (s (a)) = ((r) (s))(a)
Alm disso, como R um anel simples, segue que N uc = 0 ou N uc = R.
Mas como (1R ) = idI EndR (ID ), s podemos ter N uc = 0 e segue que
injetora. Para mostrar a sobrejetividade de vamos mostrar primeiro que (I)
um ideal esquerda de EndR (ID ) (onde estamos considerando EndR (ID ) como
um anel de operadores agindo esquerda de I).
Comeamos por observar que se a I, ento existe um R-homomorfismo
definido da seguinte maneira: ga : I I, ga (x) = xa, para todo x I. De fato,
pois se x, y I e r R, ento ga (x + y) = (x + y)a = xa + ya = ga (x) + ga (y)
e ga (rx) = (rx)a = r(xa) = rga (x). Portanto, ga D, ou seja, a multiplicao
direita por um elemento de I um operador do anel D.
Tomando ento a, b I e h EndR (ID ), temos
h (a (b)) = h(ab) = h(a)b = h(a) (b)
ou seja, h a = h(a) EndR (ID ), para todos a I, h EndR (ID ), de onde
segue que EndR (ID )(I) (I), ou seja, (I) /l EndR (ID ), como queramos
mostrar.
Agora, pelo fato de R ser um anel simples e I 6= 0, segue que IR = R (pois
IR / R). Assim, (R) = (IR) = (I)(R). Portanto, EndR (ID )(R) =
EndR (ID )(I)(R) (I)(R) = (R), ou seja, (R) um ideal esquerda
de EndR (ID ). Para finalizar nossa demonstrao, basta observar que 1EndR (ID ) =
idI = (1R ) (R), para concluir que (R) = EndR (ID ), isto , sobrejetora.
57
Sabendo que as componentes homogneas de um anel semissimples so anis

simples que possuem um ideal esquerda minimal, o resultado acima passa a nos
interessar justamente quando o ideal I do enunciado minimal. Mais precisamente, o seguinte corolrio ser muito til.
Corolrio 3.2.7. Seja R um anel simples que contm um ideal esquerda minimal.
Ento R ' Mn (D), para algum n 1 e D um anel de diviso.
Demonstrao. Seja I um ideal esquerda minimal de R. Pelo Lema de Schur
(Lema 3.2.5) segue que D = End(R I) um anel de diviso. Ento, I possui uma
estrutura de (R, D)-bimdulo, como visto antes, e segue da proposio anterior
que EndR (ID ) um anel simples, pois R ' EndR (ID ) como anis.
Afirmamos agora que dimD I < . De fato, pois se dimD I = , ento
K = {f EndR (ID ) : dimD Im f < } um ideal prprio de EndR (ID ),
o que produz uma contradio com a simplicidade do anel EndR (ID ). Logo, s
podemos ter dimD I = n, algum n N. Mas neste caso, EndR (ID ) o anel das
transformaes lineares de I em I, ou seja, EndR (ID ) ' Mn (D), e o resultado
est demonstrado.
J vimos antes que as matrizes coluna so exemplos de mdulos simples sobre
um anel de matrizes com entradas em um anel de diviso. Veremos agora que, a
menos de isomorfismos, estes so os nicos tais mdulos.
Lema 3.2.8. Seja R um anel simples que possui um ideal esquerda minimal I.
Ento R possui, a menos de isomorfismo, um nico mdulo esquerda simples e
fiel isomorfo a I. Alm disso, nestas condies, R ' I (n) , onde I (n) significa a
soma direta de n cpias de I.
Demonstrao. Como R simples, AnR (I) / R e R tem unidade, segue que
AnR (I) = 0, ou seja, I um R-mdulo esquerda simples e fiel. Seja agora M
um R-mdulo esquerda simples e fiel qualquer. Como AnR (M ) = 0, deve existir m M tal que Im 6= 0, de onde segue que Im = M , pela simplicidade de M .
Mas ento, a aplicao : I M definida por (x) = xm um R-epimorfismo.
Mais ainda, como N uc /l I, segue que N uc = 0 e, consequentemente, um
R-isomorfismo, ou seja, M ' I. Portanto, a menos de isomorfismo, R possui um
nico mdulo esquerda simples e fiel.
Para a ltima parte do Lema, basta observar que nas hipteses assumidas, R '
Mn (D), onde D = EndR (I) e n = dimD I. Portanto, R ' Mn (D) ' I (n) ,
onde I = {(aij ) Mn (D) : aij = 0, se j 6= 1}.
Estamos agora em condies de enunciar o teorema de Wedderburn-Artin, que
o principal resultado deste captulo.
Teorema 3.2.9. (Wedderburn-Artin) Seja R um anel semissimples esquerda.
Ento
R ' Mn1 (D1 ) Mn2 (D2 ) Mnt (Dt )
58
onde D1 , D2 , ..., Dt so anis de diviso e n1 , n2 , ..., nt so inteiros positivos. O

nmero t e os pares ordenados (Di , ni ) so unicamente determinados a menos de
permutaes. Alm disso, existem exatamente t R-mdulos esquerda simples e
fiis, dois a dois no isomorfos.
Demonstrao. Quase todo o trabalho para a demonstrao deste resultado j foi
feito antes. Precisamos somente mostrar as unicidades. Para tanto, suponhamos
que R seja um anel semissimples tal que R ' Mn1 (D1 ) Mn2 (D2 )
Mnt (Dt ) e tambm R ' Ml1 (D10 )Ml2 (D20 ) Mls (Ds0 ), onde Di , Dl0 so
anis de diviso, 1 i t, 1 l s. Seja Vi o nico mdulo simples e fiel sobre
o anel Ri = Mni (Di ). Ento Vi se torna um R-mdulo esquerda, definindose Ri Vj = 0, se j 6= i. Desta forma, Vi um R-mdulo esquerda simples.
Alm disso, se i 6= j, segue que Vi 6' Vj . De fato, pois se : Vi Vj um Risomorfismo, ento, para todo r R, teramos (rv) = r(v), para todo v Vi ,
mas tomando r = (0, ..., 1Rj , 0, ..., 0) R obtemos r(v) = (rv) = (0) = 0,
ou seja, r AnR (Vj ) = 0, j que v Vi foi tomado arbitrrio e (Vi ) = Vj . Esta
contradio mostra que Vi 6' Vj .
Portanto, repetindo-se este argumento com a outra decomposio de R, obtemos que
(l1 )
(ls )
(n )
(n )
V1 1 Vt t ' R R ' V10 Vs0
e segue ento do Teorema de Jordan-Hlder (Teorema 2.2.2) que s = t, ni = li e
0
R Vi ' R Vi , 1 i r.
Para finalizar a prova, basta observar agora que
Di0 ' EndRi0 (Vi0 ) ' EndR (Vi0 ) ' EndR (Vi ) ' EndRi (Vi ) = Di
Isto completa a prova do teorema.
Uma consequncia direta deste resultado que o conceito de semissimplicidade simtrico. Como j foi observado antes, tanto o mdulo regular direita
quanto o mdulo regular esquerda de um anel de matrizes sobre um anel de diviso so semissimples. Mais precisamente, temos o seguinte resultado.
Corolrio 3.2.10. Seja R um anel. Ento R semissimples esquerda se, e somente se, R semissimples direita.
O seguinte resultado muitas vezes referido na literatura como sendo o Teorema de Wedderburn-Artin, e nos d uma classificao dos anis artinianos simples.
Corolrio 3.2.11. Um anel artiniano simples se, e somente se, isomorfo a um
anel de matrizes sobre um anel de diviso.
Demonstrao. Seja R um anel artiniano e simples. Como R tem unidade, segue
que todo ideal esquerda um R-mdulo fiel. Alm disso, como R artiniano,
59
todo R-mdulo esquerda possui um R-submdulo simples. Portanto, nas condies acima, ou R um anel de diviso ou R um anel simples que possui um ideal
esquerda minimal. Portanto, R ' Mn (D), para algum n 1 e D um anel de
diviso. A recproca clara.
Note que se R uma k-lgebra finito-dimensional e semissimples, ento R '
Mn1 (D1 ) Mnr (Dr ), onde cada Di uma k-lgebra de diviso de dimenso
ni sobre k, pelo Teorema de Wedderburn-Artin. Observe agora que se k um corpo
algebricamente fechado e D uma k-lgebra de dimenso n, ento o conjunto
{1, a, a2 , ..., an }, com 0 6= a D, linearmente dependente sobre k, de onde
segue que a algbrico sobre k, ou seja, a k, de modo que D = k.
Portanto, se R uma k-lgebra finito-dimensional e semissimples e k algebricamente fechado, ento R ' Mn1 (k) Mnr (k). Tomando ento
k = C, obtemos que toda C-lgebra finito-dimensional e semissimples da forma
Mn1 (C) Mnr (C), recuperando o resultado de T. Molien, que classifica
os sistemas de nmeros hipercomplexos sobre C, obtido em sua tese de doutorado
em 1892.
Finalizaremos esta seo com mais alguns exemplos.
Exemplo 3.2.12. O anel Z/nZ semissimples se, e somente se, n livre de quadrados.
De fato, pois se n = p1 p2 ...pk , com pi e pj primos distintos, sempre que i 6= j,
ento temos Z/nZ ' ki=1 Z/pi Z, e cada um dos anis Z/pi Z um corpo, portanto
um anel simples e artiniano. Mostre a recproca (veja tambm os exerccios no final
do captulo 5 para uma outra sugesto, usando o radical de Jacobson).
Apresentaremos agora um exemplo de um anel simples e no artiniano, mostrando que existem anis simples que no so semissimples.
Exemplo 3.2.13. Sejam R1 R2 Rn uma cadeia de anis simples
com a mesma unidade e consideremos R = Ri . Ento R um anel simples.
De fato, pois se I / R, I 6= 0, ento I Rj um ideal no nulo de Rj ,
para algum j 1. Mas como Rj simples, segue que I Rj = Rj , ou seja,
1R = 1Rj I Rj I, e segue que I = R.
Agora, no exemplo acima, consideramos Ri = M2i (D), onde D um
! anel de
M 0
diviso. Consideramos a incluso Ri , Ri+1 via M 7
. Assim,
0 M
R = i0 Ri , onde R0 = D, e segue do exemplo anterior que R um anel simples.
Observamos agora que se tomamos o elemento ei Ri , como sendo a matriz
que possui o elemento 1 na entrada (1, 1) e zeros nas demais, e consideramos ei
como elemento de R, via a incluso acima, segue que ei+1 = ei+1 ei Ri+1 , e
portanto temos uma cadeia decrescente Re0 Re1 Ren .
Por fim, note que ei 6 Rei+1 . De fato, pois do contrrio, existiria j > i tal
que ei Rj ei+1 e teramos ei = M ei+1 , para alguma matriz M . Mas a entrada
(2i+1 , 2i+1 ) da matriz M ei+1 nula, enquanto que a entrada (2i+1 , 2i+1 ) da matriz
60
ei 1. Portanto, a cadeia acima estritamente decrescente e R no artiniano

esquerda.
Exerccios
1. Seja R um anel. Mostre que R semissimples se, e somente se, toda sequncia exata curta de R-mdulos esquerda cinde.
2. Mostre que se R um anel semissimples, ento Mn (R) tambm um anel
semissimples.
3. Seja R um anel semissimples e artiniano. Mostre que se ab = 0 implicar
a = 0 ou b = 0, para todos elementos de a, b R, ento R um anel de
diviso (i. ., todo anel artiniano semissimples sem divisores de zero um
anel de diviso).
4. Seja M um R-mdulo esquerda semissimples. Mostre que M uma soma
finita de submdulos simples se, e somente se, M finitamente gerado.
5. Mostre que Q um Z-mdulo indecomponvel que no simples. Conclua
da que Q no um Z-mdulo semissimples.
Captulo 4
Uma Aplicao da
semissimplicidade
A ideia deste captulo apresentar alguma aplicao da semissimplicidade.
Escolhemos para tanto uma aplicao na teoria de grupos, pois uma das mais interessantes aplicaes da semissimplicidade aparece na teoria de representao de
grupos finitos. Vamos procurar apresentar aqui a conexo entre estes dois tpicos. No entraremos em detalhes mais profundos e possivelmente seja necessrio
consultar algum outro texto mais especfico, para dar maior suporte. Algumas indicaes bibliogrficas neste sentido so dadas no final do texto.
4.1
Aes de grupos em conjuntos
Vamos assumir neste captulo que todos os grupos so finitos, embora alguns
resultados sejam vlidos para grupos quaisquer. Iniciamos lembrando o que uma
ao de um grupo em um conjunto.
Definio 4.1.1. Sejam G um grupo e X um conjunto. Dizemos que G age em X
se existir uma aplicao
: GX X
(g, x) 7 g x
satisfazendo as seguintes condies
(i) 1G x = x, x X;
(ii) g (h x) = gh x, g, h G, x X.
Observe que na definio acima, escrevemos g x para indicar a imagem do par
ordenado (g, x) G X pela ao , para simplificar a notao. Muitas vezes
faremos exatamente assim.
61
62
CAPTULO 4. UMA APLICAO DA SEMISSIMPLICIDADE
Exemplo 4.1.2. Seja G um grupo e X um conjunto. Ento a ao trivial de G em

X definida por g x = x, x X.
Exemplo 4.1.3. Sejam k um corpo e V um espao vetorial. Ento a ao de k
sobre V determina uma ao do grupo multiplicativo k := k \ {0} no conjunto
V de maneira natural.
Exemplo 4.1.4. Seja X um conjunto. Ento o grupo (Bij (X), ), das permutaes de elementos de X, age em X de maneira natural, via x = (x), para
todos Bij (X) e x X.
Exemplo 4.1.5. Todo grupo G age em si mesmo via multiplicao, isto , a aplicao : G G G, dada por (g, h) = g h = gh define uma ao de G em
G, chamada de ao regular.
Dizemos que uma ao de um grupo G em um conjunto X fiel, se for
uma aplicao injetora ou, equivalentemente, se g (x) = h (x), x X, ento
g = h. A ao regular de um grupo em si mesmo e a ao do grupo multiplicativo
k sobre um k-espao vetorial so exemplos de aes fiis.
4.2
Representaes de grupos finitos
Se G age em X, dizemos que X um G-conjunto. Observamos que se G

um grupo e X um G-conjunto, ento para cada g G fica definido uma funo
g : X X, dada por g (x) = g x. Mais ainda, g de fato uma bijeo com
inversa g1 , pois se x X, ento g (g1 (x)) = g (g 1 x) = g (g 1 x) =
gg 1 x = 1G x = x. Analogamente, g1 g = idX . Portanto, g1 = g1 .
Assim, se um grupo G age em um conjunto X, fica definido um homomorfismo de
grupos : G Bij X, dado por g 7 g . Um tal homomorfismo de grupos dito
uma representao de G por permutaes.
Podemos, assim, recuper o Teorema de Cayley, o qual afirma que todo grupo G
isomorfo a um subgrupo de um grupo de permutaes. Para ver isto, basta tomar
X = G e considerar a ao de G sobre si mesmo via multilicao. Desta forma,
injetivo. De fato, se g G tal que g = idG , ento g x = gx = x, para todo
x G, de onde segue que g = 1G .
Reciprocamente, se : G Bij(X), g 7 g , uma representao por
permutaes, ento fica definido uma ao de G em X, via gx := g (x), x X.
Assim, as aes de um grupo em um conjunto esto em correspondncia biunvoca
com as representaes de G por permutaes.
O que de fato nos interessa nesta seo so as chamadas representaes lineares
de um grupo. Vamos passar a defini-las agora.
Consideremos k um corpo e V um k-espao vetorial n-dimensional. Se G
um grupo finito que age em V , ento podemos definir a aplicao : G
Endk (V ), definida por (g) = g , onde g (v) = g v, para todo g G, v
V . Considerando o conjunto Endk (V ), das transformaes lineares de V em V ,
4.2. REPRESENTAES DE GRUPOS FINITOS
63
munido com a operao de composio de funes, segue que uma aplicao

que preserva estas operaes. De fato, pois se g, h G e v V , ento (gh)(v) =
gh (v) = gh v = g (h v) = g (h (v)) = g h (v). Alm disso, (1G )(v) =
1G v = v, v V , isto , (1G ) = idV .
Mas como Endk (V ) no , em geral, um grupo, no podemos falar em uma
representao de G, de espcie alguma. Para corrigir este problema, restringimos o
conjunto Endk (V ) ao conjunto das transformaes lineares bijetoras de V em V .
Na literatura, este conjunto vem sempre representado por GLn (V ) (ou GLn,k (V ),
quando se faz necessrio explicitar o corpo base). Assim, pelos argumentos discutidos acima e mantendo as mesmas notaes, a aplicao : G GLn (V ), dada
por (g)(v) = g v um homomorfismo de grupos. Podemos ento enunciar a
seguinte definio.
Definio 4.2.1. Sejam G um grupo finito, k um corpo e V um k-espao vetorial
n dimensional. Chamamos de uma representao linear de G em V , a todo homomorfismo : G GLn (V ). A dimenso n de V sobre k dita o grau desta
representao.
As representaes lineares de um grupo finito G em um k-espao vetorial n
dimensional V do origem as chamadas aes lineares de G em V , da seguinte
maneira. Suponhamos que G age em V via : G V V , segundo a Definio
4.1.1. Ento, para cada g G est definida uma aplicao g : V V . Dizemos
que a ao de G em V linear se g uma transformao linear, para cada g G.
Assim, escrevendo g v para denotar g (v), dizemos que a ao de G em V linear,
se:
1G v = v, v V ;
g (h v) = gh v, g, h G, v V ;
g (u + v) = (g u) + (g v).
Estas aes lineares nos permitem considerar, com mais preciso, aquilo que
gostaramos de chamar de um G-mdulo. Para tanto, precisamos considerar o anel
de grupo de G sobre k. Dados um grupo G e um corpo k, definimos o anel de grupo
de G sobre k como sendo o k-espao vetorial com base G = {g1 , g2 , ..., gn }, ou
seja
k[G] := ni=1 i gi , i k, 1 i n
com a soma usual de vetores e com uma multiplicao induzida por
(i gi )(j gj ) = i j gi gj
e estendida por linearidade. fcil verificar que desta forma k[G] um anel com
unidade 1k 1G , onde 1G denota o elemento neutro do grupo G.
Tambm fcil verificar que as aplicaes : G k[G], dada por (x) =
1k x uma imerso de G em k[G], e que : k k[G], dada por (a) = a1G
64
uma imerso de k em k[G]. Identificando os elementos a k com os elementos

da forma a1G , e os elementos g G com os elementos da forma 1k g, obtemos que
ag = ga, para todo a k e todo g G. Portanto, podemos mostrar que o anel
k[G] s comutativo se G for um grupo abeliano.
A conexo entre os anis de grupos e as aes lineares de um grupo em um
espao vetorial dada no seguinte resultado.
Proposio 4.2.2. Sejam G um grupo, k um corpo e V um k-espao vetorial.
Ento G age linearmente em V se, e somente se, V um k[G]-mdulo ( esquerda).
Demonstrao. Suponhamos que G age linearmente em V via . Definimos uma
P
ao de k[G] em V da seguinte forma: Para x = i gi k[G] e v V , tomamos
P
xv := i (gi v). Desta maneira, V se transforma num k[G]-mdulo esquerda.
As propriedades aditivas seguem facilmente da linearidade das aplicaes g , para
P
P
cada g G. Alm disso, dados x = i gi , y = j hj k[G] e v V , temos
P
P
P
x (y v) = i i gi ( j j hj v) = i,j i j gi hj v = xy v. Reciprocamente,
se V um k[G]-mdulo esquerda, ento definimos : G V V , por g (v) =
(1k[G] g) v. fcil verificar que esta aplicao define uma ao linear de G em
V.
De acordo com o resultado acima, podemos ento fazer as seguintes definies.
Definio 4.2.3. Seja G um grupo finito que age linearmente em um k-espao
vetorial V . Ento, dizemos que a representao associada a esta ao linear :
irredutvel, se V um k[G]-mdulo simples,
semissimples, se V um k[G]-mdulo semissimples,
regular, se V = k[G] e a ao de G induzida pela multiplicao de G.
Exemplo 4.2.4. Sejam G = {e, g, g 2 } o grupo cclico de ordem 3, k = C o
corpo dos nmeros complexos e a representao regular de G em C. Assim, as
transformaes lineares g possuem as seguintes matrizes na base B = {e, g, g 2 }:
1 0 0
0 0 1
0 1 0
[e ]B = 0 1 0 , [g ]B = 1 0 0 , e [g2 ]B = 0 0 1 .
0 0 1
0 1 0
1 0 0
Vamos agora na direo de mostrar que k[G] um anel semissimples, com
algumas hipteses razoveis sobre k. A semissimplicidade de k[G] vai garantir
que todo k[G]-mdulo esquerda semissimples, ou seja, uma soma de mdulos
simples. Como as representaes lineares de G esto em correspondncia com os
k[G]-mdulos, segue que as representaes lineares de G so somas de representaes irredutveis. Portanto, para classificar as representaes lineares de um grupo
finito, basta classificar as representaes irredutveis deste grupo. E justamente
nesta tarefa que o Teorema de Wedderburn-Artin vem em nosso auxlio.
4.2. REPRESENTAES DE GRUPOS FINITOS
65
Para facilitar nossa exposio, a partir de agora, vamos assumir que k um

corpo de caracterstica zero. Vamos apresentar o resutado que nos permite analisar
uma representao de um grupo finito por meio de suas representaes irredutveis.
Teorema 4.2.5. (Teorema de Maschke) Sejam G um grupo finito, k um corpo (de
caracterstica zero). Ento k[G] um anel semissimples.
Demonstrao. Seja n =| G |. Consideremos V um k[G]-submdulo esquerda.
Para mostrar que k[G] semissimples, precisamos mostrar que k[G] = V W
para um certo k[G]-submdulo esquerda W . Como todo k[G]-mdulo possui
uma estrutura de k-espao vetorial, podemos escrever k[G] = V U , onde U um
k-espao vetorial (isto , podemos decompor o k-espao vetorial k[G] como uma
soma direta de k-espaos vetoriais). Consideremos a projeo linear : k[G] V
com ncleo U , associada a decomposio k[G] = V U . Assim, uma aplicao
k-linear, mas no necessariamente k[G]-linear. O que vamos fazer agora construir
uma aplicao k[G]-linear a partir de , para obter nossa decomposio pretendida.
Vamos definir : k[G] k[G], por
(x) =
1 X 1
g (gx).
n gG
Vamos mostrar agora que (k[G]) = V e que k[G] = V (id )(k[G]), como
k[G]-mdulos.
Tomando y k[G] e g G, segue que (gy) V , de onde se deduz que
(gy) =
1 X 1
h (hgy) V
n hG
Alm disso, se x V , ento

(x) =
1 X 1
1 X 1
1
g (gx) =
g gx = nx = x
n gG
n gG
n
ou seja, Im = V . Mais ainda, ( )2 = . Portanto, uma projeo e

segue que
k[G] = (k[G]) (id )(k[G]) = V (id )(k[G])
Resta mostrar agora que W = (id )(k[G]) um k[G]-submdulo, ou seja,
que um k[G]-homomorfismo. Para tanto, consideremos h G, x k[G].
Ento temos
h1 (hx) =
1 X 1 1
1 X 1
h g (ghx) =
y (yx) = (x)
n gG
n yG
ou seja,
(hx) = h (x), h G, x k[G].
66

Assim, tomando um elemento qualquer de W , da forma (id )(x), obtemos
h((id )(x)) = hx (hx) = (id )(hx) W.
Isto termina a nossa demostrao.

Gostaramos de observar que uma pea fundamental na argumentao acima
foi usar o fato de que n =| G | um elemento invertvel em k. Foi justamente
neste momento que usamos a hiptese de que a caracterstica de k zero. De fato,
esta mesma argumentao funciona bem se supormos, em lugar de caracterstica
zero, que a caracterstica de k no divide a ordem de G.
Quando assumimos que k um corpo algebricamente fechado, podemos dizer
mais a respeito do anel de grupo k[G]. Para o prximo resultado, vamos lembrar
da teoria de grupos que dois elementos x, y G, onde G um grupo qualquer,
so ditos conjugados, se existe g G tal que x = gyg 1 . Mais ainda, a relao
x est relacionado com y se, e somente se, x e y so conjugados, determina em G
uma relao de equivalncia, cujas classes so chamadas de classes de conjugao
de G.
Corolrio 4.2.6. Sejam G um grupo finito de ordem n, k um corpo algebricamente
fechado (de caracterstica zero). Ento
k[G] ' Mn1 (k) Mn2 (k) Mnr (k)
onde n = n21 + n22 + + n2r . Alm disso, k[G] possui exatamente r mdulos
simples no isomorfos de dimenses respectivamente iguais a n1 , n2 , ..., nr sobre
k, e r coincide com o nmero de classes de conjugao de G.
Demonstrao. Pelo Teorema de Maschke, k[G] um anel semissimples. Do Teorema de Wedderburn-Artin, segue que
k[G] ' Mn1 (D1 ) Mn2 (D2 ) Mnr (Dr )
onde Di = Endk[G] (Vi ) um anel de diviso, sendo Vi mdulos simples sobre
k[G]. Assim, Di finito-dimensional sobre k, de onde segue que Di = k, pois k
algebricamente fechado. Portanto,
k[G] ' Mn1 (k) Mn2 (k) Mnr (k)
como afirmado no enunciado. Alm disso, computando dimenses sobre k, obtemos do isomorfismo acima que
n = n21 + n22 + + n2r .
Resta mostrar que o nmero de classes de conjugao de G igual a r. Comeamos observando que dimk Z(k[G]) = r. De fato, pois o centro de um anel
de matrizes Mn (k) o conjunto das matrizes escalares In , e com isto, segue do
isomorfismo acima que dimk Z(k[G]) = r.
4.3. REPRESENTAES IRREDUTVEIS DE S3 SOBRE C
67
Observamos agora que para cada classe de conjugao Ci de G, podemos conP

siderar o elemento ci = xCi x k[G]. Assim, se g G, ento g 1 ci g = ci , e
segue da que todos estes elementos ci esto no centro de k[G]. Alm disso, como
podemos considerar {ci } um subconjunto de G, segue que {ci } um conjunto linearmente independente sobre k (por ser um subconjunto de uma k-base de k[G]).
P
Mais ainda, se gG g g Z(k[G]), ento para cada h G, temos
X
g g = h1 (
gG
gG
g g)h =
g h1 gh
gG
ou seja, da escrita nica dos elementos de k[G], segue que g = h1 gh , o que por
P
sua vez implica que gG g uma combinao linear dos elementos do conjunto
{ci }. Portanto, {ci } uma k-base de Z(k[G]) e, consequentemente,
r = dimk Z(k[G]) = nmero de classes de conjugao de G
e o Corolrio est demonstrado.
4.3
Representaes irredutveis de S3 sobre C
Nesta breve seo, como uma aplicao do que foi discutido at aqui, vamos classificar as representaes irredutveis de S3 (o grupo das permutaes de
trs elementos) sobre C. Assim, considerando S3 como o grupo das permutaes dos smbolos 1, 2 e 3, e notando uma permutao por (a1 a2 ...ar ), para dizer que o elemento ai levado no elemento ai+1 , 1 i r 1 e ar levado em a1 , deixando fixos os elementos que no aparecem nesta escrita, temos
S3 = {(1), (12), (13), (23), (123), (132)} e | S3 |= 6.
Lembramos ainda da teoria de grupos que S3 um grupo gerado por dois elementos, digamos e , sujeitos s seguintes relaes: 2 = (1), 3 = (1) e
= 2 . Por exemplo, podemos tomar = (12) e = (123). Mais ainda, S3
possui um subgrupo normal de ndice dois, a saber, N =< >. Alm disso, como
elementos conjugados em Sn possuem a mesma estrutura de ciclos, segue que existem 3 classes de conjugao em S3 , a saber, C1 = {(1)}, C2 = {(12), (13), (23)}
e C3 = {(123), (132)}. Estas informaes sero usadas no decorrer de nossa argumentao.
Usando ento o Corolrio 4.2.6, obtemos que
CS3 ' Mn1 (C) Mn2 (C) Mn3 (C)
com 6 = n21 + n22 + n23 . Como CS3 no comutativo, segue que pelo menos um
dos ndices ni deve ser diferente de 1. Portanto, n1 = n2 = 1 e n3 = 2, ou seja,
S3 possui duas representaes irredutveis unidimensionais e uma bidimensional.
Assim, podemos melhorar a decomposio de CS3 para a forma
CS3 ' C C M2 (C)
68
Vamos encontrar as representaes de grau 1 de S3 sobre C. Seja ento V um

C-espao vetorial unidimensional, digamos V = Cv. Observamos agora que a
ao trivial : G GL1 (V ), g = idV , para todo g S3 uma representao
linear de S3 sobre C, como fcil verificar.
Seja N =< > um subgrupo normal de ndice 2. Definimos ento : S3
GL1 (V ), por g = idV , se g N e g = idV , se g 6 N . Assim, se g, h S3 ,
com gh N ento ou g, h N ou g, h 6 N e, consequentemente, gh = idV =
g h . O mesmo acontece, se gh 6 N (verifique!). Assim, uma representao
linear de S3 sobre C.
Procurando a representao irredutvel de grau dois de S3 sobre C, e tendo em
mente as relaes dos geradores de S3 , observamos que se C uma raiz cbica
primitiva da unidade, ento
"
0 1
1 0
"
#2
"
0
0 2
1 0
0 1
#"
"
0 1
1 0
"
0
0 2
0 1
1 0
#3
"
=
#"
1 0
0 1
0
0 2
portanto, a aplicao : S3 GL2 (C), induzida por

"
0 1
1 0
"
e 7
0
0 2
claramente um isomorfismo de grupos. Assim, tomando V um C-espao vetorial

de dimenso 2, digamos com base B = {e1 , e2 }, podemos definir : S3
GL2 (V ), induzida por
x : e1 7 e2 , x : e2 7 e1 , y : e1 7 e1
y : e2 7 2 e2
para obtermos uma representao linear de S3 sobre C.

Vamos verificar agora que a representao acima de fato irredutvel. Para
tanto, precisamos mostrar que no existe nenhum subespao unidimensional de V
que seja invariante pela ao linear de S3 dada por:
x e1 = e2 , x e2 = e1 , y e1 = e1
y e2 = 2 e2 .
De fato, pois evidente que o subespao Ce1 no fixo por x. Dado W um

subespao unidimensional de V , segue que existe C tal que W = C(e1 +e2 ).
Suponhamos que W seja invariante por esta ao de S3 . Ento devemos ter
x (e1 + e2 ) = e2 + e1 C(e1 + e2 )
de onde segue que existe C tal que e1 + e2 = e1 + e2 , ou seja, s
podemos ter = = 1 ou = = 1. Agora, por outro lado, temos
y (e1 + e2 ) = e1 + 2 e2 6 C(e1 + e2 )
4.3. REPRESENTAES IRREDUTVEIS DE S3 SOBRE C
69
e
y (e1 e2 ) = e1 2 e2 6 C(e1 + e2 )
o que uma contradio.
Portanto, no existe nenhum subespao unidimensional de V que fique fixo
pela ao de S3 , isto , V no possui nenhum CS3 -submdulo prprio, ou ainda,
V um CS3 -mdulo simples e, portanto, V uma representao irredutvel de grau
2 de S3 sobre C. Completamos assim a classificao das representaes lineares
irredutveis de S3 sobre C.
Exerccios
1. O objetivo deste exerccio mostrar que se G um grupo cclico de ordem
n e k um corpo de caracterstica zero (ou cuja caracterstica no divida a
ordem de G), ento existe um isomorfismo de anis
k[G] '
k[X]
< Xn 1 >
Seja k um corpo de caracterstica zero e G =< a : an = 1 >, um grupo

cclico de ordem n gerado por um elemento a. Mostre que:
(i) : k[X] k[G], dado por (f (x)) = f (a) um epimorfismo de
anis.
(ii) N uc =< X n 1 >.
(iii) Conclua que k[G] ' k[X]/ < X n 1 > como anis.
2. (Continuao do exercco anterior) Com as mesmas hipteses do exerccio
anterior, use o Teorema Chins de Restos para concluir que
k[G] '
k[X]
k[X]

< p1 (X) >
< pt (X) >
onde X n 1 = p1 (X) pt (X) a fatorao de X n 1 em fatores irredutveis em k[X].

3. (Continuao do exercco anterior) Assumindo que i k uma raiz de
pi (X), 1 i t, nas hipteses do exerccio anteior, mostre que
k[G] ' k(1 ) k(t )
ou seja, neste caso, o anel de grupo k[G] uma soma direta de extenses
ciclotmicas de k.
4. Considere G o grupo cclico de ordem 7. Mostre que Q[G] ' Q Q(),
onde uma raiz stima primitiva da unidade.
5. Determine todas as representaes lineares irredutveis de S4 .
70
Captulo 5
J-semissimplicidade
No captulo 3, estudamos a semissimplicidade de um anel, usando para tal a
estrutura de seus mdulos. Agora, pretendemos dar uma outra abordagem a este
tpico, mas olhando internamente a estrutura do prprio anel. Este o tema do
presente captulo.
Para atingir nosso objetivo, na primeira seo introduzimos o conceito de radical de Jacobson de um anel e discutiremos algumas de suas propriedades. Na
seo seguinte vamos mostrar que, num certo sentido, o radical de Jacobson d
uma medida de quo longe o anel est de ser semissimples. Assim, estudar a Jsemissimplicidade de um anel seria naturalmente o prximo passo a ser dado no
estudo dos anis no comutativos, segundo nossa linha de trabalho.
5.1
O radical de Jacobson
Vamos introduzir o conceito de radical de Jacobson de um anel, sem entrarmos em detalhes mais finos sobre a teoria dos radicais. Para que nossa definio
se torne mais natural, observamos que um corpo k age fielmente sobre qualquer
k-espao vetorial e, em particular, sobre seus espaos vetoriais unidimensionais
(simples). O mesmo j no acontece quando passamos ao contexto dos mdulos
sobre anis. Como os mdulos semissimples so soma de seus submdulos simples, segue que os elementos do anel base que anulam todos os mdulos simples
passam a ser indesejveis para o estudo da semissimplicidade. Desta forma, vamos
reun-los inicialmente num conjunto, que depois ser visto ser um ideal de fato.
Mais precisamente, temos o seguinte conceito.
Definio 5.1.1. Sejam R um anel e S a famlia dos R-mdulos esquerda simples. O radical de Jacobson de R definido como sendo o conjunto
J(R) := V S AnR (V )
.
71
72
CAPTULO 5. J-SEMISSIMPLICIDADE
Observamos que o radical de Jacobson de um anel de fato um ideal bilateral.

Note que se V um R-mdulo, ento AnR (V ) um ideal bilateral. Assim, J(R)
est definido como uma interseco de ideais bilaterais, sendo assim ele prprio
um ideal bilateral de R. Alm disso, claramente 1R 6 J(R), ou seja, J(R) 6= R.
Observamos tambm que J(R/J(R)) = 0. Esta condio sempre deve ser
satisfeita para que um ideal possa ser um radical, mas como no introduzimos
o conceito formal de radical de um anel, precisamos verificar esta igualdade. De
fato, basta observar que todo R-mdulo esquerda simples tambm um R/J(R)mdulo simples, com ao dada por (r + J(R))v = rv, para todo v V , onde
V um R-mdulo esquerda simples. Esta ao est bem definida, pois J(R)
AnR (V ), por definio.
A discusso acima nos diz que, num certo sentido, o anel R/J(R) no possui
elementos indesejveis ao estudo da semissimplicidade de um anel, conferindo ao
radical de Jacobson um papel importante neste estudo.
Existem vrias formas equivalentes de definir o radical de Jacobson de um
anel. No que segue, vamos apresentar algumas destas formas, as quais dependem
muito mais da estrutura interna do anel do que de seus mdulos. Isto vai tambm
na direo de facilitar o clculo do radical de Jacobson, quando necessrio. Para
facilitar nossa escrita, vamos fixar alguma notao antes.
Observao 5.1.2. Seja R um anel. Escreveremos:
(i) Maxl (R), para denotar a famlia de todos os ideais esquerda maximais de
R;
(ii) Maxr (R), para denotar a famlia de todos os ideais direita maximais de
R.
Observe agora que se x J(R) e M Maxl (R), ento R/M um Rmdulo esquerda simples, de onde segue que x(R/M) = 0, ou seja, xR M,
ou ainda, x M. Portanto, temos
x {M : M Maxl (R)}
Reciprocamente, se x {M : M Maxl (R)} e V um R-mdulo
esquerda simples, ento sabemos que V = Rv, para todo elemento no nulo v
V , e que AnR (v) Maxl (R). Logo, xv = 0, para todo elemento v V \ {0}.
Portanto, xV = 0 e temos que x AnR (V ). Como V foi tomado arbitrrio, segue
finalmente que x J(R).
A argumentao acima produz o nosso prximo resultado que muitas vezes
aparece como uma definio do radical de Jacobson de uma anel.
Proposio 5.1.3. Seja R um anel. Ento, J(R) = I, onde I percorre a famlia
dos ideais esquerda maximais de R.
Embora esta caracterizao do radical de Jacobson seja mais conveniente para
se fazer clculos, no decorre imediatamente dela que J(R) seja um ideal bilateral. Alis, esta caracterizao do radical de Jacobson via interseo de ideais
5.1. O RADICAL DE JACOBSON
73
esquerda maximais, se tomada como definio, deveria produzir o conceito de radical de Jacobson esquerda e, de modo anlogo, teramos o conceito de radical de
Jacobson direita, como sendo a interseo de todos os ideais direita maximais
de R. Felizmente, pode-se mostrar que estas duas intersees de fato coincidem, e
o conceito de radical de Jacobson se torna simtrico. Para ver que estas intersees
coincidem, vamos usar uma nova caracterizao do radical de Jacobson ao nvel de
seus elementos.
Proposio 5.1.4. Seja R um anel. As seguintes afirmaes so equivalentes:
(i) x J(R);
(ii) 1 rx possui um inverso esquerda, para todo r R;
(iii) 1 rxt um elemento invertvel em R, para todos r, t R.
Demonstrao. (i) (ii) Suponhamos que exista r R tal que 1rx no possui
um inverso esquerda em R. Assim, R(1 rx) um ideal esquerda prprio de
R e, portanto, deve existir M Maxl (R) tal que R(1 rx) M. Mas ento,
como 1 rx M e x J(R) = {N : N Maxl (R)} (Proposio 5.1.3),
segue que 1 M, o que no pode ocorrer.
(ii) (i) Seja x R e suponhamos que 1 rx possua um inverso esquerda, para toda a escolha de r R. Queremos mostrar que x {M :
M Maxl (R)}. De fato, pois se existir M Maxl (R) tal que x 6 M, ento M + Rx = R, de onde segue que existem elementos a M, r R tais que
a + rx = 1, ou seja, 1 rx = a M, o que no pode ocorrer.
(i) (iii) Sejam x J(R) e r, t R. Ento, xt J(R) e 1 r(xt)
tem inverso esquerda, pela argumentao acima. Assim, existe s R tal que
s(1 rxt) = 1. Agora, como rxt J(R), segue que 1 s(rxt) possui
inverso esquerda, ou seja, existe u R tal que u(1 s(rxt)) = 1. Mas ento
s = 1 + srxt e da, 1 = u(1 s(rxt)) = u(1 + srxt) = us, de onde segue que
s um elemento invertvel em R, por ter inverso tanto esquerda como direita e,
alm disso, u = 1 rxt. Portanto, 1 rxt um elemento invertvel em R.
(iii) (i) Se 1 rxt um elemento invertvel em R, para toda a escolha de
r, t R, ento escolhendo t = 1, obtemos que 1 rx tem inverso esquerda, para
todo r R, e segue que x J(R), pela argumentao feita em (ii) (i).
A simetria do tem (iii) da Proposio 5.1.4 garante ento o seguinte resultado.
Corolrio 5.1.5. Seja R um anel. Ento,
J(R) = {M : M Maxl (R)} = {N : N Maxr (R)}
O prximo resultado um fato muito utilizado em teoria de anis, o qual confere uma maior importncia ao radical de Jacobson.
Proposio 5.1.6. (Lema de Nakayama) Sejam R um anel e M um R-mdulo
esquerda finitamente gerado. Se J(R)M = M , ento M = 0.
74
Demonstrao. Seja M = Rm1 + + Rms um R-mdulo no nulo, onde

{m1 , ..., ms } um conjunto minimal de geradores. Ento, m1 6= 0 e podemos
tomar um submdulo maximal de M que contm m1 , o qual existe pelo Lema de
Zorn. De fato, a famlia de submdulos prprios de M que contm Rm1 um
sistema indutivo (prove isto!). Vamos chamar um tal submdulo de N . Assim,
V = M/N um R-mdulo esquerda simples, de onde segue que J(R)V = 0.
Portanto, J(R)M N uc , onde : M M/N a projeo cannica. Portanto, J(R)M 6= M , e o Lema de Nakayama est provado.
Cabe observar que a hiptese de M ser finitamente gerado no pode ser enfraquecida. Observamos que se p Z um primo, Z(p) := { ab : p no divide b} e
M =< p > Z(p) , ento Z(p) um anel local cujo nico ideal maximal dado por
M =< p > Z(p) = J(Z(p) ), o qual um subanel de Q. Alm disso, podemos
mostrar que M Q = Q, mas Q 6= 0.
Chamamos a ateno para o fato de que M ter sido tomado finitamente gerado
como R-mdulo esquerda foi fundamental na argumentao feita acima, quando
usamos que a famlia de R-submdulos de M que contm Rm1 um sistema
indutivo.
Uma consequncia importante do Lema de Nakayama, e que nos ser til mais
a frente, o fato que J(R) um ideal nilpotente, sempre que R for um anel artiniano esquerda. Mais precisamente, temos o seguinte.
Definio 5.1.7. Sejam R um anel e I um ideal (ideal esquerda, ideal direita)
n
n
de
( R. Dizemos que I )nilpotente, se existir n 1 tal que I = 0, onde I :=
X
a1 a2 ...an : ai I . O menor inteiro positivo n tal que I n = 0 chamado
finita
de ndice de nilpotncia de I.
Exemplo 5.1.8. Seja R um anel comutativo e M um R-mdulo no nulo. Ento
podemos mostrar facilmente que
R M
0 R
:=
r m
0 r
: r R, m M
um anel comutativo. Com esta notao,

I=
0 M
0 0
um ideal nilpotente com ndice de nilpotncia igual a 2, pois fcil ver que
I 2 = 0 e I 6= 0.
Podemos ento enunciar o nosso resultado.
Proposio 5.1.9. Seja R um anel artiniano esquerda. Ento J(R) um ideal
nilpotente.
5.1. O RADICAL DE JACOBSON
75
Demonstrao. Como todo ideal (bilateral) tambm um ideal esquerda, a cadeia descendente
J(R) J(R)2 J(R)n
deve estacionar, ou seja, existe ndice m tal que J(R)m = J(R)m+1 . Seja I =
J(R)m . Afirmamos que I = 0. De fato, pois do contrrio, como I 2 = I, a famlia
de ideais esquerda K de R tais que IK 6= 0 seria no vazia e, portanto, teria um
elemento minimal, pela artianidade de R. Chamando um tal elemento de L, segue
que L = Ry, para todo y L \ {0}. Mas ento, IL = IRy = Iy = L, pois Iy
um R-submdulo no nulo de L tal que I(Iy) = I 2 y = Iy 6= 0. Portanto,
J(R)L = J(R)IL = IL = L
e, como L = Ry finitamente gerado, segue do Lema de Nakayama (Proposio
5.1.6) que L = 0, uma contradio.
O resultado acima no vale em geral, sem a hiptese de artianidade de R. Para
ver isto, considere R o anel das matrizes infinitas N N triangulares superiores,
com apenas um nmero finito de entradas no nulas em um corpo. Neste caso,
possvel mostrar que J(R) o conjunto de todas tais matrizes que possuem as
entradas da diagonal principal nulas e que J(R) no um ideal nilpotente.
O conceito de nilpotncia pode ser feito para elementos. Com ele, podemos
relaxar um pouco a condio de nilpotncia para ideais.
Definio 5.1.10. Seja R um anel e x R. Ento dizemos que x um elemento
nilpotente, se existir n 1 tal que xn = 0. O menor tal inteiro chamado de
ndice de nilpotncia de x. Um ideal I (resp. ideal esquerda, ideal direita) de R
dito um nil ideal (resp. nil ideal esquerda, nil ideal direita), se todo elemento
de I nilpotente.
Note que todo ideal nilpotente um nil ideal, mas a recproca nem sempre vale.
Z[x1 ,x2 ,x3 ,...]
Por exemplo, tomando R = <x
2 ,x2 ,x3 ,...> e I, o ideal de R gerado pelos elementos
1 2 3
x1 , x2 , x3 , ..., ento I claramente um nil ideal, mas no nilpotente. Tambm,
no exemplo das matrizes infinitas dado acima, o radical de Jacobson de fato um
nil ideal que no nilpotente.
Podemos enunciar o seguinte resultado geral.
Lema 5.1.11. Sejam R um anel e I um nil ideal esquerda de R. Ento, I
J(R).
Demonstrao. Sejam x I e r R. Como I um nil ideal esquerda, segue
que rx um elemento nilpotente, pois rx I. Digamos que o ndice de nilpotncia
de rx seja n. Ento, temos
(1 + rx + (rx)2 + (rx)3 + + (rx)n1 )(1 rx) = 1
de onde segue que 1 rx possui inverso esquerda. Consequentemente, aplicando
a Proposio 5.1.4, obtemos que x J(R), pois r R foi tomado arbitrrio.
76
Finalizamos esta seo observando que segue da Proposio 5.1.9 e do Lema

5.1.11, que o radical de Jacobson o maior ideal nilpotente de um anel artiniano
esquerda. Portanto, o ideal utilizado por Wedderburn est definido para esta classe
de anis, possibilitando que seus resultados sejam generalizados para estes anis,
como foi feito por Artin.
5.2
J-semissimplicidade
Um dos objetivos desta seo o de esclarecer a frase dita na introduo deste

captulo, onde se afirma que num certo sentido, o radical de Jacobson mede o quo
longe um anel est de ser semissimples.
Teorema 5.2.1. Seja R um anel. Se R semissimples, ento J(R) = 0. A recproca verdadeira se R for artiniano esquerda.
Demonstrao. Suponhamos R semissimples. Ento R R semissimples, de onde
segue que R R uma soma (direta) de R-mdulos esquerda simples. Assim, se
x J(R), x anula todos estes mdulos simples, ou seja, xR = 0, de onde se
obtm que x = 0.
Reciprocamente, suponhamos que R artiniano esquerda e J(R) = 0. Consideremos I1 um ideal esquerda minimal de R (o qual existe pela artinianidade
de R R). Vamos mostrar que I1 um somando direto de R R. De fato, pois como
J(R) = 0, deve existir M Maxl (R) que no contm I1 , pelo Teorema 5.1.3.
Assim, devemos ter M I1 = 0, pela simplicidade de I1 . Alm disso, pela maximalidade de M, segue que M + I1 = R, ou seja, R = M I1 .
Agora s observar que M artiniano esquerda, por ser submdulo de um
mdulo artiniano, e repetir a argumentao acima, com M em lugar de R R, para
obter R R = I1 I2 Ir , onde Ij um ideal esquerda minimal de R.
Portanto R R semissimples, como queramos mostrar.
Note que na argumentao acima s usamos a artinianidade de R para garantir
a existncia de ideais minimais. Assim, o seguinte corolrio fica evidente.
Corolrio 5.2.2. Seja R um anel tal que J(R) = 0. Ento todo ideal esquerda
minimal, se existir, um somando direto do mdulo regular R R.
Observamos tambm que a hiptese de artianidade fundamental na recproca
do teorema acima, pois
J(Z) = {pZ : p um primo } = 0
e Z no semissimples, como visto antes.
Aps esta discusso introdutria, apresentamos o conceito chave desta seo.
Definio 5.2.3. Seja R um anel. Dizemos que R Jacobson semissimples (ou
simplesmente, J-semissimples), se J(R) = 0.
5.2. J-SEMISSIMPLICIDADE
77
Usando esta terminologia, o Teorema 5.2.1 pode ser reescrito na seguinte forma.
Corolrio 5.2.4. Seja R um anel. Ento as seguintes afirmaes so equivalentes:
(i) R semissimples;
(ii) R artiniano esquerda e J-semissimples.
O seguinte resultado imediato.
Corolrio 5.2.5. Seja R um anel artiniano esquerda. Ento, R/J(R) o maior
anel fator de R que semissimples.
Portanto, se R um anel artiniano esquerda, segue do Teorema de WedderburnArtin que
R/J(R) ' m
i=1 Mni (Di )
onde ni = dimDi (Vi ), Di = EndR (Vi ) e {V1 , V2 , ..., Vm } um sistema de representantes das classes de isomorfismos de R-mdulos esquerda simples.
Como j foi mencionado antes, nenhuma das condies de cadeia para mdulos implicam na outra, em geral. Mas no caso do mdulo regular R R (resp.
RR ), surpreendentemente, a condio de cadeia descendente implica a condio
de cadeia ascendente. Isto foi observado independentemente por Hopkins e Levitzky, aproximadamente dez anos aps os trabalhos de Artin que estenderam o
Teorema de Wedderburn, usando ambas as condies de cadeia em lugar da finitodimensionalidade usada originalmente por este ltimo. Vamos finalizar esta seo,
apresentando uma verso mais elementar do resultado de Hopkins-Levitzky.
Teorema 5.2.6. (Teorema de Hopkins-Levitzky - verso fraca) Seja R um anel.
Se R artiniano esquerda, ento R noetheriano esquerda.
Demonstrao. Suponhamos R artiniano esquerda. Segue ento da Proposio 5.1.9 que J(R) nilpotente, digamos, com ndice de nilpotncia n. Assim,
J(R)n = 0, e podemos considerar a cadeia decrescente
R = J(R)0 J(R)2 J(R)n = 0.
Para obter o resultado desejado, vamos mostrar que cada um dos R-mdulos esquerda Ni = J(R)i /J(R)i+1 tem comprimento finito. De fato, como quocientes
de um anel artiniano esquerda, Ni artiniano, para cada ndice i. Observe agora
que Ni anulado por J(R), de onde segue que Ni um R/J(R)-mdulo. Como
R/J(R) semissimples, pelo Corolrio 5.2.5, segue que Ni semissimples como
R/J(R)-mdulo. Como a estrutura de R-mdulo e de R/J(R)-mdulo de Ni
coincidem, segue que cada um dos R-mdulos Ni semissimples e artiniano, de
onde segue que possuem comprimento finito, pelos resultados do Captulo 3. Isto
mostra que o mdulo regular R R possui uma srie de composio, de onde obtemos que R R noetheriano, ou seja, R um anel noetheriano esquerda, como
queramos mostrar.
78
Note que Z um noetheriano mas no artiniano. Logo, a condio de cadeia

ascendente no implica a condio descendente nem mesmo para anis. Assim,
para anis com unidade, a artinianidade uma condio mais forte que a noetherianidade.
Exerccios
1. Seja Zn := Z/nZ, onde n = pe11 . . . pekk , com pi 6= pj , se i 6= j. Mostre que:
(i) Os ideais de Zn so da forma < a > / < n >, onde a | n em Z.
(ii) Os ideais maximais de Zn so da forma < pi > / < n >.
(iii) J(Zn ) =< m > / < n >, onde m = p1 p2 ...pk .
(iv) Como Zn um Z-mdulo artiniano (por ser finito), conclua que Zn
semissimples se, e somente se, n livre de quadrados.
2. Seja R um anel. Mostre que J(Mn (R)) = Mn (J(R)). Mostre tambm
que se R = iI Ri , ento J(R) = iI J(Ri ). O que se pode dizer, a
partir deste resultado, sobre o radical de Jacobson de anis semissimples?
3. Sejam R um anel e I um ideal de R tal que R/I um anel J-semissimples.
Mostre que I J(R). Conclua da que J(R) o menor ideal I de R tal que
o anel fator R/I J-semissimples.
4. Sejam R e S dois anis e f : R S um epimorfismo de anis. Mostre que
f (J(R)) J(S).
5. Mostre que a soma de ideais nilpotentes de um anel R um ideal nilpotente.
Veja que o mesmo resultado no vale para nil ideais, em geral. Se R
artiniano, ento todo nil ideal nilpotente e, neste caso, a soma de nil ideais
um nil ideal.
Referncias Bibliogrficas
[1] ARTIN, E. Zur Theorie der hyperkomplexen Zahlen. Abh. Math. Sem. Univ.
Hamburgo, v. 5, p. 251-260, 1927.
[2] ARTIN, E. The influence of J. H. M. Wedderburn on the development of
modern algebra. Bull. Amer. Math. Soc., v. 56, n. 1, p. 65-72, 1950.
[3] DENNIS,R. K.; FARB, B. Noncommutative Algebra. New York: SpringerVerlag, 1993.
[4] DORNHOFF, L., Group Representation Theory - Part A: Ordinary Representation Theory. New York: Marcel Dekker, 1971.
[5] DROZD, Y. A.; KIRICHENKO, V. V.; Finite Dimensional Algebras. Berlin
Heidelberg: Springer Verlag, 1994.
[6] FERRERO, M.; Teoremas de Estructura para lgebras Semisimples, XV Escuela Venezolana de Matemticas. Mrida: 2002.
[7] GOLDMAN, O. A characterization of semi-simple rings with descending
chain condition. Bull. Amer. Math. Soc., v. 52, n. 12, p. 1021 - 1027, 1946.
[8] HOPKINS, C. Rings with minimal conditions on left ideals. Ann. of Math., v.
40, n. 3, p. 712-730, 1939.
[9] LAM, T. Y.; A First Course in Noncommutative Rings. New York: SpringerVerlag, 1991.
[10] LAMBEK, J. Lectures on Modules and Rings. New York: Chelsea Publishing
Co., 1976.
[11] LAVITZKI, J. On rings which satisfy the minimum condition for the righthand ideals. Compositio Math., v. 7, p. 214 - 222, 1939.
[12] MILIES, C. P.; Anis e mdulos. So Paulo: Edusp, 1972.
[13] MILIES, C. P.; SEHGAL, S. K.; An Introduction to Group Rings. Dordrecht:
Kluwer Academic Publishers, 2002.
79
80
REFERNCIAS BIBLIOGRFICAS
[14] MOLIEN, T. ber systeme hher complexes zahlen, Mathematische Annalen, v. 41, p. 83 - 156, 1893.
[15] RIBENBOIM, P.; Rings and Modules. Interscience Publishers, 1969.
[16] WEDDERBURN, J. H. M. On hypercomplex numbers. Proc. London Math.
Soc., v. 6, p. 77-117, 1908
COLEO DO PROFESSOR DE MATEMTICA

Logaritmos - E. L. Lima
Anlise Combinatria e Probabilidade com as solues dos exerccios - A. C. Morgado, J. B.

Pitombeira, P. C. P. Carvalho e P. Fernandez
Medida e Forma em Geometria (Comprimento, rea, Volume e Semelhana) - E. L. Lima
Meu Professor de Matemtica e outras Histrias - E. L. Lima
Coordenadas no Plano as solues dos exerccios - E. L. Lima com a colaborao de P. C. P.

Carvalho
Trigonometria, Nmeros Complexos - M. P. do Carmo, A. C. Morgado e E. Wagner, Notas

Histricas de J. B. Pitombeira
Coordenadas no Espao - E. L. Lima
Progresses e Matemtica Financeira - A. C. Morgado, E. Wagner e S. C. Zani
Construes Geomtricas - E. Wagner com a colaborao de J. P. Q. Carneiro
Introduo Geometria Espacial - P. C. P. Carvalho
Geometria Euclidiana Plana - J. L. M. Barbosa
Isometrias - E. L. Lima
A Matemtica do Ensino Mdio Vol. 1 - E. L. Lima, P. C. P. Carvalho, E. Wagner e A. C. Morgado
Matemtica e Ensino - E. L. Lima
Temas e Problemas - E. L. Lima, P. C. P. Carvalho, E. Wagner e A. C. Morgado
Episdios da Histria Antiga da Matemtica - A. Aaboe
Exame de Textos: Anlise de livros de Matemtica - E. L. Lima
A Matemtica do Ensino Medio Vol. 4 - Exercicios e Solues - E. L. Lima, P. C. P. Carvalho, E.

Wagner e A. C. Morgado
Construes Geomtricas: Exerccios e Solues - S. Lima Netto
Um Convite Matemtica - D.C de Morais Filho
Tpicos de Matemtica Elementar - Volume 1 - Nmeros Reais - A. Caminha
Tpicos de Matemtica Elementar - Volume 2 - Geometria Euclidiana Plana - A. Caminha
Tpicos de Matemtica Elementar - Volume 3 - Introduo Anlise - A. Caminha
Tpicos de Matemtica Elementar - Volume 4 - Combinatria - A. Caminha
Tpicos de Matemtica Elementar - Volume 5 - Teoria dos Nmeros - A. Caminha
Tpicos de Matemtica Elementar - Volume 6 - Polinmios - A. Caminha
Treze Viagens pelo Mundo da Matemtica - C. Correia de Sa e J. Rocha (editores)
Como Resolver Problemas Matemticos - T. Tao
Geometria em Sala de Aula - A. C. P. Hellmeister (Comit Editorial da RPM)
Nmeros Primos, amigos que causam problemas - P. Ribenboim
Manual de Redao Matemtica - D.C de Morais Filho
COLEO PROFMAT

Introduo lgebra Linear - A. Hefez e C.S. Fernandez
Tpicos de Teoria dos Nmeros - C. G. Moreira , F. E Brochero e N. C. Saldanha
Polinmios e Equaes Algbricas - A. Hefez e M.L. Villela
Tpicos de Historia de Matemtica - T. Roque e J. Bosco Pitombeira
Recursos Computacionais no Ensino de Matemtica - V. Giraldo, P. Caetano e F. Mattos
Temas e Problemas Elementares - E. L. Lima, P. C. P. Carvalho, E. Wagner e A. C. Morgado
Nmeros e Funes Reais - E. L. Lima
Aritmtica - A. Hefez
Geometria - A. Caminha
Avaliao Educacional - M. Rabelo
Geometria Analtica - J. Delgado, K. Frensel e L. Crissaff
Matemtica Discreta - A. Morgado e P. C. P. Carvalho
Matemtica e Atualidade - Volume 1 - C. Rousseau e Y. Saint-Aubin
Fundamentos de Clculo - A. C. Muniz Neto
Matemtica e Atualidade - Volume 2 - C. Rousseau e Y. Saint-Aubin
Exerccios Resolvidos de lgebra Linear - A. Hefez e C. de Souza Fernandez
COLEO INICIAO CIENTFICA

Nmeros Irracionais e Transcendentes - D. G. de Figueiredo
Nmeros Racionais e Irracionais - I. Niven
Tpicos Especiais em lgebra - J. F. S. Andrade
COLEO TEXTOS UNIVERSITRIOS

Introduo Computao Algbrica com o Maple - L. N. de Andrade
Elementos de Aritmtica - A. Hefez
Mtodos Matemticos para a Engenharia - E. C. de Oliveira e M. Tygel
Geometria Diferencial de Curvas e Superfcies - M. P. do Carmo
Matemtica Discreta - L. Lovsz, J. Pelikn e K. Vesztergombi
lgebra Linear: Um segundo Curso - H. P. Bueno
Introduo s Funes de uma Varivel Complexa - C. S. Fernandez e N. C. Bernardes Jr.
Elementos de Topologia Geral - E. L. Lima
A Construo dos Nmeros - J. Ferreira
Introduo Geometria Projetiva - A. Barros e P. Andrade
Anlise Vetorial Clssica - F. Acker
Funes, Limites e Continuidade - P. Ribenboim
Fundamentos de Anlise Funcional - G. Botelho, D. Pellegrino e E. Teixeira
Teoria dos Nmeros Transcendentes - D. Marques
Introduo Geometria Hiperblica - O modelo de Poincar - P. Andrade
lgebra Linear: Teoria e Aplicaes - T. P. de Arajo
Introduo Anlise Matemtica na Reta - C. I. Doering
Topologia e Anlise no Espao Rn - R. Freire de Lima
Equaes Ordinrias e Aplicaes - B. Scrdua
COLEO MATEMTICA APLICADA

Introduo Inferncia Estatstica - H. Bolfarine e M. Sandoval
Discretizao de Equaes Diferenciais Parciais - J. Cuminato e M. Meneguette
Fenmenos de Transferncia com Aplicaes s Cincias Fsicas e Engenharia volume 1:

Fundamentos - J. Pontes e N. Mangiavacchi
COLEO OLIMPADAS DE MATEMTICA

Olimpadas Brasileiras de Matemtica, 1 a 8 - E. Mega e R. Watanabe
Olimpadas Brasileiras de Matemtica, 9 a 16 - C. Moreira e E. Motta, E. Tengan, L. Amncio,

N. C. Saldanha e P. Rodrigues
21 Aulas de Matemtica Olmpica - C. Y. Sh
Iniciao Matemtica: Um Curso com Problemas e Solues - K. I. M. Oliveira e A. J. C.

Fernndez
Olimpadas Cearenses de Matemtica 1981-2005 Nvel Fundamental - E. Carneiro, O. Campos e

M.Paiva
Olimpadas Cearenses de Matemtica 1981-2005 Nvel Mdio - E. Carneiro, O. Campos e M.Paiva
Olimpadas Brasileiras de Matemtica - 17 a 24 - C. G. T. de A. Moreira, C. Y. Shine, E. L. R.

Motta, E. Tengan e N. C. Saldanha
Coleo Fronteiras da Matemtica

Fundamentos da Teoria Ergdica - M.Viana e K. Oliveira
Tpicos de Geometria Diferencial - A. C. Muniz Neto
Formas Diferenciais e Aplicaes - M. Perdigo do Carmo
Coleo Matemtica para o Ensino

Livro do Professor de Matemtica na Educao Bsica Volume I Nmeros Naturais - C. Ripoll, L.

Rangel e V. Giraldo
Livro do Professor de Matemtica na Educao Bsica Volume II Nmeros Inteiros - C. Ripoll, L.

Rangel e V. Giraldo

Uma Introducao Ao Estudo Dos Aneis Semissimples Ebook PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Uma Introducao Ao Estudo Dos Aneis Semissimples Ebook PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Uma Introducao Ao Estudo Dos Aneis Semissimples Ebook PDF

Enviado por

Direitos autorais:

Formatos disponíveis

COLQUIOS DE MATEMTICA DAS REGIES

Um introduo ao estudo dos

Uma introduo ao estudo dos anis semissimples

COLQUIOS DE MATEMTICA DAS REGIES

Marlia, pelo carinho, apoio e cumplicidade.

Ao Filipe, por estar sempre tentando me mostrar a

Condies de finitude para anis e mdulos

Uma Aplicao da semissimplicidade

inegvel suas respectivas influncias.

Definio 1.1.1. Dizemos que um conjunto R, munido de duas operaes binrias,

Lembramos que uma operao ? definida em um conjunto A nada mais do

possvel mostrar que elementos neutros e simtricos, quando existem, so

do item anterior, pois f (a) + f (a) = f (a + a) = f (0R ) = 0S . Logo, f (a)

Assim, o ncleo de um homomorfismo nos d uma medida de quo longe de ser

Alm destes, existem outros ideais, tanto esquerda quanto direita, em um

k=1 aik ekj )ij nn ,

Portanto, a ao da multiplicao de Ers direita de A equivale a transportar a

k=1 eik akj

k6=q epk akj

+ epq aqj = aqj

Logo, a ao da multiplicao de Epq esquerda de A equivale a transportar a

Observamos agora que se D um anel de diviso, ento D no possui ideais

tem uma estrutura

Grosso modo, um mdulo um espao vetorial"sobre um anel. Isto justifica

ng = g + g + + g(n vezes ), se n > 0

ento segue que < m1 , m2 , ..., mt >= { ti=1 ri mi : ri R, 1 i t}, e

Definio 1.2.13. Seja M um R-mdulo esquerda e {Mi }iI uma famlia de

Observamos que se k um corpo (ou um anel de diviso) e V um k-espao

(ii) f (rm) = rf (m), r R, m M .

Podemos ento induzir, de modo natural, uma estrutura de R-mdulo no conjunto

onde (K) = (K) e (X) = 1 (X), sendo : M M/N a projeo

Observamos que o condutor de K em L um ideal (bilateral) de R. Quando

1.3. SEQUNCIAS EXATAS E SOMAS DIRETAS

que um anel com unidade 1T =

Sequncias exatas e somas diretas

Apesar de as sequncias exatas serem uma ferramenta muito til em vrias

exata, se ela exata em todos os seus mdulos. O nmero de R-homomorfismos

(i) A sequncia 0 N M exata se, e somente se, f um monomorfismo.

(ii) A sequncia N M 0 exata se, e somente se, f um epimorfismo.

(iii) A sequncia 0 N M 0 exata se, e somente se, f um isomorfismo.

Definio 1.3.3. Uma sequncia exata do tipo 0 A B C 0, dita uma

1.3. SEQUNCIAS EXATAS E SOMAS DIRETAS

Exemplo 1.3.5. A sequncia de Z-mdulos abaixo exata

Lema de Zorn e ideais maximais

Por exemplo, se consideramos X = {2, 3, 4, 5, 6, 7, 8, 9, 10} munido com a

1.4. LEMA DE ZORN E IDEAIS MAXIMAIS

subconjuntos linearmente indepedente um sistema indutivo. Os detalhes sero

1.4. LEMA DE ZORN E IDEAIS MAXIMAIS

dado por (x + (I1 In )) = (x + I1 , . . . , x + In ), para todo

Condies de finitude para anis

CAPTULO 2. CONDIES DE FINITUDE PARA ANIS E MDULOS

Se R um anel e M um R-mdulo esquerda simples, ento tomando-se

Sries de composio e condies de cadeia

Sejam R um anel e M um R-mdulo esquerda. Consideremos

(iii) O mdulo M tem um comprimento r, e denotamos por `(M ) = r, se M

2.2. SRIES DE COMPOSIO E CONDIES DE CADEIA

Exemplo 2.2.1. Se k um corpo (ou um anel de diviso) e V um k-espao

kvi Vn1 = kvn Vn = 0

uma srie de composio de V . Assim, um k-espao vetorial n-dimensional