Lista1 19 PDF
Lista1 19 PDF
Lista1 19 PDF
2) Seja R um anel com unidade. Exiba um exemplo de um R-módulo que não seja unitário. O fato
de um anel possuir unidade não implica necessariamente que módulos sobre tal anel sejam unitários.
Em aula foi feito um exemplo, pense em outro!
4) Mostre que se M é R-módulo simples (isto é, seus únicos R-submódulos são {0} e M ) então M é
isomorfo ao R-módulo quociente R/I, onde I é um ideal à esquerda de R maximal. (Lembrando: Um
ideal à esquerda I de R é dito maximal se I 6= R e se J é um ideal à esquerda de R tal que I ⊆ J ⊆ R,
então J = I ou J = R).
5) Dar um exemplo de um Z-módulo onde dois submódulos quaisquer sejam sempre não isomorfos.
9) Seja M um Z-módulo finito tal que o conjunto dos seus submódulos é totalmente ordenado por
inclusão. Prove que existe um número primo p tal que o número de elementos de M é uma potência
de p. (Sugestão: tente usar o 1o Teorema de Sylow).
(i) Mostre que f é a inclusão canônica, então Coker(f ) = N/M . O que é, neste caso, Coim(f ) ?
(ii) Seja j : N → Coker(f ) a projeção canônica. Prove que j ◦ f = 0 e que se g : N → N 0 é um
R-homomorfismo tal que g ◦ f = 0, então existe único R-homomorfismo g 0 : Coker(f ) → N 0 tal que
g 0 ◦ j = g. O diagrama abaixo expressa a situação acima.
f j
M /N / Coker(f )
u
u
g u0
zu u g
N0
(iii) Seja P um R-módulo e λ : N → P um R-homomorfismo tal que λ ◦ f = 0 e tal que para todo
R-homomorfismo g : N → N 0 , que verifica g ◦ f = 0, existe único h : P → N 0 que verifica h ◦ λ = g.
Prove que P é isomorfo a Coker(f ).
(iv) Use o item (ii) acima para obter outra demonstração para o Teorema do homomorfismo.
(iv) Mostre que (ii) pode ser falsa para um anel comutativo que não seja domı́nio de integridade.
f g
E? /G /H
?? ? @@ ~>
?? @@@ ~~
α ?? γ @@ ~~
β ~~ θ
S T
α θ β γ
e as sequências E −→ S −→ 0, 0 −→ T −→ H e 0 −→ S −→ G −→ T −→ 0 são exatas.
15) Para o diagrama comutativo abaixo, admita por hipótese que a sequência horizontal (1) seja
exata. Mostre então que a sequência horizontal (2) é exata se, e somente se, a sequência vertical (3) é
exata.
0 (3)
f g
0 / M0 / M1 / M2 /0 (1)
id id h1
f g1
0 / M0 / M1 / M3 (2)
16) (The five Lemma) “O lema das cinco”. Seja o diagrama comutativo abaixo, em que as sequências
horizontais são exatas
f1 f2 f3 f4
M1 / M2 / M3 / M4 / M5
α1 α2 α3 α4 α5
g1 g2 g3 g4
N1 / N2 / N3 / N4 / N5
Prove que
(i) Se α1 é epimorfismo e α4 é monomorfismo, então Ker(α3 ) = f2 (Ker(α2 )). Se, além disso, α2 é
monomorfismo, então α3 é monomorfismo.
(ii) Se α5 é monomorfismo e α2 é epimorfismo, então g3−1 (Im(α4 )) = Im(α3 ). Se, além disso, α4 é
epimorfismo, então α3 é epimorfismo.
(iii) Se α1 , α2 , α4 e α5 são isomorfismos então α3 é isomorfismo.
0 0 0
0 /S∩T /S / S/(S ∩ T ) /0
0 /T /M / M/T /0
0 / T /(S ∩ T ) / M/S / M/(S + T ) /0
0 0 0