Professional Documents
Culture Documents
AULA
Teorema do homomorfismo
Metas da aula
Apresentar o teorema do homomorfismo de anéis e
sua demonstração. Realizar outra demonstração
do teorema do resto chinês.
objetivos
Pré-requisitos
Você vai precisar dos conhecimentos sobre
anéis e ideais, desenvolvidos nas Aulas 21 a 23 de
Álgebra I, e Aulas 1 e 2 deste curso.
Álgebra II | Teorema do homomorfismo
DEFINIÇÃO 1
A/N (ƒ)
3
AULA
Vamos dividir a demonstração em alguns passos.
1o Passo: Vamos definir uma função ϕ : A/N(ƒ) → ƒ(A), segundo
o diagrama anterior.
Para isso, definimos ϕ(a ) = ƒ(a) para todo a = a + N(ƒ) ∈ A/N(ƒ).
Então, precisamos provar que ϕ é, de fato, uma função bem definida,
o que significa mostrar que se a = b, então ϕ(a) = ϕ(b), ou seja, se
a = b, então ƒ(a) = ƒ(b). Suponhamos, então, que a = b. Da aula anterior,
sabemos que N(ƒ) é um ideal de A, logo, a – b ∈ N(ƒ) e, portanto,
ƒ(a – b) = 0B. Assim,
H1.
ϕ(a + b) = ϕ(a + b)
= ƒ(a + b) pela definição de ϕ
= ƒ(a) + ƒ(b) pois ƒ é homomorfismo
= ϕ(a) + ϕ(b) pela definição ϕ.
H2.
ϕ(a . b) = ϕ(a . b)
= ƒ(a . b) pela definição de ϕ
= ƒ(a) . ƒ(b) pois ƒ é homomorfismo
= ϕ(a) . ϕ(b) pela definição ϕ.
H3.
ϕ(1A) = ƒ(1A) pela definição de ϕ
= 1A pois ƒ é homomorfismo.
CEDERJ 31
Álgebra II | Teorema do homomorfismo
ƒ (a – b) = ƒ(a) − ƒ(b) = 0,
Corolário 1
Demonstração
32 CEDERJ
Corolário 2
3
AULA
Seja n ∈ Z, n > 0. Então os anéis Z/nZ e Zn são isomorfos, isto
é, Z/nZ ≈ Zn .
A demonstração deste corolário você vai realizar, agora, como
sua primeira atividade desta aula.
ATIVIDADE
a) ƒ é um homomorfismo sobrejetor;
b) N(ƒ) = nZ;
c) Z/nZ ≈ Zn.
Demonstração
CEDERJ 33
Álgebra II | Teorema do homomorfismo
ATIVIDADE
Veja que propriedades você deve provar e tente adaptar as provas parecidas
que já fizemos.
34 CEDERJ
4o Passo: para finalizar, vamos mostrar que ƒ (Z) → Zm X Zn.
3
Como Zmn e f(Z) são isomorfos, então Zmn e ƒ (Z) têm o mesmo
AULA
número de elementos. Sabemos que Zmn tem m . n elemento, portanto,
ƒ (Z) também tem m.n elementos. Mas, ƒ (Z) ⊂ Zm X Zn. Como
Zm X Zn também tem m.n elementos, concluímos que ƒ (Z) = Zm X Zn.
Dos passos anteriores, concluímos que Zmn = Zm X Zn sempre
que mdc(m,n) = 1.
ATIVIDADE FINAL
Sejam n, K ∈ Z, n, K > 0. Seja ƒ : ZKn → Zn definida por ƒ ([a]Kn ) = [a]n, onde [a]Kn
e [a]n são as classes residuais de a, módulo kn e módulo n, respectivamente.
c) Mostre que ƒ é sobrejetora e conclua que os anéis ZKn / nZKn e Zn são isomorfos,
isto é, ZKn /nZKm ≈ Zn.
RESUMO
CEDERJ 35
Álgebra II | Teorema do homomorfismo
RESPOSTAS
Atividade 1
a ∈ N(ƒ) ⇔ ƒ(a) = 0
⇔a =0
⇔ a ≡ 0 (mod n)
⇔n a
⇔ a ∈ nZ.
Atividade 2
Precisamos verificar que ƒ : Z → Zm x Zn, definida por ƒ(a) = ([a]m , [a]n), satisfaz
os três axiomas de homomorfismo.
H1.
= ƒ(a) + ƒ(b);
36 CEDERJ
H2.
3
AULA
ƒ(a . b) = ([a . b]m , [a . b]n), para todo a, b ∈ Z
= ƒ(a) . ƒ(b);
Atividade Final
H1.
H2.
H3.
ƒ(1ZKn) = ƒ([1]Kn )
= 1Zn .
CEDERJ 37
Álgebra II | Teorema do homomorfismo
b) Vamos calcular o núcleo de ƒ. Sabemos que N(ƒ) = {[a]Kn ∈ ZKn ƒ ([a]Kn ) = 0Zn
= [0]n }. Temos
ƒ ([a]Kn ) = [0]n ⇔ [a]n = [0]n
⇔ a = nt, t ∈ Z
⇔ [a]Kn = n. [t]Kn
⇔ [a]Kn ∈ nZKn.
c) Para mostrar que ƒ : ZKn → Zn é sobrejetora, basta observar que dado [a]n ∈
Zn, então ƒ ([a]n ) = [a]n . Agora, pelo Teorema do Homomorfismo, concluímos que
ZKn/ N(ƒ) ≈ Zn e, como N(ƒ) = nZKn , temos ZKn / nZKn ≈ Zn.
38 CEDERJ