Академический Документы
Профессиональный Документы
Культура Документы
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
Editor Executivo
Hilrio Alencar
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)
Distribuio e vendas
Sociedade Brasileira de Matemtica
Estrada Dona Castorina, 110 Sala 109 - Jardim Botnico
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
4
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
Sumrio
1 Pr-requisitos 7
1.1 Anis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Mdulos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.3 Sequncias exatas e somas diretas . . . . . . . . . . . . . . . . . 25
1.4 Lema de Zorn e ideais maximais . . . . . . . . . . . . . . . . . . 28
3 Semissimplicidade 47
3.1 Noes Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.2 O Teorema de Wedderburn-Artin . . . . . . . . . . . . . . . . . . 52
5 J-semissimplicidade 71
5.1 O radical de Jacobson . . . . . . . . . . . . . . . . . . . . . . . . 71
5.2 J-semissimplicidade . . . . . . . . . . . . . . . . . . . . . . . . 76
5
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
6
SUMRIO
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
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 mos-
trado bastante adequado para introduzirmos os estudantes no mundo dos anis no
comutativos. O objetivo deste texto, conforme sua concepo inicial, era o de apre-
sentar uma demonstrao do Teorema de Wedderburn-Artin. Durante o processo de
escrita das notas, se pensou em escrever um texto um pouco mais completo, acres-
centando uma aplicao interessante da semissimplicidade na classificao das re-
presentaes irredutveis de grupos finitos (Captulo 4) e a J-semissimplicidade
(captulo 5), que uma generalizao natural do contedo estudado nos trs pri-
meiros 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 gradu-
ao nos cursos de matemtica, posto que no existem muitos textos escritos em
portugus, tratando do estudo de anis no comutativos, pelo menos do conheci-
mento 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 nas-
cimento 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 semissim-
ples 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 sol-
veis 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
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
2 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 semissimplici-
dade 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 Wed-
derburn, 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 es-
tudo das lgebras sobre corpos quaisquer, o qual d uma classificao das lgebras
finito-dimensionais, mostrando que estas so um produto direto de lgebras de ma-
trizes 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 ca-
deia 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. Curi-
osamente, 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 indepen-
dentes. 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 conhe-
cido 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 Ja-
cobson 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,
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
SUMRIO 3
Alveri A. SantAna
Maro de 2016
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
4
SUMRIO
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
Agradecimentos
5
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
6
SUMRIO
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
Captulo 1
Pr-requisitos
Desde o comeo, a ideia sempre foi a de apresentar um texto o mais auto sufici-
ente 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 concei-
tos 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 proprie-
dades:
(ii) associativa,
a (b + c) = a b + a c e (a + b) c = a c + b c,
? associativa, se a ? (b ? c) = (a ? b) ? c, a, b, c A;
7
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
8 CAPTULO 1. PR-REQUISITOS
? comutativa, se a ? b = b ? a, a, b A.
A partir destes exemplos podemos construir novos, atravs das seguintes tc-
nicas: 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 considerar-
mos 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.
1.1. ANIS 9
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 ele-
mento neutro da soma unicamente determinado. Alm disso, se R um anel com
unidade, ento a unidade de R unicamente determinada tambm.
(i) 0 a = a 0 = 0,
(v) (1)(1) = 1,
(vi) (1)(a) = a.
(i) 0 S;
(ii) x, y S x y S;
(iii) x, y S xy S.
10 CAPTULO 1. PR-REQUISITOS
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.
f (a +R b) = f (a) +S f (b), a, b R,
f (a R b) = f (a) S f (b), a, b R.
(i) f (0R ) = 0S ,
12 CAPTULO 1. PR-REQUISITOS
1.1. ANIS 13
Vamos usar as seguintes notaes para representar estes tipos de ideais: escre-
veremos 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.
14 CAPTULO 1. PR-REQUISITOS
n
j 6= s
P
k=1 aik ekj = 0
Pn
j=s
P
k=1 aik eks = k6=r aik eks + air ers = air
Logo,
s
0 0 0 a1r 0 0
0 0 0 a2r 0 0
AErs = .. .. .. .. .. .. .. ..
. . . . . . . .
0 0 0 anr 0 0 nn
onde
Pn
i 6= p k=1 eik akj = 0;
Pn
i=p
P
k=1 eik akj = k6=q epk akj + epq aqj = aqj
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
1.1. ANIS 15
ou seja, temos
0 0 0 0
.. .. .. .. ..
. . . . .
0
0 0 0
Epq A = aq1 aq2 aqn1 aqn p
0
0 0 0
.. .. .. .. ..
. . . . .
0 0 0 0
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.
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
16 CAPTULO 1. PR-REQUISITOS
Uma outra aplicao dos ideais na teoria de anis so os anis quocientes. Ve-
remos 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 aritm-
tica modular dos inteiros. Se n Z, ento a relao dada por:
def
x, y Z, x y x y nZ
Z/nZ={0,
uma relao de equivalncia e o conjunto quociente 1,2,...,n1}
tem uma estrutura
de anel (Z/nZ, +, ), dada por:
a + b := a + b, a, b Z,
a b := a b, a, b Z
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.
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.
Vamos
(" discutir
# o prximo exemplo
) a luz dos nossos resultados. Consideremos
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 " isto diretamente).
#! De fato, basta
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 mdu-
los. Para simplificar nossos resultados, vamos supor no restante do texto que todos
os nossos anis possuem unidade.
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
18 CAPTULO 1. PR-REQUISITOS
(ii) r (m1 +M m2 ) = r m1 +M r m2 ; r R, m1 , m2 M ,
1.2. MDULOS. 19
Exemplo 1.2.4. Todo anel um mdulo sobre si mesmo, tanto esquerda quanto
direita, com a ao dada pela prpria multiplicao.
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.
(i) 0 N ,
(ii) n1 , n2 N n1 + n2 N ,
(iii) r R, n N rn N .
20 CAPTULO 1. PR-REQUISITOS
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).
1.2. MDULOS. 21
neste caso, o mdulo < m1 , m2 , ..., mt > ser denotado por ti=1 Rmi . Assim,
P
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 per-
corre o conjunto de ndices I. Quando a famlia de submdulos for finita, escreve-
remos 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.
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 =
P
iI mi ,
com mi Mi e mi = 0, exceto para um nmero finito de ndices.
(ii) Mi ( = 0, i I.
P
j6=i Mj )
22 CAPTULO 1. PR-REQUISITOS
N uc f := {m M : f (m) = 0N }.
(i) f (0M ) = 0N ,
(ii) N uc f um R-submdulo de M ,
x, y M, x N y x y N
1.2. MDULOS. 23
: R M/N M/N
(r, m) 7 rm
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 cor-
respondncia 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 } ,
24 CAPTULO 1. PR-REQUISITOS
m J f := (m)f
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
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
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
26 CAPTULO 1. PR-REQUISITOS
Num certo sentido, podemos pensar que toda sequncia exata curta desta
forma. Mais precisamente, dada a sequncia exata curta
f g
0ABC0
0 2Z , Z Z/2Z 0
28 CAPTULO 1. PR-REQUISITOS
Uma sequncia exata curta que satisfaz (ii) (equivalentemente, que satisfaz
(iii)) na Proposio acima dita uma sequncia exata curta que cinde. As apli-
caes 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 g
0N M P 0
cinde. Como uma aplicao do que fizemos acima, temos o seguinte resultado.
x X, m x m = x (resp., x m m = x)
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.
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
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
F := {I A : I um ideal de A, I 6= A}
30 CAPTULO 1. PR-REQUISITOS
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
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.
(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.
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
32
CAPTULO 1. PR-REQUISITOS
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
Captulo 2
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
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
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 dize-
mos que:
(i) C 0 um refinamento de C, se todo membro de C aparece em C 0 (notaremos
este fato escrevendo C C 0 );
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:
P P 0
: 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.
0 = N0 Nn = N = M0 Mm = M,
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 ) <
.
injetora sobrejetora .
M1 +M2 M1
Demonstrao. (i) Basta observar que M2 ' M1 M2 , para obter da Proposi-
o 2.2.5 que
M1 + M 2 M1
`(M1 +M2 ) = `(M2 )+` e `(M1 ) = `(M1 M2 )+`
M2 M1 M2
de onde segue o resultado.
(ii) Como Im () ' M/N uc (), segue que `(Im ()) < . Ento temos
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.
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.
Segue ento do resultado acima que o mdulo regular de todo domnio de ideais
principais noetheriano.
b a
+ 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 no-
etheriano.
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 sub-
conjuntos 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;
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
e assim sucessivamente.
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.
e tambm que
" # " # " #
0 y1 kn y1 kn 0
= I
0 z1 0 z1 0 0
e, assim, temos
" # " # " #
n y1 n 0 0 y1
= + I.
0 z1 0 0 0 z1
" #
rn y
Tomando ento um elemento qualquer I, segue que
0 z
" # " #" #
1 y1 z
rn y n y1 r n y z1
= z
0 z 0 z1 0 z1
" #
n y1
de onde segue que I gerado por , como ideal direita de R.
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 artini-
ano direita que no artiniano esquerda. Os clculos sero deixados ao leitor.
(" # )
a b
Exemplo 2.3.12. Seja R = : a Q; b, c R . Ento R artiniano
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 R-
endomorfismo 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> .
46
CAPTULO 2. CONDIES DE FINITUDE PARA ANIS E MDULOS
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
Captulo 3
Semissimplicidade
47
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
48 CAPTULO 3. SEMISSIMPLICIDADE
(i) M simples;
Exemplo 3.1.6. Todo mdulo simples semissimples, mas o mdulo nulo se-
missimples e no simples.
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.
Antes de prosseguir, cabe observar que foi usado uma espcie de distributi-
vidade 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 distribu-
tividade vale. Esta era justamente a situao naquele momento.
50 CAPTULO 3. SEMISSIMPLICIDADE
N N 00 = Rm = N N 0 = N (N 00 P )
(i) M semissimples;
(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.
52 CAPTULO 3. SEMISSIMPLICIDADE
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.
Rm = (I1 I2 Ik )m = I1 m + I2 m + + Ik m
54 CAPTULO 3. SEMISSIMPLICIDADE
resultado acima, temos R = RI1 RIr como anel. Os ideais RIl na decom-
posio 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 =
e1 + e2 + en , com ei Ii , 1 i n. Assim, 1 = 12 = ij ei ej = ni=1 e2i ,
P P
56 CAPTULO 3. SEMISSIMPLICIDADE
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.
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.
58 CAPTULO 3. SEMISSIMPLICIDADE
Di0 ' EndRi0 (Vi0 ) ' EndR (Vi0 ) ' EndR (Vi ) ' EndRi (Vi ) = Di
60 CAPTULO 3. SEMISSIMPLICIDADE
Exerccios
1. Seja R um anel. Mostre que R semissimples se, e somente se, toda sequn-
cia exata curta de R-mdulos esquerda cinde.
Captulo 4
Uma Aplicao da
semissimplicidade
: GX X
(g, x) 7 g x
(i) 1G x = x, x X;
(ii) g (h x) = gh x, g, h G, x X.
61
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
Exemplo 4.1.4. Seja X um conjunto. Ento o grupo (Bij (X), ), das permuta-
es 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 apli-
cao : G G G, dada por (g, h) = g h = gh define uma ao de G em
G, chamada de ao regular.
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
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
x (y v) = i i gi ( j j hj v) = i,j i j gi hj v = xy v. Reciprocamente,
P P P
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
1 X 1
(gy) = h (hgy) V
n hG
ou seja,
(hx) = h (x), h G, x k[G].
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
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 Te-
orema de Wedderburn-Artin, segue que
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 li-
nearmente independente sobre k (por ser um subconjunto de uma k-base de k[G]).
Mais ainda, se gG g g Z(k[G]), ento para cada h G, temos
P
g g = h1 ( g h1 gh
X X X
g g)h =
gG gG 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,
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
x : e1 7 e2 , x : e2 7 e1 , y : e1 7 e1 e y : e2 7 2 e2
x e1 = e2 , x e2 = e1 , y e1 = e1 e y e2 = 2 e2 .
x (e1 + e2 ) = e2 + e1 C(e1 + e2 )
y (e1 + e2 ) = e1 + 2 e2 6 C(e1 + e2 )
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
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[X]
k[G] '
< 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[X] k[X]
k[G] '
< p1 (X) > < pt (X) >
onde X n 1 = p1 (X) pt (X) a fatorao de X n 1 em fatores irredu-
tveis 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 .
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
70
CAPTULO 4. UMA APLICAO DA SEMISSIMPLICIDADE
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
Captulo 5
J-semissimplicidade
J(R) := V S AnR (V )
71
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
72 CAPTULO 5. J-SEMISSIMPLICIDADE
74 CAPTULO 5. J-SEMISSIMPLICIDADE
Cabe observar que a hiptese de M ser finitamente gerado no pode ser enfra-
quecida. 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 artini-
ano esquerda. Mais precisamente, temos o seguinte.
um ideal nilpotente com ndice de nilpotncia igual a 2, pois fcil ver que
I 2 = 0 e I 6= 0.
76 CAPTULO 5. J-SEMISSIMPLICIDADE
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.
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.
5.2. J-SEMISSIMPLICIDADE 77
Usando esta terminologia, o Teorema 5.2.1 pode ser reescrito na seguinte forma.
(i) R semissimples;
Para obter o resultado desejado, vamos mostrar que cada um dos R-mdulos es-
querda 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 obte-
mos que R R noetheriano, ou seja, R um anel noetheriano esquerda, como
queramos mostrar.
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
78 CAPTULO 5. J-SEMISSIMPLICIDADE
Exerccios
1. Seja Zn := Z/nZ, onde n = pe11 . . . pekk , com pi 6= pj , se i 6= j. Mostre que:
Referncias Bibliogrficas
[1] ARTIN, E. Zur Theorie der hyperkomplexen Zahlen. Abh. Math. Sem. Univ.
Hamburgo, v. 5, p. 251-260, 1927.
[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: Springer-
Verlag, 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 right-
hand ideals. Compositio Math., v. 7, p. 214 - 222, 1939.
79
egio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regio Sul - Rio Grande - RS - FURG - IV Colquio de Matemtica da Regi
80 REFERNCIAS BIBLIOGRFICAS
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
A Matemtica do Ensino Mdio Vol. 2 - E. L. Lima, P. C. P. Carvalho, E. Wagner e A. C. Morgado
A Matemtica do Ensino Mdio Vol. 3 - 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