Escolar Documentos
Profissional Documentos
Cultura Documentos
1
UNIVERSIDADE ESTADUAL DE MARINGA
PROGRAMA INSTITUCIONAL DE BOLSAS DE INICIACAO CIENTIFICA - PIBIC/CNPQ -
FUNDACAO ARAUCARIA- UEM
CENTRO DE CIENCIAS EXATAS
DEPARTAMENTO DE MATEMATICA
ORIENTADORA: Prof. Dra. Rosali Brusamarello
2
Resumo: Neste trabalho estudamos modulos e aneis semisimples, visando uma caracte-
rizacao dos mesmos.
3
Sumario
1 Condicoes de Finitude 5
2 Semisimplicidade 13
4
Captulo 1
Condicoes de Finitude
No decorrer deste trabalho, ao citarmos um anel R, estamos subentendo um anel com uni-
dade, salvo de mencao contraria.
M1 M2 . . . Mi . . .
e estacionaria, ou seja, se existe um ndice t tal que Mt = Mt + 1 para todo inteiro positivo
i. Se M satisfaz C.C.A. dizemos que M e um modulo Noetheriano. Um anel R e chamado
de Noetheriano a esquerda se o modulo RR e Noetheriano e Noetheriano a direita se RR e
Noetheriano.
Repare que se um anel e Noetheriano com relacao a um lado, nao necessariamente o anel
e Noetheriano com relacao ao outro lado. Em que se segue, quando falarmos de um anel
Noetheriano vamos sempre subentender que o anel e Noetheriano a esquerda.
Uma vez que todos os ideais de Z sao principais e para a, b Z temos que aZ bZ se, e
somente se, b | a. E facil ver que que Z, como um modulo sobre si mesmo e Noetheriano.
Relembrando que se F e uma colecao de subconjuntos de um conjunto dado, um elemento
A F e chamado de maximal se nao esta propriamente contido em qualquer membro de
F. Dada uma subfamlia L de elementos de F, um conjunto A F e chamado de limitante
superior dos elementos de L se Ai A para todo Ai L.
Lema 1.2 (Zorn). Seja F uma colecao nao vazia de subconjuntos de um determinado conjunto,
tal que toda famlia totalmente ordenada de membros de F tem um limitante superior em F.
Entao F contem um elemento maximal.
5
Demonstracao: Ver [4] pagina 260.
Como uma simples aplicacao do resultado anterior e provado o seguinte.
Teorema 1.4. Seja M um modulo sobre um anel comutativo R. Suponhamos que M contem
duas bases finitas B1 = {v1 , . . . , vm } e B2 = {w1 , . . . , wn }. Entao n = m.
Demonstracao: Suponhamos por absurdo que m < n. Podemos entao expressar os ele-
mentos da base B1 como combinacao linear dos elementos da base B2 e reciprocamente
m
wi = aij vj 1in
j=1
e
n
vj = bjs ws 1 j m.
s=1
Entao
wi = aij bjs ws e vi = bij asj vj
s j j s
6
Definicao 1.5. Seja M um modulo livre sobre um anel comutativo R com base finita. Entao,
o numero de elementos de uma base qualquer de M e chamada de rank ou posto de M .
Vamos usar o lema de Zorn para dar uma caracterizacao de modulos Noetheriamos.
Definicao 1.7. Dizemos que um R-modulo M satisfaz uma condicao de cadeia decrescente,
denotada por C.C.D, se toda cadeia de submodulos de M
M1 M2 . . . Mi . . .
7
estaciona, ou seja, se existe um ndice t tal que Mt = Mt+i para todo inteiro positivo i. Se os
submodulos de M satisfazem a C.C.D, dizemos que M e um modulo Artiniano. Se um anel R
sera chamado de Artiniano a esquerda se o modulo R R e Artiniano e Artiniano a direita
se o modulo RR e Artiniano.
Como antes, se um anel e Artiniano de um lado, nao necessariamente ele e do outro lado.
Em que se segue, quando falarmos de um anel Artiniano consideraremos um anel Artiniano a
esquerda. Havamos notado anteriormente que Z considerado como modulo sobre si mesmo e
Noetheriano. E facil ver que ele nao e Artiniano.
M1 . . . Mi . . .
8
Corolario 1.10. Seja {Mi }1in uma famlia de submodulos de um R-modulo M , tal que
M = ni=1 Mi . Entao M e Noetheriano (Artiniano) se, e somente se, cada submodulo Mi e
Noetheriano (Artiniano).
M = M0 M1 . . . Mn = (0)
9
Teorema 1.13. Um R-modulo M e de comprimento finito se, e somente se, M e Artiniano e
Noetheriano.
M = M0 M1 . . . Mn = (0)
M = M0 M1 . . . Mn = (0)
M = N0 N1 . . . Nt = (0)
sao chamadas de equivalentes se elas tem o mesmo comprimento e existe uma bijecao entre
os fatores destas series tal que os fatores correspondentes sao isomorfos.
Vamos agora fazer um paralelo com a teoria de grupos, enunciando alguns resultados impor-
tantes afim de podermos demonstrar o Teorema de Jordan-Holder.
Definicao 1.15. Seja G um grupo. Uma serie subnormal de G e uma cadeia de subgrupos
G = G0 I G1 I . . . I Gn = {e}, ()
10
Os grupos quocientes da serie () sao os grupos Gi /Gi+1 para i = 1, 2, . . . , n 1. Numa
serie subnormal, o mesmo subgrupo pode ser repetido, e portanto alguns dos grupos quocientes
podem ser triviais. O comprimento de uma serie subnormal () e o numero de inclusoes
estritas, ou equivalentemente, o numero de grupos quocientes nao triviais.
Um refinamento da serie subnormal () e uma serie subnormal obtida a partir de ()
pela insercao de alguns (possivelmente nenhum) subgrupos. O refinamento e proprio se algum
subgrupo distinto dos ja existentes e inserido na serie. A serie () e uma serie de composicao se
ela nao admite um refinamento proprio.
Teorema 1.16 (de Schreirer). Duas series subnormais de um grupo G possuem refinamentos
que sao equivalentes.
e
N = N0 N1 . . . Nr = (0)
11
tal que Mi /L
= Ni , 1 i r e visto que
M = M0 M1 . . . Mr = L0 L1 . . . Lt = (0)
12
Captulo 2
Semisimplicidade
13
i) M e semisimples
ii) M e uma soma direta de submodulos simples
iii) M e uma soma (nao necessariamente direta) de submodulos simples.
Demonstracao:(i) (ii) Seja F uma colecao de todos os submodulos de M que podem ser
escritos como uma soma direta de submodulos simples (submodulos simples de M que existem
devido a proposicao anterior, assim pelo menos existem somas com um somando).
Vamos definir uma ordem em F . Dados dois elementos iI Mi e jJ Mj em F , dizemos
que iI Mi jJ Mj se e somente se I J. Vemos com facilidade que (F, ) satisfaz as
condicoes do Lema de Zorn, por isso existe um elemento maximal M0 em F , o qual podemos
escrever na forma M0 = iI Mi , com Mi simples, para todo i I.
A implicacao estara provada se mostrarmos que M = M0 . Suponhamos que M0 = M .
Entao por hipotese, existe um submodulo N de M tal que M = M0 N . Pela proposicao
anterior, N contem um modulo simples S. Entao M0 S = iI Mi S M0 , contradizendo
a maximalidade de M0 .
(ii) (iii) e trivial.
(iii) (i) Suponhamos que M = iI Mi , onde cada submodulo Mi , i I, e simples.
Seja N um submodulo proprio arbitrario de M . Devemos provar que N e um somando direto.
Consideremos a famlia
T={ Mi ; J I, ( Mi ) N = (0)}.
iJ iJ
Notemos que como Mi e simples, se N Mi = (0) entao Mi N . Uma vez que N = M segue
que existe pelo menos um submodulo Mi tal que N Mi = (0) e T e nao vazio. Pela Lema de
Zorn existe um submodulo maximal em T, digamos M0 = iJ0 Mi .
Claramente ( iJ0 Mi ) N = (0), assim nosso resultado estara provado se mostrarmos que
M = M0 + N . Se para todo i I tivermos Mi M0 + N , entao M = M0 + N. Suponhamos
por absurdo que exista um ndice i0 tal que Mi0 * M0 + N. Como Mi0 e simples, temos que
Mi0 (M0 + N ) = (0). Entao tambem (Mi0 + M0 ) N = (0). Isto significa que Mi0 + M0 T,
contradizendo a maximalidade de M0 .
14
Corolario 2.4. Seja M = iI Mi uma decomposicao de um modulo semisimples M como uma
soma direta de submodulos simples e seja N um submodulo de M . Entao existe um subconjunto
de ndices J I tal que N
= iJ Mi .
M iI Mi
N
= = = iI\J0 Mi ,
N0 iJ0 Mi
Note que como os submodulos do RR sao ideais a esquerda do anel R, segue que R e
semisimples se, e somente se, todo ideal a esquerda e um somando direto.
Demonstracao: (i) (ii) Trivial, pois se todo R-modulo e semisimples, entao R visto como
R-modulo a esquerda sera semisimples.
(ii) (iii) Uma vez que os submodulos simples de R R sao exatamente os ideais minimais a
esquerda de R, segue do teorema anterior que R pode ser escrito na forma R = iI Li , onde
cada Li e um ideal minimal a esquerda, para todo i I.
Resta mostrar que a soma e finita. Note que em particular, o elemento 1 R pode ser
escrito como uma soma finita: 1 = xi1 + . . . + xin com xij Lij . Entao para um elemento
arbitrario r R, temos r = r.1 = rxi1 + . . . + rxin , onde rxij Lij , 1 j n. Isto mostra que
R Li1 . . . Lin e portanto R = Li1 . . . Lin .
15
Note que pelo teorema anterior , temos que (iii) (ii). Nossa demonstracao estara completa
se mostrarmos que (ii) (i). Suponhamos que R e semisimples e seja M um R-modulo qualquer.
Sabemos tambem M e imagem de um epimorfismo de um R-modulo livre F . Entao F pode ser
escrito na forma F = iJ Rai , onde Rai
= R e semisimples. Assim F e semisimples e pelo
corolario anterior e o Teorema do Isomorfismo temos que F
= f (F )
= M e semisimples.
ker(f )
Corolario 2.8. Um anel semisimples, quando considerado como um modulo sobre si mesmo, e
de comprimento finito.
Exemplo 2.9. Seja Mn (D) o anel das matrizes n n sobre um anel com divisao D. Vamos
mostrar que o anel Mn (D) e semisimples. De fato, defina
D 0 ... 0 0 0 ... D
D 0 ... 0 0 0 ... D
L1 =
, . . . , Ln =
.. .. .. ..
.
. . . . ... ... ... D
D 0 ... 0 0 0 ... D
Teorema 2.11. Seja R um anel. Entao R e semisimples se, e somente se, todo ideal a esquerda
L de R e da forma L = Re, onde e R e um idempotente.
16
Rx = L. Claramente Rx L, entao resta mostrar que L Rx. Dado um a L, temos que
a = a1 = ax + ay, entao a ax = ay L L = (0), e assim a = ax Rx, ou seja, L Rx.
Reciprocamente, suponhamos que todos os ideais de R sao como na hipotese. Precisamos
mostrar que qualquer ideal a esquerda L de R e um somando direto. Pela hipotese, um ideal
L e da forma L = Re, onde e R e um idempotente. Definimos L = R(1 e), e claro
que L e um ideal a esquerda e dado qualquer elemento x R, podemos sempre escrever
x = xe + x(1 e), implicando que R = Re + R(1 e), alem disso se x Re R(1 e), temos
que x = re = s(1 e) para algum r, s R. Entao, xe = re.e = re2 = re = x e, por outro lado,
temos que xe = s(1 e)e = 0, assim x = 0 e segue que Re R(1 e) = (0), mostrando que
R = Re R(1 e) e Re e um somando direto, ou seja, R = L L .
Podemos, alem disso, usar idempotentes para caracterizar a decomposicao de aneis semisim-
ples como uma soma direta de ideais minimais a esquerda. Esta e a classica decomposicao de
Peirce.
Teorema 2.12. Seja R = ti=1 Li uma decomposicao de uma anel semisimples como uma soma
direta de ideais minimais a esquerda. Entao, existe uma famlia {e1 , . . . , et } de elementos de R
tal que
i) ei = 0 e um elemento idempotente, 1 i t.
ii) se i = j entao ei ej = 0
iii) 1 = e1 + . . . + et
iv) ei nao pode ser escrito como ei = ei + ei , onde ei , ei sao idempotentes tais que ei , ei = 0
e ei .ei = 0, 1 i t.
Reciprocamente, se existir uma famlia de idempotentes {e1 , . . . , et } satisfazendo as condicoes
acima, entao os ideais a esquerda Li = Rei sao minimais e R = ti=1 Li .
17
1 i t. De fato, suponhamos que Li nao e minimal. Entao ele contem um ideal a esquerda J e
como R R e semisimples, Li tambem e semisimples. Entao existe um ideal J tal que Li = J J
e mais uma vez, como no teorema anterior, isto implica que podemos escrever ei = ei + ei , onde
ei , ei sao idempotentes tais que ei .ei = 0 e ei , ei = 0, uma contradicao.
O fato que R = L1 + . . . + Lt segue imediatamente da condicao (iii). Para provarmos que
a soma e direta, seja x Lj ( i=j Li ). Entao podemos escrever x = rj ej = i=j ri ei .
Multiplicando a ultima igualdade a direita por ej , obtemos rj ej ej = x = i=j ri ei ej = 0, como
queramos .
Proposicao 2.15. Seja R = ti=1 Li uma decomposicao de um anel semisimples R como uma
soma direta de ideais minimais a esquerda. Entao todo R-modulo simples e isomorfo a um dos
ideais Li da decomposicao dada.
Demonstracao: Seja R = ti=1 Li uma decomposicao de R como uma soma direta de ideais
minimais a esquerda e seja M um R-modulo simples. Entao como M e simples, temos que
M = (0), logo existe m M tal que m = 0, assim temos que 0 = m = 1.m RM , portanto
18
RM = 0. Como 0 = RM e um submodulo de M temos que RM = ti=1 Li , assim deve existir
algum ndice j tal que Lj M = (0) e, pelo lema anterior, temos Lj
= M.
19
Captulo 3
Nesta secao vamos descrever a estrutura de uma anel semisimples. Para tanto precisamos
de mais informacoes sobre os ideais bilaterais.
Lema 3.1. Seja L um ideal minimal a esquerda de um anel semisimples R. Entao a soma de
todos os ideais a esquerda de R isomorfos a L e um ideal bilateral de R.
Demonstracao: Seja A = =L J.
J Claramente A e um ideal a esquerda, vamos mostrar
tambem que e um ideal a direita. Escrevendo R = ti=1 Li como uma soma direta de ideais
t
minimais a esquerda, entao AR = =L JR =
J J
=L i=1 JLi . Pelo Lema 2.14, a ultima
Lema 3.2. Seja I um ideal bilateral de um anel semisimples contendo um ideal minimal a
esquerda L. Entao I contem todos ideais a esquerda isomorfos a L.
Proposicao 3.3. Seja L um ideal minimal a esquerda de um anel semisimples R e seja B uma
soma de todos ideais de R isomorfos a L. Entao B e um ideal minimal bilateral de R.
Demonstracao: Pelo Lema 3.1, ja temos que B e um ideal bilateral. Resta-nos mostrar
que B e minimal. Consideremos B = (0) um ideal bilateral de R contido em B. Vamos mostrar
20
que B = B. Primeiramente observemos que esse ideal existe, na pior das hipoteses poderia
ser B. Agora se L e um ideal minimal a esquerda de R contido em B . Vamos mostrar que
L
= L. Suponhamos que L
L, entao para todo ideal J
= = L devemos ter J
L , e pela
=
contrapositiva do Lema 2.14, obtemos L J = (0). Uma vez que B e constituido da soma deste
ideais J
= L e L J = (0), entao L B = (0). Em particular L L = (0), visto que L B. Mas
isto nao pode ocorrer, pois como R e semisimples, temos L = Re e portanto, 0 = e = e2 L L .
Assim necessariamente L
= L. Notemos que B e um ideal bilateral do anel semisimples R e
L e um ideal minimal a esquerda de B , assim pelo lema anterior temos que B contem todos os
ideais a esquerda isomorfos a L . Como L
= L, segue que B contem todos os ideais a esquerda
isomorfos a L. Desta forma, temos que B = J =L J B B. Portanto B = B.
Dada uma decomposicao de um anel semisimples R como uma soma direta de ideais minimais
a esquerda, reordenando se necessario, podemos agrupar os ideais isomorfos
Teorema 3.4. Com a notacao acima, seja Ai a soma de todos os ideais a esquerda isomorfos
a Li1 , 1 i s. Entao:
i) Cada Ai e um ideal minimal bilateral de R.
ii) Ai Aj = (0) se i = j.
iii) R = si=1 Ai como aneis, onde s e o numero de classes isomorfas dos ideais minimais
a esquerda de R.
Demonstracao: i) Seja Ai = J
=Li1 J. Claramente Ai e um ideal a esquerda, vamos
mostrar tambem que e um ideal a direita. Escrevendo R = ti=1 Li como uma soma direta de
t
ideais minimais a esquerda, entao Ai R = J =Li1 JR = J
=Li1 i=1 JLi . Pelo Lema 2.14, a
21
iii) Para provar este item, escreva
Assim se x R entao podemos escreve-lo como x = x11 + . . . + x1r1 + . . . + xs1 + . . . + xsrs , com
xij Lij . Considere yi = xi1 + . . . + xir1 , 1 i s. Entao yi Ai , 1 i s e x = y1 + . . . + ys ,
mostrando assim que R = A1 + . . . + As . Vamos mostrar que a soma e direta. Para tanto,
devemos mostrar que se a1 + . . . + as = 0 (), entao cada ai = 0, 1 i s. Note que cada
ai = xi1 + . . . + xir1 , 1 i s, onde xij Lij . Com isto, como temos (), entao cada xij = 0,
consequentemente cada ai = 0, 1 i s, como queramos.
Definicao 3.5. Um anel R e chamado simples se os seus unicos ideais bilaterais sao (0) e R.
Proposicao 3.6. Se D e um anel com divisao e n um inteiro positivo, entao Mn (D) e um anel
simples.
Demonstracao: Tomemos I um ideal bilateral de Mn (D) tal que I = (0), vamos mostrar
que I = Mn (D). O fato que I = (0) implica que existe uma matriz A I tal que A = 0, ou seja,
pelo menos uma entrada da matriz A deve ser diferente de zero, digamos ahk . Consideremos as
matrizes elementares Eij Mn (D) com 1 na primeira entrada (i, j) e 0 nas demais. Coloquemos
Bi = Eih AEki , e vejamos que Bi possui o elemento 0 em todas as entradas exceto na entrada
(i, i) que possui o elemento ahk , isto e, Bi = ahk Eii .
Como I e um ideal bilateral e A I devemos ter que Bi = Eih AEki I, para todo 1 i n.
Logo B = B1 + . . . + Bn I. Notemos que B e uma matriz diagonal e todos os elementos da
diagonal sao iguais a ahk = 0. Logo B e inversvel, e portanto, I = Mn (D), como queramos.
22
Podemos agora caracterizar todos os ideais bilaterais de R utilizando os ideais Ai construdos
no Teorema 3.4.
Proposicao 3.8. Seja R = si=1 Ai a decomposicao de um anel semisimples R como soma direta
de ideais minimais bilaterais, entao:
i) Todo ideal bilateral I de R pode ser escrito na forma
Demonstracao: i) Seja I um ideal bilateral de R. Entao I = si=1 (Ai I). Como cada
Ai e um ideal minimal bilateral e Ai I e um ideal bilateral de Ai , segue que Ai I = (0) ou
Ai I = Ai . Portanto I = Ai1 . . . Ait , com 1 i1 < . . . < it s.
ii) Como cada Bj e um ideal bilateral de R, por (i) temos que Bj = Ai1 . . . Ait , com
1 i1 < . . . < it s. Alem disto temos tambem que Bj e minimal, assim devemos ter apenas
um Ai na decomposicao de Bj e assim Ai = Bj . Reordenando se necessario, podemos concluir
que Ai = Bi , para todo 1 i s.
Definicao 3.9. Os unicos ideais minimais bilaterais de um anel semisimples R sao chamados
de componentes simples de R. No Teorema 3.4, os Ai sao as componentes simples de R.
Teorema 3.11. Seja R = si=1 Ai a decomposicao de um anel semisimples R como soma direta
de ideais minimais bilaterais. Entao existe uma famlia {e1 , . . . , es } de elementos de R que
satisfaz:
i) ei = 0 e um idempotente central, 1 i s.
ii) se i = j entao ei ej = 0
iii) 1 = e1 + . . . + es
iv) ei nao pode ser escrito como ei = ei + ei , onde ei , ei sao idempotentes tais que ei , ei = 0
e ei .ei = 0, 1 i s.
Reciprocamente, se existir uma famlia de idempotentes {e1 , . . . , es } satisfazendo as condicoes
acima, entao os ideais a esquerda Ai = Rei sao minimais bilaterais e R = si=1 Ai .
23
Demonstracao: Como temos iii), analogamente ao Teorema 2.12 , resta-nos mostrar que
cada ei , 1 i s, e central. Dado x R temos por iii) que 1 = e1 + . . . + es , assim
x.1 = si=1 xei = si=1 ei x. Como cada Ai e um ideal bilateral minimal devemos ter xei e ei x
ambos pertencentes a Ai . Agora usando o fato que a soma e direta, conclumos que xei = ei x,
ou seja, ei e um idempotente central.
Observacao 3.13. Note que cada ei e o elemento identidade sobre o anel Ai . De fato, dado
xi Ai temos que xi = xi .1 = xi (e1 + . . . + es ) = xi e1 + . . . + xi es . Como xi ej Ai Aj = (0) se
i = j segue que xi = xi ei .
24
i) Suponhamos que, para cada par de ndices i, j temos o homomorfismo ij HomR (Mj , Ni ).
Entao a funcao : M N definida por:
. . . 1r m
11 1
(m1 + . . . + mr ) = . . . . . . . . . . . . =
s1 . . . sr mr
e um homomorfismo. Para indicar que e dada como na forma acima, denotaremos por =
(ij ).
ii) Reciprocamente, se HomR (M, N ), entao ij = i j HomR (Mj , Ni ) e
= (ij ).
iii) Para = (ij ) e = (ij ), temos que + = (ij + ij ).
25
: M M a projecao sobre Rm, temos que HomR (M, M ) = B. Dado um elemento
f HomB (M, M ) obtemos
Seja B = HomR (M (n) , M (n) ). Vamos mostrar que f (n) HomB (M (n) , M (n) ). De fato, se
a, b M (n) e claro que f (n) (a + b) = f (n) (a) + f (n) (b). Agora dado B , pelo Lema 3.15,
podemos escrever = (ij ) com ij HomR (M, M ). Logo
E podemos concluir que f (n) HomB (M (n) , M (n) ). Pelo lema anterior, existe um elemento
a R tal que f (n) (m1 + . . . + mn ) = a(m1 + . . . + mn ). Portanto f (mi ) = ami , para todo
1 i n.
26
Corolario 3.20. Seja R um anel e seja M, N R-modulos simples. Entao:
i) Se M N entao HomR (M, N ) = (0).
ii) HomR (M, M ) e um anel com divisao.
Proposicao 3.21. Seja M um R-modulo livre com base {mi ; i I}. Seja N um R-modulo e para
cada i I considere ni um elemento de N . Entao existe um unico homomorfismo f : M N
de R-modulos tal que f (mi ) = ni , para todo i I.
Demonstracao: Dado m M , existem unicos a1 , . . . , an A tais que m = ni=1 ai mi .
Definamos f : M N por f (m) = ni=1 ai ni . Logo f (mi ) = ni , para todo i I. Como os ai s
sao unicos, f esta bem definida e e facil verificarmos que f e um homomorfismo. Para mostar a
unicidade, suponha que exista g : M N um outro homomorfismo tal que g(mi ) = ni . Assim
dado m = ni=1 ai mi M temos que
n
n
n
g(m) = g( a i mi ) = ai g(mi ) = ai ni = f (m).
i=1 i=1 i=1
At = {a R : ami = 0 1 i t}
27
M , pela proposicao anterior, existe f : M M homomorfismo de D-modulos tal que
0, se i = t + 1
f (mi ) =
m, se i = t + 1
Definicao 3.23. Seja A um anel, denotamos por Ao o anel oposto de A, isto e, o anel definido
sobre o mesmo conjunto, usando a mesma adicao de A, mas com produto em Ao dado por
x y = yx, onde yx denota a multiplicacao de y e x em A.
Teorema 3.25 (E.Artin). Se R e um anel simples, entao as seguintes condicoes sao equivalen-
tes:
i) R e Artiniano a esquerda,
ii) R e semisimples,
iii) R tem um ideal minimal a esquerda.
Demonstracao:(i)(iii) Suponhamos que (i) seja valido. Considere agora uma famlia F
de todos os submodulos de R. Em particular F = (0), pois R F , e R = (0), pois e simples.
Assim pelo Teorema 1.8 R tem um ideal minimal a esquerda.
(iii)(ii) Suponhamos que (iii) seja valido. Seja V um ideal minimal a esquerda. Entao a
soma I = rR V r e um ideal bilateral de R, diferente de zero, pois basta tomar r = 1. Como
R e simples, I = R. Entao o R-modulo R e escrito como uma soma de submodulos simples,
portanto pelo Teorema 2.3 temos que R e semisimples, ou seja, (ii) e valido.
(ii)(i) Suponhamos agora que (ii) seja valido, como R e semisimples, o R-modulo R a
esquerda e de comprimento finito, fato esse garantido pelo Corolario 2.8. Portanto, pelo Teorema
1.13, temos que R e Artiniano, ou seja, (i) e satisfeito.
28
Lema 3.26. Sejam R um anel Artiniano a esquerda simples, M um R-modulo simples e D =
HomR (M, M ). Entao R
= HomD (M, M )
= Mn (Do ), sendo n a dimensao de M como D-
modulo.
(a.b) = fab (x) = (ab)x = a(bx) = a(fb (x)) = fa (fb (x)) = fa ((b)(x)) = (a)((b)(x)).
x = f1 (m1 ) + . . . + fn (mn ),
= ax = (a)(x).
Logo e sobrejetora, e portanto um isomorfismo de aneis. Agora iremos mostrar que HomD (M, M )
=
Mn (Do ). Observemos que se n e a dimensao de M sobre D, entao M
= Dn como D-modulos.
Com isso, fazendo M = D no Corolario 3.16 e vendo D como um D-modulo obtemos HomD (M, M )
=
Mn (HomD (D, D)). Assim basta mostrarmos que HomD (D, D)
= Do . Para isso, definamos
: Do HomD (D, D) associando cada elemento a Do ao homomorfismo de D-modulos
29
fa : D D dado por fa (x) = xa, para todo x D. Mostremos que e um isomorfismo de
aneis. De fato para quaisquer a, b Do e x D temos;
Teorema 3.27 (Wedderburn-Artin). Um anel R e semisimples se, e somente se, e uma soma
direta de aneis de matrizes sobre aneis com divisao
R
= Mn1 (D1 ) . . . Mns (Ds ).
30
Referencias Bibliograficas
[1] Azevedo, A., Modulos sobre Domnios Principais, Coloquio Brasileiro de Matematica,
IMPA, (1971).
[2] Polcino C.M., Sudarshan K. Sehgal , An introduction to group rings , Springer, 2002.
31